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) - 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) - Re: dynamic type checking - a pauline conversion?
... The languages that have been around for at least a decade would ... include ML (Standard ML & OCaml) and Haskell. ... (comp.object) - Re: references about the beauty of functional programming ?
... Jon Harrop wrote: ... OCaml code that's both (for Jon, at least - but Jon is not the only one ... Consortium and by developing their own dialect of Caml). ... (comp.lang.functional) - Re: Verbose functional languages?
... means adding all of the obvious things that OCaml should have (a ... Haskell community has a very different attitude, ... things stricter than the compiler already guesses. ... Haskell has printf, but the format string is not used in type checking (it ... (comp.lang.functional) |
|