Jeffery Zhang <ยทยทยทยท@cornell.edu> writes:
> ...
> But there is a nagging thought at the back of my head. I miss static typing
> of languages like SML and Haskell. Specifically I miss things like type
> inference.
> ...
> Is there anything that does this?
CMUCL and SBCL do some type inference when compiling, although not as much
as you ask for in your post. They print out compiler notes when types do
not fit, which are very helpful (at least for me).
Nicolas.