English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
O'Caml makes Quote of The Day
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-07-27 (17:28)
From: proff@s...
Subject: O'Caml makes Quote of The Day
----- Forwarded message from Quote of the day -----

>From qotd-request@orbit.geomatics.ucalgary.ca Wed Jul 26 03:16:29 2000
Return-Path: <qotd-request@orbit.geomatics.ucalgary.ca>
Delivered-To: proff@suburbia.net
Received: from dilbert.geomatics.ucalgary.ca (dilbert.geomatics.ucalgary.ca [])
	by suburbia.net (Postfix) with ESMTP id 9C88A6C4C1
	for <proff@suburbia.net>; Wed, 26 Jul 2000 03:16:25 +1000 (EST)
Received: from orbit.geomatics.ucalgary.ca (orbit [])
	by dilbert.geomatics.ucalgary.ca (8.9.1b+Sun/8.9.1) with ESMTP id LAA28971;
	Tue, 25 Jul 2000 11:14:05 -0600 (MDT)
Received: (from terry@localhost)
	by orbit.geomatics.ucalgary.ca (8.9.1b+Sun/8.9.1) id KAA07218
	for qotd-l; Tue, 25 Jul 2000 10:50:01 -0600 (MDT)
Date: Tue, 25 Jul 2000 10:50:01 -0600 (MDT)
Message-Id: <200007251650.KAA07218@orbit.geomatics.ucalgary.ca>
X-Authentication-Warning: orbit.geomatics.ucalgary.ca: terry set sender to qotd-request using -f
From: qotd-request@geomatics.ucalgary.ca (Quote of the day)
To: qotd@ensu.ucalgary.ca (Quote of the day mailing list)
Subject: Quote of the day
X-Qotd-Incoming: 4471
Sender: qotd-request@orbit.geomatics.ucalgary.ca
Content-Length:   697

"In my eyes this is not a technical shortcoming of the language (or
 compiler), but rather a psychological inadequacy of human beings."

 - Markus Mottl, OCaml hacker, replying with aplomb to a
   comp.lang.functional post suggesting that Hindley-Milner type
   inference was was sometimes hard for first year students to

   [Another reason for qotd to hate all things computing -- sociopathic
   geeks. -ed.]

    Submitted by: Julian Assange
                  Jul. 22, 2000
            Send quotation submissions to qotd@ensu.ucalgary.ca
       Send list changes or requests to qotd-request@ensu.ucalgary.ca

----- End of forwarded message from Quote of the day -----