the Haskell ecosystem is lacking a lot of distributed data types
Conversation
Look at lasp-lang.readme.io - lots of lovely stuff there by that would be lovely to see in a richly typed language like Haskell. Remains to be seen if Haskell is up to it as it stands though. 🤔
2
4
We originally wanted to do it in Haskell too, but we also had a requirement to test a distributed implementation at scale, which was going to be difficult to do in Haskell.
1
1
Oh interesting - seems like the right call, alas. I'd be super interested to see more work on figuring out how to work with type systems in a global, zero-downtime setting. Can it be done, and can the type system ensure you don't go wrong during state migrations?