Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: [Caml-list] Easy solution in OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-04-28 (18:15)
From: Eray Ozkural <exa@k...>
Subject: Re: [Caml-list] Easy solution in OCaml?
On Monday 28 April 2003 17:22, David Brown wrote:
> To me, the core feature of functional programming are first class
> closures.  Everything else just makes it more convenient.

Well said. I would also like to say here that I fail to see what distinguishes 
the core of ocaml and haskell so much from a semantics point of view!!!!!!! 
Both are functional languages with sequential constructs and advanced type 
systems IMHO. Minus the object system, the module system of ocaml can be 
viewed as  a more advanced kind of "type class" in haskell (assuming we can 
compare constructs inexactly!!) The really cool object system comes as a 

Being an "amateur" PL designer, I think both languages are very orthogonal but 
they are both lacking the degree of parallelism that would make me think of 
them as purely declarative...

There is also another point that I think is worthy of making. You can extend 
ocaml rather easily using p4. I think in the future a safe and easy kind of 
semantic extensibility will be the way to go, like Cardelli described in that 
paper... :P

Not intended as flamery :)


Eray Ozkural (exa) <>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project:
www:  Malfunction:
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: