The author of the talk is also the author of…
After watching this talk, I bought the book, even if it has only F# code
I tried to translate types in this post Type and spec - Dialyzer not detecting error
But it’s hard to compare type_spec with F# type system 
3 Likes