26 Aug
2008
26 Aug
'08
5:34 p.m.
I have a feeling this is going to be a very long thread so I'm trying to go to Haskell cafe again (without mucking it up again). Derek Elkins wrote:
Haskell should be moving -toward- a capability-like model, not away from it.
Could you show how to implement Data.Random or Data.Unique using such a model, or any (preferably all) of the use cases identified can be implemented? Like what about implementing the socket API starting with nothing but primitives to peek/poke ethernet mac and dma controller registers? Why should Haskell should be moving -toward- a capability-like model and why does top level <- declarations take us away from it? Regards -- Adrian Hey