[Agda] stdlib for practical programming

[Mianlai Zhou]

Hi,

I have a question regarding this. Is Agda an ideal tool for writing a
computer algebra library?
As someone coming from Mathematica background, I am particularly interested
in this because
in principle tools like Agda *should* be more suitable for computer algebra
than any other existing
programming languages.

Regards,

Mianlai
University of Nottingham, Ningbo Campus


On Wed, Sep 25, 2013 at 1:36 AM, Sergei Meshveliani <mechvel at botik.ru>wrote:

> On Tue, 2013-09-24 at 19:00 +0300, Dmytro Starosud wrote:
> > Hello everybody!
> >
> > I would like to use Agda for practical programming rather just proof
> checker.
> > For this purpose I need library with type classes and stuff for IO
> > operations which would make easier fast prototyping.
> > [..]
>
> After 1 year experience with writing a computer algebra library in Agda
> I start to think that classes are not needed, that
> dependent records + implicit parameters  of Agda is better.
>
> Regards,
>
> ------
> Sergei
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130925/14616ce4/attachment.html