Type inference or not in Java, C, LLVM, C++, Rust, Crystal, Haskell, & PureScript.
Code: https://github.com/contextfreecode/infer
Related Context Free videos:
Where do the types go? - https://youtu.be/0dGkkbVnVyg
Pluggable types and (un)soundness: https://youtu.be/XQHGRvuD1hY
Other links:
https://typing-is-hard.ch/
https://forums.swift.org/t/swift-type-checking-is-undecidable/39024
http://dev.stephendiehl.com/fun/006_hindley_milner.html#worked-examples
https://crystal-lang.org/reference/syntax_and_semantics/type_inference.html
0:00 Java
3:48 C vs LLVM
4:38 C++
7:16 Rust
7:54 Detour topics
9:02 Rust again
9:41 Crystal
11:42 Haskell
13:55 PureScript
