Higher-Order Virtual Machine (HVM)
One thing that I don&#x27;t see addressed (and the main problem I had with Haskell) is the predictibility of runtime: if I change a function somewhere to be 2x slower by doing something differently can it have a much bigger than 2x difference in functions that use it?<p>With Rust, the type system guarantees safety and predictable runtime as well. I don&#x27;t see how any model that doesn&#x27;t have linear &#x2F; affine typesystem implemented and exposed to the programming language give me the same guarantee.