Как заставить Haskell вычислить корректный полиморфный тип?

Question

Как заставить Haskell вычислить корректный полиморфный тип?

Самая легкая вещь состояла бы в том, чтобы отбросить Ваше соединение с помощью CurrPorts.

Однако, чтобы к модульному тесту Ваш код обработки исключений, возможно, необходимо рассмотреть абстракцию кода сетевого соединения и записать тупик, насмешку или декоратора, который выдает исключения по требованию. Вы тогда будете в состоянии протестировать логику обработки ошибок приложения, не имея необходимость на самом деле использовать сеть.

7

haskell functional-programming types polymorphism

задан Dario 1 December 2009 в 20:24

1 ответ

Другие вопросы по тегам:

haskell functional-programming types polymorphism

Похожие вопросы:

score 3 · Accepted Answer

{-# LANGUAGE Rank2Types #-}
on' :: (a -> a -> b) -> (forall d. c d -> a) -> c e -> c f -> b
on' f g x y = f (g x) (g y)

Это приводит к

Prelude> :t on' (==)
on' (==) :: (Eq a) => (forall d. c d -> a) -> c e -> c f -> Bool
Prelude> :t on' (==) length
on' (==) length :: [e] -> [f] -> Bool

С другой стороны, эта подпись также делает переключение на 'id незаконным, что несколько менее желательно.

{-# LANGUAGE TemplateHaskell #-}
import Language.Haskell.TH
onE f g = do
    x <- newName "x"
    y <- newName "y"
    lamE [varP x, varP y] $ f `appE` (g `appE` varE x) `appE` (g `appE` varE y)

Prelude> :set -XTemplateHaskell
Prelude> $(onE [|(==)|] [|length|]) [1,2,3] ["a","b","c"]
True
Prelude> $(onE [|(==)|] [|id|]) 4 5
False