Since I brought this up (search haskell' list) I should probably volunteer
to help. If people agree I can coordinate an effort to build a
mathematically sound hierarchy. Unfortunately my mathematical knowledge is
less than ideal for this purpose (I am actively remedying this at
university).
On Mon, 2 Apr 2007, jasonm wrote:
Jacques Carette wrote:
perhaps i was mistaken in thinking that there is a group of
math-interested
haskellers out there discussing, developing, and documenting the area? or
perhaps that group needs introductory tutorials presenting its work?
My
NumericPrelude does seem like a good starting point for discussion and
addition. Is it still being actively developed, and what are the
goals there?
On 4/3/07, Henning Thielemann [EMAIL PROTECTED] wrote:
On Mon, 2 Apr 2007, jasonm wrote:
Jacques Carette wrote:
perhaps i was mistaken in
On Tue, 3 Apr 2007, Jason Morton wrote:
NumericPrelude does seem like a good starting point for discussion and
addition. Is it still being actively developed,
slowly but actively
and what are the goals there?
A more sophisticated numeric type class hierarchy. However it contains
also some
Jacques Carette wrote:
perhaps i was mistaken in thinking that there is a group of
math-interested
haskellers out there discussing, developing, and documenting the area? or
perhaps that group needs introductory tutorials presenting its work?
My guess is that there are a number of people
I too was put off by the Num issues though--strange mixture of sophisticated
category theory and lack of a sensible hierarchy of algebraic objects.
Perhaps we should replace CT with lattice theoretic thinking (e.g. functor =
monotonic
function) before cleaning up the type-related mess?
See:
