代码之家 › 专栏 › 技术社区 › JeanJouX

如何为递归类型创建可存储实例?

storable ffi binding haskell c

JeanJouX · 技术社区 · 7 年前

data MyType a =
        TypeDouble Double
      | TypeLst [a] 
      | TypeAdd (MyType a) (MyType a)

sizeOf 功能:

instance Storable a => Storable (MyType a)  where
  sizeOf (TypeDouble _) = sizeOf (0 :: Double)
  sizeOf (TypeLst lst)  = sum $ map sizeOf lst
  sizeOf (TypeAdd a b)  = sizeOf a + sizeOf b

peek 和 poke 功能。我认为实现这些功能的方式与 this answer

正确的实施方法是什么 窥视 和

1 回复 | 直到 7 年前

HTNW 7 年前

你不能有一个 Storable struct s、此外,请注意 sizeof sizeof (undefined::Int) . 也许看看 Foreign.Marshal.Array

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

3 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

3 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

3 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

3 年前

Fabus1184 · Haskell mapM_不打印

3 年前

Gotthold · 基于范数约束向量的类型

3 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

3 年前

jian · haskell将另一个函数用作输入参数

3 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前