[Haskell-cafe] Re: haskell question
lgreg.meredith at biosimilarity.com
Mon Apr 23 22:36:37 EDT 2007
Many thanks. i also found some course notes from Advance Functional
Programming at Utrecht very useful. i have to wait until i have quality time
to go over this because the next step is to close the final loop to find the
fix point of
- Process = Process(Nominate(Process))
i haven't worked out the correct instance syntax to express this idea. But,
i think the direction you pointed me in is the right one.
On 4/22/07, oleg at pobox.com <oleg at pobox.com> wrote:
> > Is there documentation on the multi-parameter type classes?
> Sections 7.4.2. Class declarations, 7.4.3 Functional dependencies and
> 7.4.4. Instance declarations of the GHC user guide give the short
> description of these features. These section refer to a couple of
> papers. The best explanation can be found in papers by Mark P. Jones:
> (see especially `qualified types').
> > i think i see what you've done, but i'd like to read up on it to make
> > sure that i understand.
> The approach in the previous message was quite close to that used for
> representing collections. The type of a particular collection implies
> the type of collection's elements. In your case, the type of the agent
> implies the type of the processor for that particular agent (and vice
> versa). Incidentally, instance declarations can be recursive and
> mutually recursive.
505 N 72nd St
Seattle, WA 98103
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe