Easy to say "monomorphization is awful and Rust should never have done it", harder to say "I want all generic functions to be compiled to bytecode and to embed a Rust interpreter in every binary".
-
-
Haskell has a uniform type representation. If you go down that road with a language like Rust you end up with Swift-like intensional type analysis, which gets hairy really fast.
-
I remember intensional type analysis being a pretty painful mess in Rust; does Swift have characteristics that makes it easier or did they just do it anyway?
- 2 more replies
New conversation -
-
-
that was my exact thought when I saw this (as a Haskell dev, not having done much Rust). It's just the normal dictionary-passing implementation, but at runtime.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.