Hacker News new | ask | show | jobs
by kragen 440 days ago
Maybe this is intentionally introducing logical unsoundness into Dart's type system for pragmatic purposes, perhaps supplemented with some implicit dynamic checks?