Haskell调用C语言函数的问题

windy0will

比如我用C语言写个函数

1. /* mydata.c */
   
2. MyData *
   
3. mydata_new (unsigned long x)
   
4. {
   
5.   MyData *p = (MyData*) malloc (sizeof(MyData));
   
6.   /* ... */
   
7.   return p;
   
8. }

复制代码

然后用haskell调用上面的那个函数

1. -- Foo.hs
   
2. type MyData = Ptr CChar
   
3. 
   
4. foreign import ccall "mydata.h mydata_new"
   
5.      c_mydata_new :: CULong -> MyData
   
6. mydata_new :: Integer -> IO MyData
   
7. mydata_new x = return $ c_mydata_new (fromInteger x)
   
8. 
   
9. foo3 = mydata_new 1
   
10. foo2 = seq foo3 foo3
    
11. foo  =  seq foo2 foo2
    

复制代码

可是，每次使用foo的时候，得到的结果都不一样。
我想用 mydata_new 函数得到一个地址，然后供后面的代码使用。也就是只让foo求一次值，这应该怎么才能实现？

tangboyun

函数签名就错的很离谱，下面的就不想再多说了。。。
foreign import ccall "mydata.h mydata_new"
     c_mydata_new :: CULong -> MyData

有些c函数内联的时候可以省掉 IO，是因为它们可以保证每次调用结果都一致
你这个 结果必须是 IO MyData 。所以你的所有运算必须放在IO Monad里。可以用let bind一次结果，可以避免多次调用c的。另用c用指针的方式，在Haskell里也这么写，胡乱去peek，也是很离谱的，别人一看就认为是个c过来的菜鸟。。。最好把c对象的指针看作个 opaque object。

windy0will

谢谢了，现在已经想明白了。
haskell确实学得很菜，一直没用来写过东西。前段时间感觉有一点点明白monad,所以就想用ghci来调试C语言代码，当时遇到了很多问题。