Créer de petits exécutables Haskell ?

Question

Existe-t-il de bons moyens de créer de petits exécutables Haskell ? Avec ghc6, un simple programme Hello World semble atteindre environ 370 Ko (523 Ko avant dépouillement). Hello world en C fait environ 4kB (9kB avant dépouillement).

Answer 1

Avec la branche de développement de GHC (quelqu'un sait exactement dans quelle version cela a été ajouté ?):

$ ghc -o hello hello.hs
$ strip -p --strip-unneeded --remove-section=.comment -o hello-small hello
$ du hello hello-small
700 hello
476 hello-small

Ajouter le drapeau -dynamique pour une RTS liée dynamiquement :

$ ghc -dynamic -o hello hello.hs
$ strip -p --strip-unneeded --remove-section=.comment -o hello-small hello
$ du hello hello-small
24  hello
16  hello-small

Voir aussi : http://hackage.haskell.org/trac/ghc/wiki/SharedLibraries/PlatformSupport

Pour la comparaison avec C :

$ gcc hello.c -o hello
$ strip -p --strip-unneeded --remove-section=.comment -o hello-small hello
$ du hello hello-small
12  hello
8   hello-small

Answer 2

GHC lie tout de manière statique (sauf les bibliothèques utilisées par le runtime lui-même, qui sont liées dynamiquement).

Dans le passé, GHC liait toute la bibliothèque (haskell) dès que vous utilisiez quelque chose de celle-ci. Il y a quelques temps, GHC a commencé à lier "par fichier obj", ce qui réduit considérablement la taille du binaire. A en juger par la taille, vous deviez déjà utiliser le nouveau GHC.

D'un autre côté, vous avez déjà beaucoup de choses dans ces 500K, comme un noyau multithread, un garbage collector, etc.

Ajoutez au moins un ramasseur d'ordures à votre code C, puis comparez-les à nouveau :)

Answer 3

La taille que vous voyez est le runtime Haskell (libHSrts.a), qui est lié statiquement à chaque exécutable Haskell. S'il s'agissait d'un objet partagé, comme librt.o pour le C, votre binaire ne ferait que quelques k (la taille d'un fichier .o divisé dans la source de la bibliothèque).

À défaut d'implémenter la liaison dynamique de libHSrts.a sur votre plate-forme, vous pouvez réduire la taille de vos exécutables par strip.

Answer 4

Si la taille de votre binaire est vraiment importante, vous pouvez utiliser l'outil gzexe qui empaquette un exécutable (de préférence déjà dépouillé) avec la compression gzip. Sur ma machine Linux 64 bits, l'original bonjour le monde prend 552 KB, après stripping 393 KB, et après stripping et gzipping 125 KB. Le côté sombre du gzipping se situe au niveau des performances : l'exécutable doit d'abord être décompressé.

Answer 5

Vous devriez compter vos bénédictions (370Kb ? Luuuxury) :

bash$ sbcl
This is SBCL 1.0.24, an implementation of ANSI Common Lisp.

\* (sb-ext:save-lisp-and-die "my.core")
\[undoing binding stack and other enclosing state... done\]
\[saving current Lisp image into ./my.core:
...
done\]
bash$ du -sh my.core 
 25M    my.core
bash$ 

Sérieusement, bien que vous puissiez probablement secouer un peu les binaires d'Haskell, ce n'est pas une comparaison juste avec le C. Il y a beaucoup plus que cela.

La dernière fois que j'ai joué avec ghc (et cela peut être dépassé), tout était lié de manière statique, ce qui sera un facteur.