-
2 votesanswersviews
GADT与自定义数据类型的混淆？
我有以下自定义数据类型： data FirstPair' a b = FirstPair a b deriving (Show, Ord, Eq) type FirstPair a = FirstPair' a a data SecondPair' a b = SecondPair a b deriving (Show, Ord, Eq) type SecondPair a = SecondP... -
3 votesanswersviews
具有动态请求/响应类型的管道？
这似乎是一个合理的想法，但我希望'm having type troubles. I'能够发送一个选项列表到 Server ，它将选择一个并返回所选元素 . 所以像这样： module Toy where import Pipes asker :: Monad m => () -> Client ([a], a -> String) a m () asker () = do ...