Re:Static typing will not save us from broken software
by dllthomas on Tuesday October 25, 2016 @03:13AM
(#12785885)
If you require a constraint to be able to provide Default values (even if every type in fact implements Default - c.f. Typeable) then for Tuple in particular there is only the correct implementation (modulo bottom or hidden side-effects).
[ Parent
| on HN ]