News for hackers. Stuff that matters.
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:

    fn foo<T: Positioned>(x: &T) -> Point {
       x.position()
    }
Note that this doesn't work in languages that use templates for generics, like C++, where templates work more like compile-time duck typing.
Re:Diminishing returns of static typing by cm2187 on Monday October 02, 2017 @02:35PM (#15386527)
But, if I may, you are effectively statically typing your code.
Re:Diminishing returns of static typing by bjz_ on Monday October 02, 2017 @03:00PM (#15386820)
Oh wait, I misread the comment you were responding to. Oops!