Common Lisp なら型安全以外はだいたい実現出来ているな。