Re: [Haskell-cafe] A question about algebra and dependent typing

On Mon, 2008-07-14 at 13:00 -0500, Nathan Bloomfield wrote:

There's something I want to do with Haskell, and after tinkering for a while I think it's not possible. Before giving up entirely, I thought I'd try this mailing list.

I'm working on an abstract algebra library, using the "types are sets" strategy. For the algebraists out there, I'm trying to implement as much as I can of "Abstract Algebra" by Dummit & Foote in Haskell. I've got a Ring class definition that looks approximately like

I haven't read most of the rest of this email, but you might want to look at Serge Mechveliani's DoCon library if you haven't already: http://www.haskell.org/docon/