Proposal for non-nullable types in Dart | Hacker News Reader