miniblog.

I'm having fun writing a simple type checker, but I'm learning firsthand why syntax-directed checking doesn't work. It prevents inference. My checker catches real bugs, but it can't handle cases like this: [1, 2].map(fun(x) { x + 1; }) I think I need bidirectional checking.

I'm trying to decide what program I should show on the home page of my PL. Hello World is too simple to show much syntax. Fibonacci is OK but the reader may not know what print(fib(10)) should show. Maybe print(greet("World")) is better? It gives you a function definition at least.

The most common selling point I hear for Nix is having a list of all the packages you need. On a traditional Linux distro, I just install things and forget about them. A curated, commented list would certainly be handy when I have a new system.