Functional - New edition of Reppy's Concurrent ML?

Author

New edition of Reppy's Concurrent ML?

Florian Weimer

2007-07-26, 4:17 am

Amazon offers preordering a paperback edition of Reppy's Concurrent ML
(at least in some countries). Is the content identical to the
hardcover edition?

If I'm interested in functional programming (ML-style) and
concurrency, are there any other books I should read?

dbenson@eecs.wsu.edu

2007-07-26, 10:05 pm

> Is the content identical to the
> hardcover edition?
Probably. I have yet to find even a typo in my copy.
>
> If I'm interested in functional programming (ML-style) and
> concurrency, are there any other books I should read?
I am aware of some papers, but not another book.

I have written over 50K lines of CML based code. I am quite impressed
with the ease of writing (mostly) correct code. The only drawback,
which occcurs with all concurrency packages, AFAIK, is the difficulty
of debugging...

Matthias Blume

2007-07-27, 7:06 pm

Florian Weimer <fw@deneb.enyo.de> writes:

> Amazon offers preordering a paperback edition of Reppy's Concurrent ML
> (at least in some countries). Is the content identical to the
> hardcover edition?

John Reppy told me that the paperback edition -- apart from,
obviously, being paperback -- differs from the original only very
slightly (typo-fixing, basically).

Cheers,
Matthias

Tony Finch

2007-07-28, 4:16 am

dbenson@eecs.wsu.edu wrote:
>
>
>Probably. I have yet to find even a typo in my copy.

I found an error in Listing 10.18 - the implementation of wrap and
choose. I believe the inner function in wrap should read:

fun blockFn' (flg, k) =
callcc (fn retK => (
throw k (f (callcc (fn k' => (
blockFn (flg, k');
throw retK () ))))))

I reported this to Reppy.

Tony.
--
f.a.n.finch <dot@dotat.at> http://dotat.at/
DOGGER: EASTERLY BACKING NORTHWESTERLY 4 OR 5, OCCASIONALLY 6 IN SOUTHEAST.
SLIGHT OR MODERATE. RAIN OR SHOWERS. MODERATE OR GOOD.

Matthias Blume

2007-07-29, 4:18 am

dbenson@eecs.wsu.edu

2007-08-18, 7:07 pm

On Jul 25, 9:59 pm, Florian Weimer <f...@deneb.enyo.de> wrote:
....
> If I'm interested in functional programming (ML-style) and
> concurrency, are there any other books I should read?

I'm not sure whether Erlang is 'ML-style' in your view, but in any
case

Joe Armstrong
Programming Erlang: software for a concurrent world

is highly recommended by the revierers on Amazon.com.

Neelakantan Krishnaswami

2007-08-19, 4:27 am

In article <<1187474861.407739.193140@q4g2000prc.googlegroups.com>>,
dbenson@eecs.wsu.edu <dbenson@eecs.wsu.edu> wrote:
> On Jul 25, 9:59 pm, Florian Weimer <f...@deneb.enyo.de> wrote:
> ...
>
> I'm not sure whether Erlang is 'ML-style' in your view, but in any
> case
>
> Joe Armstrong
> Programming Erlang: software for a concurrent world
>
> is highly recommended by the revierers on Amazon.com.

Erlang style concurrency is actually quite similar to Concurrent ML
style concurrency -- the biggest difference is that message passing in
CML is synchronous, and asynchronous in Erlang.

There's a book by John Reppy ("Concurrent Programming in ML") about
CML, and I'm sure Armstrong's book is very valuable too -- he's got a
huge amount of experience building concurrent systems.

--
Neel R. Krishnaswami
neelk@cs.cmu.edu

Neelakantan Krishnaswami

2007-08-19, 7:09 pm

In article <<slrnfcft13.897.neelk@gs3106.sp.cs.cmu.edu>>,
Neelakantan Krishnaswami <neelk@cs.cmu.edu> wrote:
> In article <<1187474861.407739.193140@q4g2000prc.googlegroups.com>>,
> dbenson@eecs.wsu.edu <dbenson@eecs.wsu.edu> wrote:
>
> Erlang style concurrency is actually quite similar to Concurrent ML
> style concurrency -- the biggest difference is that message passing in
> CML is synchronous, and asynchronous in Erlang.
>
> There's a book by John Reppy ("Concurrent Programming in ML") about
> CML, and I'm sure Armstrong's book is very valuable too -- he's got a
> huge amount of experience building concurrent systems.

Um.

I just took another look at the thread title. I think I can assume
that dbenson is in fact aware of Reppy's book.

Oh well. :)

--
Neel R. Krishnaswami
neelk@cs.cmu.edu

Sponsored Links