Re:Copying data is wasteful, mutating data is dangerous
by pwm on Thursday January 09, 2020 @08:03PM
(#22007585)
Exactly. The only problem is that you need a language with a sufficiently powerful type system that can express both phantom and existential types.
[ Parent
| on HN ]
Re:Copying data is wasteful, mutating data is dangerous
by chii on Thursday January 09, 2020 @11:34PM
(#22008323)
> The only problem is that you need a language with a sufficiently powerful type system
why is that a problem?