低级函数式编程语言

koolcoy

就像高级语言中的C一样，能进行位操作，能直接进行内存操作等其它低级操作。有没有人知道这么种编程语言，大众一些的？

KanonInD

对于Haskell而言：

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

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

1. 
   
2. import Foreign.Marshal.Alloc
   
3. import Foreign.Ptr
   
4. import Foreign.Storable
   
5. import Control.Monad
   
6. 
   
7. main = do
   
8.   arrInt <- mallocBytes 40
   
9.   forM_ [0..9] $ \i -> pokeElemOff arrInt i (i::Int)
   
10.   forM_ [0..9] $ \i -> peekElemOff arrInt i >>= print
    
11.   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

oooooxxxxx

命令式语言的低级是直接面对内存，而函数式的低级应该是直接面对lambda演算。

koolcoy

回复 2# KanonInD

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

koolcoy

回复 3# oooooxxxxx

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

幻の上帝

回复 3# oooooxxxxx


    组合子逻辑……

KanonInD

koolcoy 发表于 2012-04-16 09:12
回复 2# KanonInD

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

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

oooooxxxxx

koolcoy 发表于 2012-04-16 09:15
回复 3# oooooxxxxx

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

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

KanonInD

1. 
   
2. calc :: Int -> Int -> Int -> Int
   
3. calc a b c  = a-c + b*a-10*a

复制代码

用Int而不是Integer, 上述代码是可以被ghc编译成:

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

复制代码

tangboyun

1、Integer在Haskell,或者说大部分编程语言里，都是调用gmp库的。感兴趣的可以去搜gmp的实现。
2、就目前看来，如果对底层实现感兴趣的话，函数编程里最值得研究的也是Haskell，Haskell可以曝露“足够的底层细节”给程序员，比如说Core。有兴趣的可以研究下ghc-core。Haskel里也可以直接操作不受GC控制的裸内存的，不过主要是用来实现FFI的。