traversable

0зной

1ответ

отфильтрованный список декартовых продуктов без промежуточного списка

Я пытаюсь создать отфильтрованное декартово произведение из определенного списка списков. Наивное решение заключается в следующем: import Data.Traversable (sequence) predicate :: [T] -> Bool predic

3зной

1ответ

Traversable данных константы а б = константа а проходит Quickchecks, но действует смешно

Haskell книга хочет, чтобы реализовать проходимый экземпляр для newtype Constant a b = Constant { getConstant :: a } включая весь необходимый суперкласс. Приведенный ниже код передает Quickcheck/Che

1зной

4ответ

Как проверить, проходит ли объект или var в Javascript?

Как проверить объект или переменную в Javascript или jQuery? Объект или переменная, которая проходимую должны работает в для каждого как object.forEach() и $.each(object, callback) в JQuery. На самом

3зной

3ответ

Порядок исполнения с Haskell в `mapM`

Рассмотрим следующий Haskell заявление: mapM print ["1", "2", "3"] Действительно, это печатает "1", "2" и "3", в порядке. Вопрос: Как вы знаете, что mapM будет первый печать "1", а затем печать "2",

3зной

1ответ

Почему этот экземпляр Traversable для списка неверен?

В приведенном ниже коде не выполняется проверка шашек для прохождения. Я был бы признателен за объяснение, почему он терпит неудачу, а не только как это исправить. import Test.QuickCheck import Test.