News for hackers. Stuff that matters.

A comment on Grain: A strongly-typed functional programming language for the modern web. Parent comment

Re:Grain: A strongly-typed functional programming language f... by continuational on Tuesday July 31, 2018 @08:31AM (#17652616)
Yes, Dart is amazingly broken for a modern language. This compiles:

    List<Animal> animals = [Dog()];
    List<Cat> cats = animals;
What is a static type system worth if it doesn't catch type errors at compile time?
[ Parent | on HN ]
Re:Grain: A strongly-typed functional programming language f... by fcurts on Tuesday July 31, 2018 @11:36AM (#17654065)
Dart 2 has a sound type system and catches this at compile time.
[ Parent | on HN ]