ok writes:
On 11 Oct 2007, at 1:00 pm, jerzy.karczmarczuk@info.unicaen.fr wrote:
An anonymous called ok writes:
I am not anonymous. That is my login and has been since 1979.
Oh, bother... According to my imperfect knowledge of English, an anonymous is somebody who doesn't sign his/her letters. And doesn't unveil his name. Just "OK" as login, even since 1979, is still anonymous, whatever you may say. It might the be anything, for example Richard O'Keefe, or something else. Or perhaps I am again completely wrong, as in the case of "R" not being something I ever wanted? ====
If one wants a lazy dynamically typed programming language that lets you construct "infinite lists" by using the basic language mechanisms in a simple and direct way, there's always Recanati's Lambdix, which is a lazy Lisp. I don't know whether that ever saw serious use, but it does show that the thing can be done.
Well, puisque Catherine Recanati est Française, I should have heard about that thesis... (1986 if I am not mistaken). Seems abandoned. And also another French lazy Scheme called Help, of Thomas Schiex, also a PhD work... (1992, unless I am wrong) Also abandoned, at least according to what Thomas S. told me some time ago. So, if you really insist, you may safely say that claiming that there are no dynamically typed functional languages, I lied as a dog. Still, if you look around you, there are no dynamically typed functional languages. You may now continue this hair-splitting discussion, chapeau bas. Yours, J.K.