>Chicken or Scheme are not at all what at all what I was suggesting as they >offer nothing in the way of purity or type-safety, which are the primary >motivation for suggesting Haskell. Typed Racket? (Racket, as it got named when PLT Scheme developers decided they added too much into Scheme and need to rename)