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 ---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


. 用cabal构建项目

cabal configure [--enable-tests]  --"enable-tests"后,可运行`cabal test`进行测试

cabal build

cabal install [--disable-library-profiling] [--enable-shared] [--enable-executable-dynamic] [--ghc-option=-dynamic]


开发时减少资源占用:

cabal build --ghc-options="-O0 -c" && \
cabal build --ghc-options="-O0 -optl -O-optl --reduce-memory-overheads -optl --hash-size=31"

-optl将参数传递给Linker(ld)。


$ cabal install --enable-split-objs   --减少文件大小

这篇关于haskell使用技巧的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/757926

相关文章

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

Java中String字符串使用避坑指南

《Java中String字符串使用避坑指南》Java中的String字符串是我们日常编程中用得最多的类之一,看似简单的String使用,却隐藏着不少“坑”,如果不注意,可能会导致性能问题、意外的错误容... 目录8个避坑点如下:1. 字符串的不可变性:每次修改都创建新对象2. 使用 == 比较字符串,陷阱满

Python使用国内镜像加速pip安装的方法讲解

《Python使用国内镜像加速pip安装的方法讲解》在Python开发中,pip是一个非常重要的工具,用于安装和管理Python的第三方库,然而,在国内使用pip安装依赖时,往往会因为网络问题而导致速... 目录一、pip 工具简介1. 什么是 pip?2. 什么是 -i 参数?二、国内镜像源的选择三、如何

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

Linux使用nload监控网络流量的方法

《Linux使用nload监控网络流量的方法》Linux中的nload命令是一个用于实时监控网络流量的工具,它提供了传入和传出流量的可视化表示,帮助用户一目了然地了解网络活动,本文给大家介绍了Linu... 目录简介安装示例用法基础用法指定网络接口限制显示特定流量类型指定刷新率设置流量速率的显示单位监控多个

JavaScript中的reduce方法执行过程、使用场景及进阶用法

《JavaScript中的reduce方法执行过程、使用场景及进阶用法》:本文主要介绍JavaScript中的reduce方法执行过程、使用场景及进阶用法的相关资料,reduce是JavaScri... 目录1. 什么是reduce2. reduce语法2.1 语法2.2 参数说明3. reduce执行过程

如何使用Java实现请求deepseek

《如何使用Java实现请求deepseek》这篇文章主要为大家详细介绍了如何使用Java实现请求deepseek功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1.deepseek的api创建2.Java实现请求deepseek2.1 pom文件2.2 json转化文件2.2

python使用fastapi实现多语言国际化的操作指南

《python使用fastapi实现多语言国际化的操作指南》本文介绍了使用Python和FastAPI实现多语言国际化的操作指南,包括多语言架构技术栈、翻译管理、前端本地化、语言切换机制以及常见陷阱和... 目录多语言国际化实现指南项目多语言架构技术栈目录结构翻译工作流1. 翻译数据存储2. 翻译生成脚本

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

在 Spring Boot 中使用 @Autowired和 @Bean注解的示例详解

《在SpringBoot中使用@Autowired和@Bean注解的示例详解》本文通过一个示例演示了如何在SpringBoot中使用@Autowired和@Bean注解进行依赖注入和Bean... 目录在 Spring Boot 中使用 @Autowired 和 @Bean 注解示例背景1. 定义 Stud