Functional - Re: What is a type error?

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Re: What is a type error?

Pascal Costanza

2006-06-27, 7:02 pm

Marshall wrote:
> Pascal Costanza wrote:
>
> A bold assertion!
>
> The general question is, what do we do about partial functions?
>
>
>
> This is an implementation artifact, and hence not relevant to our
> understanding of the issue.

No, it's not. I am pretty sure that you can model this formally.

Pascal

--
3rd European Lisp Workshop
July 3 - Nantes, France - co-located with ECOOP 2006
http://lisp-ecoop06.bknr.net/

Sponsored Links