Hacker News Reader

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/ ), the Cardano foundation ( https://cardano.org/ ) or one of several other companies doing commercial or research work around Cardano.

View on HN

There's a good summary of why Cardno uses Haskell here - 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

Potentially Cardano could become one of the most significant uses of Haskell in the wild, if it gets traction of course

That 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).

Reply on news.ycombinator.com