Demo Zoo: Pluggable Types & (Un)Soundness

Demos in Dart (1 & 2), TypeScript, Java, C++, and Python (2 & 3) of pluggable, optional, dynamic, static, structural, and nominal typing and different kinds of unsoundness in type systems.

Links:
http://bracha.org/pluggableTypesPosition.pdf
https://trends.google.com/trends/explore?date=2011-01-01%202020-01-25&geo=US&q=%2Fm%2F0h52xr1,%2Fm%2F0n50hxv
https://gist.github.com/paulmillr/1208618
http://www.bracha.org/Site/Home.html
https://newspeaklanguage.org/
https://www.php.net/manual/en/migration70.new-features.php
https://www.python.org/dev/peps/pep-0484/
https://github.com/ethanhs/python-typecheckers
https://godotengine.org/article/optional-typing-gdscript
https://flow.org/
https://sorbet.org/

Видео Demo Zoo: Pluggable Types & (Un)Soundness канала Context Free