[Haskell-cafe] Re: Numeric type classes

On 2006-09-20, Jacques Carette wrote:

[Hopefully this answers your 'relevance' question].

Yes. I was focusing on the more narrow aspect, rather than what had started this thread.

In other words, the "specification language" people have been down this road quite some time ago, and seem to have worked out a fair bit of it. PL people should now liberally borrow all these good ideas IMNSHO.

Thank you for the references. -- Aaron Denney -><-