wanpeebaw
2020-7-27 08:45:45

laurent.orseau
2020-7-27 08:59:08

Nice, but string->number can take a radix too, directly :wink:


wanpeebaw
2020-7-27 09:08:13

laurent.orseau
2020-7-27 09:11:28

ah right, too bad. Should be extended :slightly_smiling_face:


laurent.orseau
2020-7-27 10:29:12

@wanpeebaw The continued-fraction package has a nice number parser!


mflatt
2020-7-27 12:04:33

Latest thoughts: I’ve returned to the idea of checking generated .scm files into the racket repo, since they should diff well. Using a subtree for Chez Scheme (and doing the same for Chez Scheme’s submodules) and keeping startup.inc in the repo afte all, that puts everything needed for a given commit in the same repo, which is obviously ideal. It leaves only pb boot files to manage separately — and boot files are optional in the sense that any recent Racket (v7.1 and up, currently) can build them from checked-in sources.


samth
2020-7-27 13:00:23

Storing the boot files in a separate repo could still make sense as a hosting solution, and periodically (or always) force-pushing could avoid a very large history.


mflatt
2020-7-27 13:37:47

What if every new set of boot files lived in its own branch that has only 1 commit? That way, a single commit can be pulled over even the dumb HTTP protocol, and we could periodically purge non-release-tagged commits with no force-push fallout.


samth
2020-7-27 13:39:10

I thought about mentioning that idea as well in my message; if it works well with the HTTP protocol that seems like a point in favor


spdegabrielle
2020-7-27 14:48:42

Quickscript Competition Update We are now in our final days - submit your scripts sooner rather than later! prizes still available. End date: 31-July


aymano.osman
2020-7-27 16:01:09

Hey all,

I’ve released the IntelliJ plugin for Racket I worked on a few months ago. It only does syntax highlighting, so it is not that useful, but I thought I might as well release it as a base for further development.

https://plugins.jetbrains.com/plugin/14752-racket


soegaard2
2020-7-27 16:52:26

samdphillips
2020-7-27 18:15:54

string->number in a tight loop is a bit slow due checking parameter values


samdphillips
2020-7-27 18:15:58

fyi


laurent.orseau
2020-7-27 18:20:04

Ah, so that’s why. I’ve been wondering. Parameters…


samdphillips
2020-7-27 18:22:49

Profile portion from implementation I did with a benchmark running through the whole AAA001 -> ZZZ999 space. 67.7% of the runtime was running string->number (just for the low digits) reference->number [17] 100.0% [7] 7913(67.7%) 302(2.6%) string->number (unknown source) parameter-cell [20] 94.9%



samdphillips
2020-7-27 18:26:29

That’s the one I ended up with. It takes about 3.8s to run through the space. @notjack’s version runs through in about 1.2s. (on this linux laptop I use)


spdegabrielle
2020-7-27 18:36:59

Added to racket stories



aymano.osman
2020-7-27 19:26:42

Thanks Stephen!


spdegabrielle
2020-7-27 19:37:39

Thank you for the plugin


samdphillips
2020-7-27 19:59:01

->number in continued fraction is also quite slow sadly.


samdphillips
2020-7-27 19:59:20

Some of it looks like from contract checking


ben
2020-7-27 23:59:36

@samth do you know what’s the first paper that used the name “guarded”?

(My guess is Vitousek etal DLS 2014. I’m hoping you can save me some reading.)


samth
2020-7-28 00:00:23

I was trying to find this out, but didn’t succeed recently


ben
2020-7-28 00:01:22

wow. Where did you end up?


samth
2020-7-28 00:01:54

I was mostly looking at Herman et al, but they didn’t


ben
2020-7-28 02:13:17

Michael V. says DLS’14 was the origin. Before that, he used “wrapping” in STOP’12


samth
2020-7-28 02:14:25

Good to know


samth
2020-7-28 02:14:33

Thanks for doing the research