OCaml Implemented with Monads?

Article View: comp.lang.ml

Article #4

From: Jared Warren
Date: Thu, 04 Dec 2003 21:19

10 lines
1910 bytes

I recall reading a rumour on a Haskell mailing list or something like
that to the effect that the OCaml development team was considering
using monads to implement IO in the future. This struck me as being
rather extraordinary at the time; unfortunately, now that I have a
need to substantiate it, Google seems unable to find the original
post. Can anyone provide evidence that such an unorthodox scheme were
ever considered (even in passing)?

~ Jared Warren <warren@cs.queensu.ca>
School of Computing, Queen's University

Technical Details

Message-ID: <bqo8d4$k0o$1@wolfberry.srv.cs.cmu.edu>

Path:

arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news-out.visi.com!petbe.visi.com!news.maxwell.syr.edu!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!newsfeed.srv.cs.cmu.edu!wolfberry.srv.cs.cmu.edu!not-for-mail

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 107f24,568af25144681cd0,start
X-Google-Attributes: gid107f24,public
X-Google-Thread: ff861,568af25144681cd0,start
X-Google-Attributes: gidff861,public
X-Google-Thread: 10707f,568af25144681cd0,start
X-Google-Attributes: gid10707f,public
X-Google-Thread: 10c09d,568af25144681cd0,start
X-Google-Attributes: gid10c09d,public
X-Google-ArrivalTime: 2003-12-04 13:35:10 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news-out.visi.com!petbe.visi.com!news.maxwell.syr.edu!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!newsfeed.srv.cs.cmu.edu!wolfberry.srv.cs.cmu.edu!not-for-mail
From: warren@cs.queensu.ca (Jared Warren)
Newsgroups: comp.lang.ml,comp.lang.functional,fa.caml,fa.haskell
Subject: OCaml Implemented with Monads?
Date: Thu, 4 Dec 2003 21:19:32 +0000 (UTC)
Organization: http://groups.google.com
Lines: 11
Approved: comp-lang-ml@cs.cmu.edu
Distribution: world
Message-ID: <bqo8d4$k0o$1@wolfberry.srv.cs.cmu.edu>
Reply-To: warren@cs.queensu.ca (Jared Warren)
NNTP-Posting-Host: kazoo.concert.cs.cmu.edu
X-Trace: wolfberry.srv.cs.cmu.edu 1070572772 20504 128.2.181.69 (4 Dec 2003 21:19:32 GMT)
X-Complaints-To: abuse@cs.cmu.edu
NNTP-Posting-Date: Thu, 4 Dec 2003 21:19:32 +0000 (UTC)
Originator: leaf@kazoo.concert.cs.cmu.edu