[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