В Haskell существует ли способ ограничить монаду M a, чтобы a удовлетворял ограничениям типа типа?
Я переводя пример вероятностного моделирования из F # to Haskell. Однако в Haskell я опустил support, потому что он изменил бы data Distribution a на data (Ord a) => Distribution a. С этим изменением я получаю следующую ошибку:
...probabilisticModeling.hs:42:13:
Could not deduce (Ord a) from the context ()
arising from a use of `always'
at ...probabilisticModeling.hs:42:13-18
Possible fix:
add (Ord a) to the context of the type signature for `return'
In the expression: always
In the definition of `return': return = always
In the instance declaration for `Monad Distribution'
Действительно, тип always/return: (Ord a) => a -> Distribution a. Есть ли способ, которым у меня может быть монада Distribution, но принудительное ограничение (Ord a) на этой монаде? Я пробовал:
instance Monad Distribution where
(>>=) = bind
return :: (Ord a) => a -> Distribution a = always
Но я получаю ошибку:
...probabilisticModeling2.hs:48:4:
Pattern bindings (except simple variables) not allowed in instance declarations
return :: (Ord a) => a -> Distribution a = always
Failed, modules loaded: none.
Итак, это способ иметь монаду M a, но ограничивать a с помощью ограничения, такого как Ord a?
Спасибо.
Мое понимание этого состоит в том, что вы просто не можете, потому что монада предназначена для обобщения по всем типам, а не для некоторого ограниченного подмножества таких типов, как (Ord a).
Вместо ограничения монадического типа M a вы можете просто ограничить функции, которые используют этот монадический тип, например,
foo :: Ord a => Int -> M a
На самом деле предпочтительнее сохранять типы как можно более общие и использовать классы типов только для ограничения функций.
и др.
Похоже, я столкнулся с известной проблемой в Haskell. я нашел много обходных решений googling для "ограниченных монад" . Эти решения кажутся наименее разрушительными. Тем не менее, для моих целей это кажется излишним. Я думаю, что я сохраню общий монад Distribution и упрощу поддержку с помощью ограниченной функции, как это было предложено Revolucent.
Отъезд Библиотека Martin Erwig, PFP:
Библиотека PFP представляет собой набор модулей для Haskell, который облегчает вероятностное функциональное программирование, то есть программирование со стохастическими значениями. Вероятностный подход к функциональному программированию основан на типе данных для представления распределений. Распределение представляет собой результат вероятностного события как совокупность всех возможных значений, помеченных их вероятностью.