[Agda] Hello World

Nils Anders Danielsson nad at chalmers.se
Mon Aug 8 14:31:26 CEST 2011


On 2011-08-08 09:31, Guillaume Yziquel wrote:
> Somewhat surprised to see the generated binary weight something like 3
> to 4 megabytes just for a Hello World program.

There are two reasons for this:

* You compile via Haskell/GHC. GHC tends to produce large binaries:

     http://stackoverflow.com/questions/6115459/small-haskell-program-compiled-with-ghc-into-huge-binary

* You import Data.String, which on my installation pulls in roughly 80
   other modules. I suspect that it is possible to reduce the size of the
   binary dramatically by removing dead code.

-- 
/NAD


More information about the Agda mailing list