On 16-Feb-2001 Matthias Felleisen wrote:
|
| The problem is Haskell, not your student.
|
| Haskell undermines the meaning of 'return', which has the same meaning in
| C, C++, Java, and who knows whatelse. These languages use 'return' to
| refer to one part of the denotation of a function return (value) and
| Haskell uses 'return' to refer to two parts (value, store). These languages
| have been around forever; Haskell came late. These languages are
| imperative; Haskell is a wanna-be imperative language.
The denotation of a return command in a typical imperative language supplies
a value and a store to a calling continuation, so why is the name not entirely
appropriate?
Joseph H. Fasel, Ph.D. email: [EMAIL PROTECTED]
Technology Modeling and Analysis phone: +1 505 667 7158
University of California fax: +1 505 667 2960
Los Alamos National Laboratory post: TSA-7 MS F609; Los Alamos, NM 87545
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
