Conversation

Reading even slightly higher-kinded OCaml is quite the trip because of the "backwards" syntax (and I suppose that goes for ML folks reading Haskell too)

gist.github.com

Abstract binding trees implementation

Abstract binding trees implementation. GitHub Gist: instantly share code, notes, and snippets.

Replying to

and

I do think it would be kind of goofy to have a dependently typed concatenative language with an RPN type syntax. Could be quite horrific to actually use though 😂

9:35 AM · Jan 27, 2018Twitter Web Client