[Opa] mixing float & int in calculations
Adam.Koprowski at mlstate.com
Thu Nov 17 16:37:55 EST 2011
> Thanks! I suspected this is what was going on...
> Would it make sense to tell the type-checker to first check the
> outer function (inrange in this case) ?
> I feel the outer-context (specially if it's a core function) is
> often going to have the right type, while the "fresh" code will have bugs.
I don't have a very good answer except that: type inference is a
difficult topic; especially for a language with a non-trivial type system
(like Opa). Also having readable and meaningful error messages from the
type checker is well-known to be a very challenging topic.
Opa tries real hard to give you good error message on type errors. I'm
sure it doesn't always rise up to the challenge and we'll be trying to
improve it with time, but... ok, I already said it's not easy, right? ;).
*Adam Koprowski [http://adam-koprowski.net]
Opa Tech Evangelist @ MLstate [http://opalang.org | http://mlstate.com]*
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Opa