Comment by datadeft

Is it possible to have Hindley–Milner type system for a LISP?