From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA30049; Fri, 8 Jun 2001 22:13:17 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA30028 for ; Fri, 8 Jun 2001 22:13:16 +0200 (MET DST) Received: from ftp.filemaker.com (ftp.filemaker.com [192.35.50.27]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f58KDEn21701 for ; Fri, 8 Jun 2001 22:13:15 +0200 (MET DST) Received: from imap.filemaker.com (imap.filemaker.com [17.184.4.101]) by ftp.filemaker.com (8.9.0/8.9.0) with ESMTP id NAA19067 for ; Fri, 8 Jun 2001 13:12:54 -0700 (PDT) Received: from [17.184.16.95] ([17.184.16.95]) by imap.filemaker.com (8.9.3/8.9.0) with SMTP id NAA05091 for ; Fri, 8 Jun 2001 13:12:55 -0700 (PDT) Message-Id: <200106082012.NAA05091@imap.filemaker.com> Subject: [Caml-list] Hitchhiker's Guide to Typing Date: Fri, 8 Jun 2001 13:22:05 -0700 x-sender: hao-yang_wang@mail.filemaker.com x-mailer: Claris Emailer 2.0v3, January 22, 1998 From: Hao-yang Wang To: Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >A Hitchhiker's Guide to type theory (and all the other alien things my eyes >glaze over at on this list) aimed at the unwashed masses would go a long >way to making OCaml (and functional programming in general) more >accessible. Did I pass over one somewhere? I think by "type theory" you mean the type systems used in modern programming languages. Luca Cardelli has written some nice tutorial/survey on this topic. See . Look for the articles "Typeful programming" and "Type systems". Cheers, Hao-yang Wang ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr