Mastodawn

Now I have a little bit of time on my hands (surprisingly little actually) I was doing a bit of retro programming.

And here's something I forgot: anyone remember when hard drives were called Winchester drives?

Now we have the Internet I can look these terms up and see how those names came about...

@dpiponi I'm increasingly wanting to go back to the 6502. It was just more fun working within those constraints and I bet it still is. And I felt (if probably incorrectly) that I had some idea how the machine worked underneath.

I wonder if I could make any useful fragment of a dependently typed language fit in 32k. Probably not but it'd be fun to try.

Show thread

jcreed

@edwinb @dpiponi at one point I went pretty far down the road of trying to think how to implement a dependent type checker as a sort of forth-feeling stack-machine-y thing, deliberately so that I could imagine implementing it on the 6502 for a sigbovik paper... I got as far as dependent *first*-order types, but couldn't ever figure out a good approach for higher-order functions.