Re: Haskell: functional languages vs Lisp

From: Marco Antoniotti (marcoxa_at_cs.nyu.edu)
Date: 05/31/04 

Date: Mon, 31 May 2004 10:35:34 -0400

Matthias Buelow wrote:

>> Runtime type errors don't cause frequent problems, and of course it's
>> possible to add static type checking to Common Lisp, at least to a
>> certain degree.
>
>
> "To a certain degree"? How's that supposed to work? Either you have
> static typechecking, or you don't.

Check CMUCL. Also, either you have a dynamic language environment with
data and code equivalence or you don't. How do you expect to have that
in Haskell? Or Ocaml, or any of the admittedly nice "type-inferenced"
languages?

Cheers 

--
Marco

Relevant Pages

  • Re: Flamebait if I ever saw it
    ... up on its rigorous static type and type inference. ... Common Lisp is especially remarkable because it provides this kind of runtime flexibility while staying reasonably efficient in terms of execution performance - much better than, say, Python, Ruby, and such dynamic languages which are typically chosen in such scenarios. ...
    (comp.lang.lisp)
  • Re: Static/Strong/Implicit Typing
    ... >>forfeit anything that would break a conformant Common Lisp program. ... if you come up with an implementation X of Common Lisp ... CL implementation that does not use your static type checking machinery. ... > 2) Compile it with CMUCL, with all the type checking facilities turned on. ...
    (comp.lang.lisp)
  • Re: What is Expressiveness in a Computer Language
    ... A static type system ensures that these two ... article from another person who used to use common lisp a lot, ... switched to Haskell, I decided to give Haskell a try. ...
    (comp.lang.functional)
  • Re: What is Expressiveness in a Computer Language
    ... A static type system ensures that these two ... article from another person who used to use common lisp a lot, ... the Haskell type system/notation gives you a good notation ...
    (comp.lang.functional)
  • Re: Static/Strong/Implicit Typing
    ... want the compiler to wake you up from your code-writing coma. ... The other solution to this problem is dynamic typing. ... The static type crowd solved a problem ... If you write the above code in Common Lisp, ...
    (comp.lang.lisp)