Nice paper. After reading the paper I was motivated to read the Typed Racket Guide. I have been using Haskell a lot but I am open to alternative typed languages.<p>BTW, the premise of the paper seems very intuitive: better to either use a strongly typed language or a dynamic scripting Lange. Avoid the middle ground.