it's a good talk. the static typing (of the future) at the end of the video isn't, say, the static typing of C# or Java. Static typing should be more like OCa

it's a good talk. the static typing (of the future) at the end of the video isn't, say, the static typing of C# or Java. Static typing should be more like OCaml, Elm, Rust, Haskell (and ideally Roc)