3 Jan
2008
3 Jan
'08
7:29 p.m.
On Fri, 4 Jan 2008, Bulat Ziganshin wrote:
Hello Peter,
Thursday, January 3, 2008, 11:03:58 PM, you wrote:
Okay, but when using a syntax directed editor, type signatures can be automatically provided because the types are known.
the same is possible for Haskell - it's possible to add to code type signatures deduced by the compiler
Ha! Yes, HaRe also has the facility to do this.... have I plugged it enough yet? :-) Cheers, Chris.