Ограничение монады к классу типа
3 ответа
Мое понимание этого - то, что Вы просто не можете, потому что монада предназначена, чтобы быть обобщенной по всем типам, не некоторому ограниченному подмножеству типов такой как (Ord a).
Вместо того, чтобы ограничить одноместный тип M a, можно просто ограничить функции, которые используют тот одноместный тип, например,
foo :: Ord a => Int -> M a
На самом деле, желательно сохранять типы максимально общими и классы типа использования только для ограничения функций.
и т.д.
Кажется, что я столкнулся с известной проблемой в Haskell. Я нашел много обходных решений поиск с помощью Google для "ограниченных монад" . Это решения , кажется, наименее разрушительно. Однако, в моих целях это кажется излишеством. Я думаю, что сохраню Distribution монада общим, и упрощу поддержку через ограниченную функцию, как предложено Revolucent.
Выезд библиотека Martin Erwig, PFP:
библиотека PFP является набором модулей для Haskell, который упрощает вероятностное функциональное программирование, то есть, программируя со стохастическими значениями. Вероятностный подход функционального программирования основан на типе данных для представления дистрибутивов. Распределение представляет результат вероятностного события как набор всех возможных значений, отмеченных с их вероятностью.