Re:Rust 1.37.0
by centril on Sunday August 18, 2019 @10:29PM
(#20734436)
An interesting example is the addition of `{-# LANGUAGE LinearTypes #-}` to GHC. The primary interest for this "experiment" is not from academia but from industry (tweag IO). Another example is `QuantifiedConstraints` which was quickly caught up by practical applications as well. Haskell is not just for academia, it is very much intended for practical use after all.
[ Parent
| on HN ]