These days Dart — considers all variables *non-nullable* — enforces sound null s... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		igouy on April 23, 2024 \| parent \| context \| favorite \| on: The last days of my type checker for JavaScript These days Dart — considers all variables non-nullable — enforces sound null safety." https://dart.dev/null-safety

Yoric on April 26, 2024 [–]

Well, null safety is a good start.

But I seem to remember that the type-checker got confused rather easily with nested closures, for instance, or co/contra-variance.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact