. Waiting until runtime is bad.
(sorry if this was beside the point)
Bart Demoen
Marcin Kowalczyk wrote:
I am quite happy with not getting a compile-time error for
non-implemented class methods, as long as I get a compile-time error
when I try to use a non-implemented class method.
This is impossible.
Thank you.
In that case I agree with Fergus.
Bart Demoen
is
allowed even in the type definitions. Abduction in this case is close
to constraint solving (in spirit at least).
By the end of next week, there should be a home page for HAL at
http://www.csse.monash.edu.au/~mbanda/hal
Bart Demoen
is an issue as well.
Cheers
Bart Demoen
you
want to compete with C on. And feasability, not speed.
Cheers
Bart Demoen
programmer in heart and kidneys (as the
flemmish expression goes) and still stick to Mercury.
Bart Demoen
I am for sure going to read the paper of Ariola Arvind, but
Without optimizations this program will produce _|_ but
with optimizations it will produce 3.
wouldn't such an optimisation be called "a bug in the compiler" ?
Bart Demoen
]
i l = l
Bart Demoen
