Создание небольших исполняемых файлов haskell?

Question

Есть ли хорошие способы сделать небольшие исполняемые файлы haskell? С ghc6 простая мировая программа hello, похоже, достигает примерно 370kB (523kB перед полосой). Привет мир в C составляет около 4kB (9kB перед полосой).

Answer 1

С ветви развития GHC (кто точно знать, какую версию этого был добавлен в?):

$ 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 

Добавьте -dynamic флаг динамически подключаемой РТС:

$ 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 

Смотри также : http://hackage.haskell.org/trac/ghc/wiki/SharedLibraries/PlatformSupport

Для сравнения с 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

Вы должны рассчитывать свои благословения (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$ 

Серьезно, хотя в то время как вы можете, вероятно, вытряхнуть Haskell двоичные файлы немного, это действительно не справедливое сравнение с С. Там в более там происходит ,

Последний раз, когда я играл с ghc (и это могло быть устаревшим), оно статически связывало все, что будет фактором.

Answer 3

GHC статически связывает все (кроме библиотек, используемых самим запуском, которые связаны динамически).

В старые времена GHC связал всю библиотеку (haskell), как только вы что-то использовали. Когда-то, GHC начал связывать «per obj file», что резко уменьшило двоичный размер. Судя по размеру, вы, должно быть, уже использовали новый GHC.

С положительной стороны, у вас уже есть много вещей в этих 500K, как многопоточного ядра, сборщиком мусора и т.д.

Добавить по крайней мере, сборщик мусора в код C, а затем сравнить их снова :)

Answer 4

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

также попробуйте посмотреть на LDD -dr your_executable

Answer 5

вы видите размер является Haskell во время выполнения (libHSrts.a), который статически связан в каждый Haskell исполняемый файл. Если бы это был общий объект, например librt.o для C, то ваш двоичный файл был бы всего несколько k (размер расколотого файла .o в источнике библиотеки).

Если вы не используете динамическую компоновку libHSrts.a на своей платформе, вы можете сделать ваши исполняемые файлы меньше по полосе.

Answer 6

Вещи меняются - следите за this продолжающейся работой.

Answer 7

Если размер вашего двоичного кода действительно имеет значение, вы можете использовать инструмент gzexe, который упаковывает (желательно уже лишенный) исполняемый файл с сжатием gzip. На моем 64-битном поле Linux исходная программа hello world занимает 552 КБ, после удаления 393 КБ и после удаления и gzipping 125 КБ. Более темная сторона gzipping находится в производительности - исполняемый файл должен быть распакован первым.