the physical universe is anti-modular

Rob Rix boosted

Implementing pattern compilation makes me sad.

Current status: gensym.

I Am Not a Number, I Am a Free Variable has a beautiful and interesting approach to the problem, but I am using a monad contributing a monotonically increasing sequence of integers like some sort of animal.

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.