[Haskell-cafe] Re: Numeric type classes
wnoise at ofb.net
Wed Sep 20 12:26:09 EDT 2006
On 2006-09-20, Jacques Carette <carette at mcmaster.ca> 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.
More information about the Haskell-Cafe