[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

[mechvel at scico.botik.ru]

Also if you mean the performance comparison for the code produced by 
different ghc versions,
then most of users have various Haskell programs, so they can compare 
ghc-8.8.3 with
ghc-9.0.1.
In my example of polynomial arithmetic the time overhead is 5%.
I think of putting the Haskell program on public.
Being a neighbor of the polynomial arithmetic written in Agda, this 
small package will provide
a nice test for the performance in the two systems and for provable 
programming overhead.
Each new Haskell and Agda version can be tested on these two libraries
(the one in Haskell is mush smaller).

--
SM


On 2021-06-06 21:23, mechvel at scico.botik.ru wrote:
> On 2021-06-06 19:01, Nils Anders Danielsson wrote:
>> On 2021-06-06 15:11, mechvel at scico.botik.ru wrote:
>>> But the performance has reduced on  20%  relatively to  Agda-2.6.1 + 
>>> ghc-8.8.3.
>> 
>>> 2.6.2.rc2 + ghc-9.0.1  spends 20% more of time.
>> 
>> If I understood you correctly you used two different versions of GHC.
>> Can you rerun the test using one version of GHC?
> 
> 
> No,
> because  2.6.2.rc1  cannot install under ghc-8.8.3,
> and I expect that 2.6.2.rc2 also would not.
> 
> --
> SM
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda