haskell使用技巧

2024-02-29 06:58

文章标签 使用技巧 haskell

本文主要是介绍haskell使用技巧，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

.原来GHCI是可以编程的，真方便

$cat ~/.ghci
:def hoogle \str -> return $ ":! hoogle --count=15 \"" ++ str ++ "\""
:cd /media/G/www/qachina/db/doc/money
:load Money.hs

这里定义了函数hoogle, 当进入ghci后，就可以用它查寻hoogle了（当然需先装hoogle:

cabal install alex happy && cabal install hoogle）

$ghci
*Money> : hoogle (a -> Bool) -> [a] -> ([a], [a])
Prelude break :: (a -> Bool) -> [a] -> ([a], [a])
Prelude span :: (a -> Bool) -> [a] -> ([a], [a])
Data.List break :: (a -> Bool) -> [a] -> ([a], [a])
Data.List partition :: (a -> Bool) -> [a] -> ([a], [a])
Data.List span :: (a -> Bool) -> [a] -> ([a], [a])

看看有无你需要的结果。

.profiling:

ghc -prof -auto-all -O2 --make Main

Main.exe +RTS -p --hc -s main.summary

.限制GHCI的内存使用

$ghci +RTS -M 100M -c 30 --限制堆大小为100MB，且堆使用增长到30%时压缩堆

.模块名可以有层次关系的（与文件系统的目录对应）

比如如下文件目录结构:

src/Web
    Page.hs Action.hs
src/Data
Data/Binary
Data/Binary/Defer
            Defer.hs Map.hs Vector.hs Array.hs

Page.hs中就可这样声明模块
module Web.Page

Map.hs中就可这样声明模块
module Data.Binary.Defer.Map

Defer.hs用于简化模块引用, 使用者只需引入 Data.Binary.Defer就可能使用
Data.Binary.Defer.Monad及   Data.Binary.Defer.Class

module Data.Binary.Defer(
    module Data.Binary.Defer.Monad,
    module Data.Binary.Defer.Class
) where
import Data.Binary.Defer.Monad
import Data.Binary.Defer.Class

. 缩小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

Add the -dymamic flag for a dynamically linked RTS:

$ 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

. 堆profiling

堆有问题时运行heap profiler:
$ ghc -O2 --make A.hs -prof -auto-all -rtsopts -fforce-recomp
[1 of 1] Compiling Main ( A.hs, A.o )
Linking A.exe ...

Which when run:
$ ./A.exe +RTS -M1G -hy

Produces an A.hp output file:
$ hp2ps -c A.hp