小编hai*_*hum的帖子

Haskell多态解构

我开始使用Juicy Pixels库并且解构时遇到一些问题.

有类型:

data DynamicImage =
    ImageY8   (Image Pixel8)
    | ImageYA8  (Image PixelYA8)
    | ImageRGB8 (Image PixelRGB8)
    | ImageRGBA8 (Image PixelRGBA8) 
    | ImageYCbCr8 (Image PixelYCbCr8)
Run Code Online (Sandbox Code Playgroud)

Pixel*是Pixel类的实例

有一些函数可以使用Image一个类型,我希望从DynamicImage中提取Image a,但我不能

当我尝试做类似的事情

img :: (Pixel a) => DynamicImage -> Image a
img (ImageY8 i) = i
img (ImageYA8 i) = i  
img (ImageRGB8 i) = i
img (ImageRGBA8 i) = i  
img (ImageYCbCr8 i) = i
Run Code Online (Sandbox Code Playgroud)

口译员会发生类似的错误

Couldn't match type `PixelYCbCr8' with `GHC.Word.Word8' …
Run Code Online (Sandbox Code Playgroud)

polymorphism haskell types

4
推荐指数
1
解决办法
245
查看次数

Erlang JSON API数据生命周期

在JSON API中使用Erlang的最佳实践是什么?我的意思是你如何处理JSON - 逻辑 - 数据库 - 逻辑 - JSON生命周期.您在Erlang应用程序中使用了哪些数据结构,工具和技术?

api erlang json

3
推荐指数
2
解决办法
2366
查看次数

标签 统计

api ×1

erlang ×1

haskell ×1

json ×1

polymorphism ×1

types ×1