just wrote an 8 times nested for loop and im kind of scared to admit it

the animistic view of programming languages: all data types are languages

have you ever had a concept you've worked with before extensively and understand well enough to employ regularly, but you see a new way of thinking about it and instantly feel like you finally "get" it?

everybody talk about λ but nobody talk about →. 😔​

One of my favorite things is thinking "X must be a thing. I want to use X, someone's totally had to have made it," then actually finding it and using it.

types.pl

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