3 ms·
As someone that knows only a little about Rust and Haskell, why?
by duncan-donuts 8y ago
As someone that knows only a little about Rust and Haskell, why?
- choeger 8y agoType-level programming. It basically guarantees more correctness at the cost of steeper entry barriers. In consequence you end up with (some extension of) Haskell and a probably correct implementation that no one can start to implement ;).
- AaronFriel 8y agoThe power of these is that a handful of implementations can act as enormous levers to create useful abstractions for everyone else. As an example, Rust's type system is difficult to implement and hard to prove correct - there was a problem with `std::thread::scoped`'s soundness for example - but once done, the work can be leveraged into higher (and often simpler) abstractions! Session types in Rust are exciting to me because we might see implementations of consensus algorithms leverage the type system for correctness. Everyone else then gets to benefit from a simple API on those (complicated) types.