Re: What's so great about lisp?

On Wed, 05 Oct 2005 01:28:08 +0100, Jon Harrop wrote:

> # let ident x = x;;
> val ident : 'a -> 'a = <fun>
> # let f x = x x in f ident;;
> - : 'a -> 'a as 'a = <fun>
>
> So I'm not sure about your "un-typable even with recursive types".

Fair enough. I this is because OCaml can use universally quantified
types as well. There do exist untypable examples even so
(see the end of Programming Examples Needing Polymorphic Recursion:
http://itrs04.di.unito.it/papers/hk.pdf).

Matt

--
"You do not really understand something unless you can
explain it to your grandmother." — Albert Einstein.

.

Relevant Pages

  • Re: GoTo in Java
    ... > To the OCaml guy: What is it specifically that you like about OCaml? ... It supports agile programming by offering an interactive interpreter, ... and other factors than on language, but Jon Harrop in particular has ... proper functional programming ...
    (comp.lang.cobol)
  • Re: dynamic vs. static: the age-old debate
    ... It addresses the expression problem but I would not call it a solution any ... Why do you think OCaml programmers rarely use OOP? ... history of functional programming and I suspect most of its community ...
    (comp.lang.misc)
  • Re: Learning functional programming
    ... between OCaml and F# so you could just work through some of the OCaml ... date books like Structure and Interpretation of Computer Programs. ... more popular modern functional programming languages. ... Haskell and SML are both interesting related languages but I ...
    (comp.lang.functional)
  • Re: Ray tracer
    ... Programming is *hard* especially writing algorithms. ... implementations in C, C++, SML, OCaml and Java were all done by me. ...
    (comp.lang.scheme)
  • Re: Very poor Lisp performance
    ... > I find that the same typeful programming style (and pattern matching, ... And OCaml is a great language for many tasks, ... this Lisp language... ...
    (comp.lang.lisp)