Haskell linear-type Projects
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.Project mention: Missing line in a smart contract leads to $10M hack | news.ycombinator.com | 2021-05-16
I dont know how hard it would be to port it to other platforms. Different Virtual machine.
Tezos uses a human readable stack based language as a low level represenation that is suited for formal proofs: https://tezos.gitlab.io/008/michelson.html
If archetype depends on that then its going to be hard to port but i dont think it does.
Another interesting project in development is https://juvix.org/ which targets more backends beside michelson like llvm and wasm. Might run on eth2/Ewasm.
There are also blockchain specific features like: https://medium.com/tqtezos/tickets-on-tezos-part-1-a7cad8cc7...
Standard library for linear types in Haskell.Project mention: Does Haskell allow pure functions to use *encapsulated* impurity | reddit.com/r/haskell | 2021-08-11
See here for a linear quicksort implementation.
Run Linux Software Faster and Safer than Linux with Unikernels.
Are you hiring? Post a new remote job listing for free.