3 ms·
The Cardano blockchain system is heavily based on Haskel. It is one of the largest ecosystems in this space and is growing rapidly. The author can try to find w
by intellectronica 5y ago
The Cardano blockchain system is heavily based on Haskel. It is one of the largest ecosystems in this space and is growing rapidly. The author can try to find work with IOHK ( https://iohk.io/ https://iohk.io/ ), the Cardano foundation ( https://cardano.org/ https://cardano.org/ ) or one of several other companies doing commercial or research work around Cardano.
- harryf 5y agoThere's a good summary of why Cardno uses Haskell here - https://medium.com/@cardano.foundation/why-cardano-chose-haskell-and-why-you-should-care-why-cardano-chose-haskell-and-why-you-should-f97052db2951 https://medium.com/@cardano.foundation/why-cardano-chose-has... - functional programming seems to have been a key influence in how Cardano's approach to smart contracts is built, avoiding centralized state - some insights in that here https://sundaeswap.finance/posts/concurrency-state-cardano https://sundaeswap.finance/posts/concurrency-state-cardano Potentially Cardano could become one of the most significant uses of Haskell in the wild, if it gets traction of course
- foldr 5y agoThat blog post makes a big deal out of formal verification. However, my understanding is that if you really want to do formal verification on a practical scale, you are better off using a less fashionable language that's nonetheless had orders of magnitude more investment in verification tooling (such as Java).