Re: [Caml-list] Some/None

[John Max Skaller <skaller@ozemail.com.au>]

Oliver Bandel wrote:

>>type file_data =
>>      | Regular of int (* file size in megs *)
>>      | Directory of int (* number of entries *)
>>      | Special
>>    ....
>>
>
>nice idea. :)
>

Perhaps. I would say designing appropriate types
and functions for a system is hard, in any language.

The difference with Ocaml is that representing
your designs is much easier than, say, C or C++.
The language is very expressive and yet compact,
and it is very rarely that I bother representing
a design on paper before coding .. the code is so
expressive of the design it usually isn't necessary ..
in effect, ocaml lets you compile your design
to check it's consistency .. and afterwards
you can execute it .. I'm being extreme here ..
heh .. but only a bit extreme :-)

Just my usual warning .. ocaml is a powerful drug ..
its additive .. a one way street .. ask Markus Mottl ..
you just won't be able to go back to C/C++ afterwards ..
the withdrawal symptoms are quite deadly .. :-))

-- 
John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850




-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners