3 ms·
Right. It's a structural type system that automagically puns things at runtime. The "most robust type system", I would think, would be something like Haskell.
by consteval 2y ago
Right. It's a structural type system that automagically puns things at runtime. The "most robust type system", I would think, would be something like Haskell.