Re: Which programming language is better to start

Matthieu Villeneuve wrote:
> "Jean-Claude Arbaut" <jean-claude.arbaut@xxxxxxxxxxx> wrote in message
> news:BED8A57C.510C%jean-claude.arbaut@xxxxxxxxxxxxxx
>> This is a matter of taste :-) One could say it's Objective Caml...
>> Or any other language, in fact.
>
> I don't agree. To me Common Lisp is much higher level than OCaml, because
> of several things including macros, dynamic typing, conditions & restarts,
> and CLOS-like object system.

Macros and dynamic typing are low-level features, of course, and how are
CLOS and conditions/restarts higher level than OCaml's objects (not that I
like OO) and exceptions?

> OCaml's type system is very nice compared to
> that of C++ or Java, but remains a bit restrictive especially when it
> comes to program evolution.

Quite the opposite. Unchecked type systems give you too much freedom when it
comes to program evolution - if you change something your code silently
breaks. Consequently, dynamic typing is ill suited to the development of
large programs.

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

Relevant Pages

  • Re: Which programming language is better to start
    ... >> of several things including macros, dynamic typing, conditions & restarts, ... > CLOS and conditions/restarts higher level than OCaml's objects (not that I ... doesn't then the one that supports macros is the higher level language. ...
    (comp.programming)
  • Re: More static type fun.
    ... dynamic typing + unit tests vs. static typing. ... the tests will verify higher level behavior. ... a static type system doesn't allow you to check against ...
    (comp.lang.lisp)
  • Re: Recommended books on Top Down Design
    ... >> wondering if anyone could suggest some good books or url's regarding TDD ... Dynamic typing means that foo.barwill ... Could you show the connection between the higher level code and the ...
    (comp.programming)