Coding 2025-05-15

By Max Woerner Chase

All right, let's see what I did. In between the last time I wrote about Impliciula and now, I concluded that I was making things too hard on myself by trying to target LLVM off the bat. As such, I'm going to be focusing on implementing an interpreter for the simply-typed lambda calculus, and try to elaborate that until it can handle Impliciula code.

Now, it seems I'd sort of started on this already, so I mainly focused on cleaning up and extending the Python code that I already had lying around. At this point, it probably works, but I'm pretty sure I need to figure out stuff like, some way of defining primitive operations. Once I have that, I should be able to start elaborating.

Probably something with Protocols or ABCs. I'll think about it tomorrow.

Good night.