Hey y'all. I wrote something and I'm curious if you have any thoughts on it.
Quote Tweet
Hey. I designed a programming language & I'm gonna try to implement it. I think it's called Emily or Emmy. More here: msm.runhello.com/p/934
5
Conversation
Replying to
Fun! The approach of types-as-boolean-functions is new to me. Still reading…
Replying to
I think that's one of the two or three novel ideas in there? It seems so *obvious* in retrospect tho!
1
I'm having trouble finding it but I've seen Scheme use bool functions as types when defining record types…
1
1
Show replies