samth
2021-10-30 11:49:30

It’s in the expander


gknauth
2021-10-30 12:36:58

Very nice shout-out to Racket from Chris Kipps’s Scala-oriented <https://www.tooling-talks.com/|Tooling Talks> podcast 2021–10–01 http://twitter.com/share?text=Listening+to+%22Guillaume+Martres%3A+An+Interactive+Compiler%22+at+&amp;url=https%3A%2F%2Fwww.buzzsprout.com%2F1830936%2F9288213-guillaume-martres-an-interactive-compiler at 56:17


gknauth
2021-10-30 12:41:13

Chris Kipp said this link might work better: https://tooling-talks.buzzsprout.com/1830936/9288213?t=3377


samth
2021-10-30 13:53:59

There could be a bytes->symbol function to save the copy


soegaard2
2021-10-30 17:26:43

hazel
2021-10-30 17:43:15

is there a library to create a pict out of BNF?


soegaard2
2021-10-30 18:02:28

This doesn’t produce a pict, but it’s better than nothing: https://docs.racket-lang.org/scribble/bnf.html


camoy
2021-10-30 18:46:57

Use redex and render-language?


hazel
2021-10-30 21:27:16

okay, how do I make the render-language font size larger


hazel
2021-10-30 21:28:09

er, rather, language-&gt;pict, since that’s recommended for slideshow usage


hazel
2021-10-30 21:30:28

nvm, (parameterize ([default-font-size ...]) ...)


badkins
2021-10-30 21:55:38

That would be nice.


badkins
2021-10-30 21:57:42

@samth bytes-&gt;symbol would have the same encoding issue, right? i.e. would it need to be something like bytes-&gt;symbol/utf-8 ?


samth
2021-10-30 22:02:05

Yes, it would


badkins
2021-10-30 22:55:25

Ok, I’ll look into it.


badkins
2021-10-30 23:01:40

@samth looking for the source to string-&gt;symbol in Emacs gave me: Defined in #%%kernel -- source not available I’m thinking this may be above my current pay grade :(


greg
2021-10-31 00:30:32

I’m not even sure when it should be utf–8 vs. just e.g. latin1? I haven’t worked on web stuff super recently. If it’s a POST body from an HTML page you authored with a meta tag saying utf–8, I guess it’s safe to assume utf–8? But if a user is doing some GET with query params, and that ends up in request-bindings/raw, should that be latin1? Not sure.


greg
2021-10-31 00:31:11

Anyway it’s talking past the close, but you’d have those same questions using string keys for JSON.


greg
2021-10-31 00:31:57

It kind of underlines how converting to symbols is by far the simplest “half” of this, it’s bytes to string that is the usual can of worms. :slightly_smiling_face:


greg
2021-10-31 00:32:58

If you’ve successfully/correctly made a string, the step converting to symbol is kind of a no-brainer by comparison.