Email or username:

Password:

Forgot your password?
Top-level
mostlypat

@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

1 comment
(wryl)

@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.

Go Up