> racket -e '1D468' +inf.0

is this unexpected?

for me at least. Maybe I’m missing something. How is 1D468 syntax for +inf.0?

It’s similar to 1e468

https://docs.racket-lang.org/reference/reader.html#%28part._parse-number%29

thanks I hate it

One would think Racket could recognize that 1 is a whole number and just evaluate (* 1 (expt 10 468)) under-the-hood.

watching the Corpse Reviver talk and I don’t think I’ve ever seen this logo for Typed Racket

@hazel.r.pearson which talk is that?

POPL 2021, Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification also that’s a different Hazel

https://arxiv.org/abs/2007.12630 preprint

I made that logo just for the talk, so it’s very unofficial :slightly_smiling_face:

I like it a lot, actually

also in general it was a very good talk — I found it (and the paper) pretty approachable despite not really having much background

(or at least, less background than I’d like to have)

I’m very happy to hear that! We made an effort to try to explain enough so that hopefully a broader audience would get something out of it

I think I saw that paper—very intriguing. The idea was to eliminate contract checks when they were proven not to fail (basically not across type boundaries), right?

Seconding^ it was a good idea and well-presented.

do we know when these ideas will make it into Typed Racket? (or if there’s a plan to do so?)