laurent.orseau
2020-7-16 08:09:31

Indeed it does work on the command line


spdegabrielle
2020-7-16 10:45:59

I’ve just cargo-cult’ed a couple of PR’s to add racket to the languages for the icfp2020 competition - I have no idea if they are right so if anyone knows anything about docker I’d appreciate it if they took a look at my PR’s! https://github.com/icfpcontest2020/dockerfiles/issues/63


spdegabrielle
2020-7-16 10:46:52

(all the links and details are in the PR above :point_up_2:)


laurent.orseau
2020-7-16 11:11:46

@gfb The problem still happens with the repl in DrRacket when tried parameterizing read-cdot to #f unfortunately. Doesn’t mean this isn’t part of the problem though


samth
2020-7-16 12:56:58

cc @notjack


soegaard2
2020-7-16 14:57:08

Is factorial still working on Racket CS? From Racket BC:



mflatt
2020-7-16 15:05:25

Flonums are the same in BC and CS, so there should be no problem (and I get the same results as your screen shot). You were maybe thinking about the fact that the fixnum ranges are different?


soegaard2
2020-7-16 15:06:41

Yes.


soegaard2
2020-7-16 15:06:54

No problems then.


badkins
2020-7-16 15:22:28

:relieved:


pavpanchekha
2020-7-16 18:14:33

Is there any raco tool or similar to look for functions without call sites?


samth
2020-7-16 18:19:09

notjack
2020-7-16 19:41:58

Working on a library for converters (objects containing a pair of functions like string->number and number->string). Anyone else made/used something similar? Example: (define string<->number (make-converter string->number number->string)) > (convert-forward string<->number "42") 42 > (convert-backward string<->number 5) "5"


laurent.orseau
2020-7-16 20:02:51

Frtime?


laurent.orseau
2020-7-16 20:05:00

(just guessing)


notjack
2020-7-16 20:06:49

like, frtime might currently use something like this?


laurent.orseau
2020-7-16 20:10:31

Maybe? Since it needs to do these types of conversions


notjack
2020-7-16 20:11:17

I was also thinking code that deals with HTTP APIs, since they need to turn stuff into json and back


laurent.orseau
2020-7-16 20:11:56

MrEdDesigner needs to do these conversions also


laurent.orseau
2020-7-16 20:13:55

Or needs to convert many kinds of values from/to gui and from/to file


laurent.orseau
2020-7-16 20:14:14

(well the latter is easy of course)


notjack
2020-7-16 20:16:14

parsing stuff too


samdphillips
2020-7-16 20:26:57

samdphillips
2020-7-16 20:27:15

Ideally you could compose the codecs etc.


notjack
2020-7-16 20:27:17

oh neat


samdphillips
2020-7-16 20:27:27

It was barely a start at the time


notjack
2020-7-16 20:27:35

I started a thing like that too and even used the same name


notjack
2020-7-16 20:27:57

you got farther than me - I just wrote some docs



notjack
2020-7-17 00:57:32

oh neat!


notjack
2020-7-17 00:57:36

a use case in the wild


notjack
2020-7-17 02:26:39

update: converters are implemented and mostly documented! woo!


sorawee
2020-7-17 02:55:51

There’s also bidirectional transformation which is a more general concept.


notjack
2020-7-17 02:59:09

lenses and such?


sorawee
2020-7-17 03:33:10

yep


sorawee
2020-7-17 03:34:40

I think this converter would be really useful if we can do algebra with it, like composition and inversion


notjack
2020-7-17 03:36:43

then you my friend are in luck


notjack
2020-7-17 03:37:18

converter-pipe chains converters together, converter-flip swaps the direction of a converter


notjack
2020-7-17 03:37:41

also, they support contracts - you can do (converter/c foo? bar?)