免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
12下一页
最近访问板块 发新帖
查看: 47971 | 回复: 15

低级函数式编程语言 [复制链接]

论坛徽章:
1
2015年迎新春徽章
日期:2015-03-04 09:49:45
发表于 2012-04-12 11:16 |显示全部楼层
就像高级语言中的C一样,能进行位操作,能直接进行内存操作等其它低级操作。有没有人知道这么种编程语言,大众一些的?

论坛徽章:
0
发表于 2012-04-12 15:54 |显示全部楼层
本帖最后由 KanonInD 于 2012-04-12 17:52 编辑

对于Haskell而言:

1. 位操作由Data.Bits模块提供。

2. 可以这样动态内存分配:

  1. import Foreign.Marshal.Alloc
  2. import Foreign.Ptr
  3. import Foreign.Storable
  4. import Control.Monad

  5. main = do
  6.   arrInt <- mallocBytes 40
  7.   forM_ [0..9] $ \i -> pokeElemOff arrInt i (i::Int)
  8.   forM_ [0..9] $ \i -> peekElemOff arrInt i >>= print
  9.   free arrInt
复制代码
http://www.haskell.org/ghc/docs/latest/html/libraries/base/Foreign-Marshal-Alloc.html
http://www.haskell.org/ghc/docs/ ... ble.html#t:Storable
http://www.haskell.org/ghc/docs/ ... se/Foreign-Ptr.html

Data.ByteString.Internal 支持memcpy和memset,
Foreign.Marshal.Utils 支持相应的memcpy和memmove操作。
http://hackage.haskell.org/packa ... tring-Internal.html
http://www.haskell.org/ghc/docs/ ... -Marshal-Utils.html

3. ioctl: http://hackage.haskell.org/package/ioctl

论坛徽章:
0
发表于 2012-04-16 03:36 |显示全部楼层
命令式语言的低级是直接面对内存,而函数式的低级应该是直接面对lambda演算。

论坛徽章:
1
2015年迎新春徽章
日期:2015-03-04 09:49:45
发表于 2012-04-16 09:12 |显示全部楼层
回复 2# KanonInD

不是内存分配和bits的问题。以Integer为例,在Haskell中我不知到Integer具体是怎么表示的,也没法从底层上操作一个Integer,而C语言中的int就完全不一样。
   

论坛徽章:
1
2015年迎新春徽章
日期:2015-03-04 09:49:45
发表于 2012-04-16 09:15 |显示全部楼层
回复 3# oooooxxxxx

我说的低级是指更接近计算机底层架构,这个跟命令式还是函数式没关系。
   

论坛徽章:
0
发表于 2012-04-16 10:04 |显示全部楼层
回复 3# oooooxxxxx


    组合子逻辑……

论坛徽章:
0
发表于 2012-04-16 11:51 |显示全部楼层
koolcoy 发表于 2012-04-16 09:12
回复 2# KanonInD

不是内存分配和bits的问题。以Integer为例,在Haskell中我不知到Integer具体是怎么表 ...

Integer和Int是两种类型,如果希望最终生成的代码用的是raw machine Int#, 就要用Int。

论坛徽章:
0
发表于 2012-04-16 13:12 |显示全部楼层
koolcoy 发表于 2012-04-16 09:15
回复 3# oooooxxxxx

我说的低级是指更接近计算机底层架构,这个跟命令式还是函数式没关系。

接近底层架构就意味着命令式,因为现在常见cpu就是命令式模型。就算你在函数语言中实现了int,char这些数据类型也一样不是接近底层而是模拟底层。

论坛徽章:
0
发表于 2012-04-16 14:52 |显示全部楼层
本帖最后由 KanonInD 于 2012-04-16 14:54 编辑

  1. calc :: Int -> Int -> Int -> Int
  2. calc a b c  = a-c + b*a-10*a
复制代码
用Int而不是Integer, 上述代码是可以被ghc编译成:

  1. movl 8(%ebp),%eax
  2. imull $10,%eax
  3. movl 3(%esi),%ecx
  4. imull 8(%ebp),%ecx
  5. subl 4(%ebp),%ecx
  6. subl %eax,%ecx
  7. movl 8(%ebp),%eax
  8. addl %ecx,%eax
复制代码

论坛徽章:
0
发表于 2012-04-20 08:47 |显示全部楼层
1、Integer在Haskell,或者说大部分编程语言里,都是调用gmp库的。感兴趣的可以去搜gmp的实现。
2、就目前看来,如果对底层实现感兴趣的话,函数编程里最值得研究的也是Haskell,Haskell可以曝露“足够的底层细节”给程序员,比如说Core。有兴趣的可以研究下ghc-core。Haskel里也可以直接操作不受GC控制的裸内存的,不过主要是用来实现FFI的。
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP