u/tjpalmerin r/ProgrammingLanguages • Recommends
Demo Zoo: Pluggable Types & (Un)Soundness
0:00 / 0:00
#pluggabletypes#typesoundness#dart
Demo Zoo: Pluggable Types & (Un)Soundness
Context Free
24K subscribers • 25 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Linked in the descriptionethanhs/python-typecheckers
Intermediate. Assumes working knowledge.
6.6K views6 years ago1 recommendation
Programming languagesLanguage design and type systemsTypeScriptPython
This video demonstrates pluggable, optional, and dynamic typing across Dart, TypeScript, Java, C++, and Python, highlighting different kinds of type unsoundness.
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: bracha.org/pluggableTypesPosition.pdf trends.google.com/trends/explore?date=2011-01-01%202020-01-2… gist.github.com/paulmillr/1208618 bracha.org/Site/Home.html newspeaklanguage.org/ php.net/manual/en/migration70.new-features.php python.org/dev/peps/pep-0484/ github.com/ethanhs/python-typecheckers godotengine.org/article/optional-typing-gdscript flow.org/ sorbet.org/Why it's here
1 person recommends thisWhat people say. Recommended as a clear visual demonstration of different type systems and how unsoundness manifests in practice.