On Sun, May 05, 2019 at 07:28:38AM -0700, Samuel Falvo II wrote: > What I need is a type-safe Lisp, and unfortunately, that just > doesn't exist. Haskell, et. al. are not it. Have a look at Typed Racket, a typed version of a dialect of Scheme. -- hendrik