Mathematics in Haskell
R Hayes
rfhayes at reillyhayes.com
Tue Apr 3 00:46:34 EDT 2007
Wouldn't this be a good discussion for the Haskell Prime List?
Reilly Hayes
+1 415 388 3903 (office)
+1 415 846 1827 (mobile)
rfh at ridgecrestfinancial.com
On Apr 2, 2007, at 3:24 PM, Andrzej Jaworski wrote:
>> 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: http://citeseer.ist.psu.edu/269479.html
>
>> so count me in on an effort to make Haskell more mathematical.
>> For me that
>> probably starts with the semigroup/group/ring setup, and good
>> arbitrary-precision as well as approximate linear algebra support.
>
> I agree: semigoups like lattices are everywhere.
> Then there could be a uniform treatment of linear algebra,
> polynomial equations, operator
> algebra, etc. So, perhaps haste is not a good advice here?
>
> -Andrzej
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-prime/attachments/20070402/aae74f7d/attachment.htm
More information about the Haskell-prime
mailing list