Top 4 linear-type Open-Source Projects
The non-fungible token standard on the Flow blockchain
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...
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
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.
Systems language with linear typesProject mention: Common Lisp | news.ycombinator.com | 2021-10-02
I like Common Lisp but I no longer use it. I'm pretty much completely burned out on dynamic typing. It feels like building on sand. I want calmer programming, even if it's less powerful. At present I'm building a new language with that goal in mind.
linear-types related posts
NFT misconception: JPEG aren't stored on the Blockchain
5 projects | news.ycombinator.com | 8 Nov 2021
Does Haskell allow pure functions to use *encapsulated* impurity
1 project | reddit.com/r/haskell | 11 Aug 2021
Missing line in a smart contract leads to $10M hack
3 projects | news.ycombinator.com | 16 May 2021
Why would someone build on Tezos rather than Solana?
2 projects | reddit.com/r/tezos | 19 Apr 2021
Monthly Hask Anything (March 2021)
2 projects | reddit.com/r/haskell | 11 Mar 2021
What Would It Take To Build An NFT Marketplace
1 project | reddit.com/r/ethdev | 9 Mar 2021
How to buy Flow coin?
1 project | reddit.com/r/staking | 23 Feb 2021
What are some of the best open-source linear-type projects? This list will help you:
Are you hiring? Post a new remote job listing for free.