[Haskell-cafe] The Haskell type inference feature I'd really like to see

Dan Piponi dpiponi at gmail.com
Fri Oct 24 16:38:23 EDT 2008

I'd like to be able to write something like

> map zipWith ([1,2,3] >>= printMyInferredType)

and have the compiler treat 'printMyInferredType' as undefined, but
also produce the side effect of printing out its inferred type.

What's the easiest way to simulate this with what we have now?

More information about the Haskell-Cafe mailing list