Coding 2025-05-15
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.