@mostlypat CC: @wryl seems up your alley
2 comments
@mostlypat @capital Very cool! Funny you mention that, I'm working on that at the moment. My current project necessitates a lot of portability, so I'm "reinventing" LLVM from first principles. The current (and most likely final) iteration involves an abstract machine with 8 instructions. The machine manipulates a tape of bits with dynamic insertion, modeled as a deque. I'm intending on building a lot of rewriting-oriented projects on top of it. It can absolutely work. |
@capital @wryl
oh yeah definitely inspired by all the cool modal stuff ive been seeing :)
i have been teaching finite automata this semester, which made me wonder if something like modal could work on a state-machine
i.e., like the equivalence between lambda calculus and turing machines, or context-free-grammars and pushdown-automata, or regular expressions and finite-automata