type checking (again ;-): something like Dialyzer?

This is a discussion on type checking (again ;-): something like Dialyzer? within the Scheme forums in Programming Languages category; not to beat a dead flame-fest horse or anything... i am aware of Typed Scheme, but am wondering if anybody has a sense of how hard it would be to do something like Erlang's Dialyzer[1] for Scheme? seems like Soft Scheme[2] est mort? sincerely. [1] http://www.it.uu.se/research/group/hipe/dialyzer/ [2] http://www.seas.upenn.edu/~sweirich/.../msg00169.html...