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.


A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.