You might find (Typed) Racket interesting - it offers the features you mention, and is a delight to work with.