Re: The dreaded M-R

John Hughes writes:

By the way, you leave out a lot of type signatures too. Your Djinn module contains 29 declarations with type signatures--and 17 without. The 17 are local, but local declarations are precisely those where, without the M-R, a lack of sharing would be most likely to bite.

I've never been advocating type signatures on local bindings, only top level. For local bindings I sometimes do it, sometimes not. Since the scope of a local bind is, umm, local, the compiler has a much better chance of figuring out exactly what type it should have. I'm counting on the compiler to do its job here. And it seems to work. :) But I should see what happens with my code if I turn off the M-R. -- Lennart