[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