Comment by oneshoe

This is precisely why Cardano is using Haskell for their language.