Re: Static, dynamic and Lisp types.



acaradesapo@xxxxxxxxx wrote:
Do there is a name for a language like this, that is, creating a new
name for the
same concept with different arguments?

An excellent point. This problem was already solved by Standard ML, OCaml,
F# and Haskell.

--
Dr Jon D Harrop, Flying Frog Consultancy
http://www.ffconsultancy.com/products/?u
.



Relevant Pages

  • Re: curve for verbosity in a language
    ... And of the FP languages I've used, OCaml is the tersest. ... AFAIK Haskell is more powerful than OCaml in many ways but typically ... I believe that functional programming adds an extra "dimension" to factoring ... Dr Jon D Harrop, Flying Frog Consultancy ...
    (comp.programming)
  • Re: Strengths of Standard ML compared with more recent FPLs
    ... I'm sorry I wasn't more clear; I'm asking about how Standard ML ... compares with more recent FPLs such as OCaml and Haskell. ... I think of SML and Ocaml as being basically the same modulo ... and hopefully follows the reasoning that you did in your head. ...
    (comp.lang.functional)
  • Re: Strengths of Standard ML compared with more recent FPLs
    ... I'm sorry I wasn't more clear; I'm asking about how Standard ML ... compares with more recent FPLs such as OCaml and Haskell. ... I think of SML and Ocaml as being basically the same modulo ... its type system is much ...
    (comp.lang.functional)
  • Re: real fp vs. scheme/lisp implicit ordering
    ... Jon Harrop's claim was about the Haskell qsort he posted: ... And I showed that the Ocaml version of the same algorithn was almost exactly ... That could not possibly account for Jon Harrop's claim of 6000x slower. ...
    (comp.lang.functional)
  • Functional programming languages
    ... applications under OSX in statically-typed functional programming languages ... like OCaml, Standard ML, Haskell and F#? ... OCaml for Scientists ...
    (comp.sys.mac.misc)