my language-learning backlog now includes J, Forth, Egison, Pharo, Mercury, Racket, and maybe Coq so uh wish me luck lol
Conversation
Heh, Mercury is neat! We use it at work 🙂
2
8
I do mainly Rust though, for our low level, (soon to be) OSS stuff. But it's been super cool to learn the history/perspectives of the constraint logic programmers. From their perspective they are living in a universe where 'functional programming won'. 😆
1
3
Neat thing is it's super easy to get them up to speed with type theory. Because they can easily map natural deduction rules that we write to the predicates that they are already used to writing in logic programming.