2 ms·
It looks like the author is confused about or unaware of the difference between static and dynamic dispatch. Their Display and Iterator types are really just vt
by proto_lambda 3y ago
It looks like the author is confused about or unaware of the difference between static and dynamic dispatch. Their Display and Iterator types are really just vtables; the correct comparison to Rust would be the `dyn Display` and `dyn Iterator` trait objects (which are types).
- lpil 3y agoWhat makes you say that? Traits and type classes don't inherently use either static or dynamic dispatch (Rust and Haskell use both, PureScript uses only dynamic), and both techniques outlined in the blog can be optimised to static dispatch.