|
|
|
|
|
|
by NlightNFotis
855 days ago
|
|
|
Programming with types by Vlad Riscutia fits your bill exactly. Examples in typescript (so syntax should be familiar compared to e.g OCaml) and teaches you how to model a domain in types and how to think in terms of a type system, instead of diving into the details of how to implement one. |
|
|