my language-learning backlog now includes J, Forth, Egison, Pharo, Mercury, Racket, and maybe Coq so uh wish me luck lol
Conversation
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.
1
Woah, someone actually in Melbourne actually uses it for an actual paying gig?
1
1
Yup! Melbourne was where it was created, and we help fund its development. There are also some places in Europe who use it.
1
1
Show replies