Comment on Open thread, Sept. 29 - Oct.5, 2014

Mon, 06 Oct 2014 17:41:09 GMT

Mostly "functional"-style, in the sense of having algebraic data types and expressions as the chief syntactic construct, but with this system of subtyping and objects for the things like modules and closure types that actually need the existential type. I ended up writing my own type-inference algorithm, which I'm still formalizing in Coq now.

Rabbit. Hole.

Discuss