[Agda] MAlonzo performance
Sergei Meshveliani
mechvel at botik.ru
Sat Mar 29 13:24:26 CET 2014
On Fri, 2014-03-28 at 10:04 -0500, Alan Jeffrey wrote:
> My experience with MAlonzo is that it gives decent performance as long
> as you tune your code to MAlonzo's strengths. In particular, not linking
> against the standard library,
> [..]
That is not to import items from the standard library
?
Standard library has too many useful things ...
Regards,
------
Sergei
> You can see a (rather old, and probably now non-compiling) example of
> this over at https://github.com/agda/agda-system-io which does a lot of
> low-level hackery to get decent space/time performance out of MAlonzo.
>
> A.
>
> On 03/27/2014 01:07 PM, Mateusz Kowalczyk wrote:
> > On 27/03/14 17:50, Sergei Meshveliani wrote:
> >> Dear Agda developers,
> >>
> >> this is about the performance of the checker and also of MAlonzo.
> >> [..]
More information about the Agda
mailing list