Re: [Haskell-cafe] existential type problem

2004-10-16 Thread Andrew Pimlott
On Fri, Oct 15, 2004 at 07:54:46PM -0700, [EMAIL PROTECTED] wrote: > > Andrew Pimlott wrote: > > I want values in my existential type to denote, for some monad, a > > monadic operation and a way to run the monad. Except, I want it mix > > the operation with operations in another monad, so it use

Re: [Haskell-cafe] OO idioms redux

2004-10-16 Thread John Goerzen
On Tuesday 12 October 2004 5:20 pm, Ben Rudiak-Gould wrote: [ snip -- thanks for the examples and discussion ] > > 1. Try replacing implementation inheritance with containment and > delegation when you translate to Haskell. I'm not sure I understand what you mean by containment and delegati