31 october 2022
Been writing a twelf interpreter of my own. Making changes to the internal rappresentation without breaking stuff is so hard I had to start writing test (this is something I never do). At least is fulfilling, which is good enough for me. The idea was to write a twelf interpreter that actually had caching of previous function calls. Since they are all pure functions, therefore the output depending only on the input parameters, the interpreter could cut branches from the execution tree when identical parameters are given. Despite twelf being nothing more than a plaything I find myself coding in it.
If anyone is interested this is the repo: https://github.com/Mroik/twelf-interpreter