Re:Diminishing returns of static typing
by bjz_ on Monday October 02, 2017 @01:25PM
(#15385851)
Yes! If your language allows you to put constraints on those types you can specify what specific types have access to. For example in Rust:
Note that this doesn't work in languages that use templates for generics, like C++, where templates work more like compile-time duck typing.
[ Parent
| on HN ]
But, if I may, you are effectively statically typing your code.