Structs (was RE: Record selectors)

[Sean Hinde]

> O'Haskell is
> the purely functional language Haskell, conservatively extended with:
> - subtyping
> - monadic objects
> 
> an object-oriented imperative language, enhanced with 
> -parameteric polymorphism
> -automatic type inference
> 
> a concurrent language, with 
> -a reactive communication model
> -asynchronous and synchronous message-passing
> 
> The author references both Erlang and Java in his thesis:
> http://www.cs.chalmers.se/~nordland/ohaskell/thesis.ps.gz
> 
> I guess it is could be better to start with the the 4 page 
> paper on Reactive 
> Objects: http://www.cse.ogi.edu/~nordland/isorc.pdf
> 
> I can not judge how it compares with Erlang regarding 
> concurrency model 
> etc., but I think it would be interesting to get comments 
> from any Erlang
> linguist.

Well, the comments to their version of the POTS program from the Erlang book
suggest that they see the erlang ability to "selectively receive" to be
merely a way of avoiding deadlock, and they avoid such nastiness by
statically ensuring that all objects are capable of receiving all valid
messages at all times.

This ability to "leave some messages in the message queue until I have dealt
with the ones I want to" is of course a very powerful part of Erlang..

I'll leave deeper analysis to the real language linguists.

Sean



NOTICE AND DISCLAIMER:
This email (including attachments) is confidential.  If you have received
this email in error please notify the sender immediately and delete this
email from your system without copying or disseminating it or placing any
reliance upon its contents.  We cannot accept liability for any breaches of
confidence arising through use of email.  Any opinions expressed in this
email (including attachments) are those of the author and do not necessarily
reflect our opinions.  We will not accept responsibility for any commitments
made by our employees outside the scope of our business.  We do not warrant
the accuracy or completeness of such information.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20030117/6ccf6f50/attachment.htm>