Re: [Caml-list] ocaml considered dangerous

[Nicolas Braud-Santoni <nicolas@braud-santoni.eu>]

[-- Attachment #1: Type: text/plain, Size: 835 bytes --]

Dear Jürgen,

First, for completeness' sake, the correct URL is
http://www.pfitzenmaier.de/posts/ocaml-considered-dangerous.html

It seems that most of the points in this blog post boil down to your
confusion regarding the signification of 'a in types.
Consider the following:
let x : 'a = 0;;
val x : int = 0

whereas
let x: 'a. 'a = 0;;
Error: This definition has type int which is less general than 'a. 'a

In the first case, 'a is a unification variable, which the compiler may
unify with int.
In the second case, we quantify universally over 'a.

As such, I would say that your claims of unsoundness were rather hasty,
especially given that you follow-up by advertising your services.
Moreover, as Daniel Bünzli pointed out, problem reports are usually done
on the bugtracker.

Kind regards,
Nicolas


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 836 bytes --]