There is a good talk I just watched a few days ago on this topic: Static Versus Dynamic Typing [1][2], which listed the pros and cons of different typing system

There is a good talk I just watched a few days ago on this topic: Static Versus Dynamic Typing [1][2], which listed the pros and cons of different typing systems, using racket and ocaml as examples: [1] https://courses.cs.washington.edu/courses/cse341/18wi/videos/unit6/captioned/120-static-vs-dynamic-one.m4v https://courses.cs.washington.edu/courses/cse341/18wi/videos... [2] https://courses.cs.washington.edu/courses/cse341/18wi/videos/unit6/captioned/121-static-vs-dynamic-two.m4v https://courses.cs.washington.edu/courses/cse341/18wi/videos...