I can imagine books similar to SICP using more recent, sophisticated, statically typed languages such as ML, Haskell, or Scala, but the exposition would require more careful design, because Lisp???s macros and its ???pun??? of using S-expression syntax to represent abstract syntax make a lot of things easier.