Kleine Haskell-Executables erstellen?

Question

Gibt es irgendwelche guten Möglichkeiten, kleine ausführbare Haskell-Dateien zu erstellen? Mit ghc6 scheint ein einfaches Hallo-Welt-Programm auf etwa 370kB (523kB vor dem Strip) zu kommen. Hallo Welt in C ist etwa 4kB (9kB vor dem Strip).

Answer 1

Mit dem Entwicklungszweig von GHC (jemand genau wissen, welche Version dieses in hinzugefügt wurde?):

$ 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 

für ein dynamisch gelinkt RTS die -Dynamic Flag hinzufügen : http://hackage.haskell.org/trac/ghc/wiki/SharedLibraries/PlatformSupport

Zum Vergleich mit 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

Sie sollten Ihren Segen zählen (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$ 

Aber im Ernst, während Sie wahrscheinlich Haskell eine Bit-Binärdateien schütteln kann, es ist wirklich kein fairer Vergleich mit C. Es gibt eine mehr los dort .

Das letzte Mal, als ich mit ghc gespielt habe (und das könnte veraltet sein), hat es statisch alles verlinkt, was ein Faktor sein wird.

Answer 3

GHC verbindet statisch alles (außer den von der Laufzeit selbst verwendeten Bibliotheken, die dynamisch verknüpft sind).

In den alten Zeiten hat GHC die gesamte (haskell) Bibliothek verknüpft, sobald Sie etwas davon verwendet haben. Vor einiger Zeit begann GHC, "per obj file" zu verknüpfen, was die Binärgröße drastisch reduzierte. Gemessen an der Größe müssen Sie den neueren GHC bereits verwendet haben.

Auf der positiven Seite, haben Sie bereits eine Menge Sachen in diesen 500K haben, wie multithreaded Kern, Garbage Collector usw.

zu Ihrem C-Code mindestens Garbage Collector hinzufügen, dann vergleichen sie wieder :)

Answer 4

strip -p --strip-unneeded --remove-section=.comment -o your_executable_small your_executable 

versuchen auch bei ldd suchen -dr your_executable

Answer 5

die Größe Sie sehen, ist die Haskell-Laufzeit (libHSrts.a), die statisch in jeder Haskell ausführbare verknüpft ist. Wenn es ein gemeinsames Objekt wäre, wie zB librt.o für C, wäre Ihre Binärdatei nur ein paar k (die Größe einer geteilten O-Datei in der Bibliotheksquelle).

Kurz vor der dynamischen Verknüpfung von libHSrts.a auf Ihrer Plattform implementieren, können Sie Ihre ausführbaren Dateien über Strip verkleinern.

Answer 6

Die Dinge ändern sich - behalten Sie ein Auge auf this laufende Arbeit.

Answer 7

Wenn die Größe Ihrer Binärdatei wirklich wichtig ist, können Sie das Tool gzexe verwenden, das eine (vorzugsweise bereits bereinigte) ausführbare Datei mit der gzip-Komprimierung packt. Auf meiner 64-Bit-Linux-Box dauert die ursprüngliche Hallo Welt Programm 552 KB, nach dem Strippen 393 KB, und nach dem Strippen und Gipping 125 KB. Die dunklere Seite von gzipping ist in der Leistung - die ausführbare Datei muss zuerst entpackt werden. auch

$ 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 

See: