|
|
|
|
|
|
by khaledh
90 days ago
|
|
|
Interesting take on enforcing state machine rules using a proof system. I'm interested in this space, and have been developing a new programming language to enable typestate / state-machine representation at the type system level[0]. I don't know where it will end up on the spectrum of systems languages; it may end up being too niche or incomplete, but so far I think I'm scratching the right itch, at least for myself. [0] https://github.com/khaledh/machina |
|
|