haskell

0зной

1ответ

У меня есть следующий код, который берет список, проверяет, превышает ли значение каждого элемента значение avg, и это так, печатает val - avg. Я уже реализовал его с рекурсией, я хотел бы преобразова

2зной

1ответ

Разрешающие агенты имеют свое внутреннее состояние

Я пишу игру в Haskell, в которой игрок и AI совершают несколько действий по очереди. До сих пор ИИ работали, генерируя действия, используя всю информацию об игре, т. Е. Они были функциями формы GameHi

1зной

1ответ

В чем разница между конструкторами типов в Haskell и java generic типа?

Я читаю что-то о монаде без опыта в Haskell и путают с понятием конструктора типов. Монада это тройка (M, unitM, bindM), состоящий из типа конструктора M и пару полиморфных функций. unitM :: a -> M a

21зной

5ответ

Как сделать незаконные ценности непредсказуемыми?

Метод проектирования в функциональном программировании making illegal states unrepresentable. Я всегда вижу, что это выполняется с помощью структуры типов, но как насчет значения типов? Что делать, ес

3зной

1ответ

экземпляр `Show` для ядра GHC

Я пытаюсь работать с основными типами данных GHC. Я могу скомпилировать свой источник Haskell в ядро с типом Bind CoreBndr. Как мы знаем, экземпляр Show по умолчанию для этого типа данных отсутствуе

2зной

1ответ

Написание тестовых примеров в Haskell для разных типов

Я создал библиотеку, которая создает последовательности, подобные спискам, и из которых реализованы многие функции стиля Prelude. Я хочу написать несколько тестовых примеров для этого, чтобы моя библи

3зной

1ответ

Infer ограничения семейств типа с ограничениями аргументов

У меня есть куча сложных функций уровня типа, оценивающих на такие вещи, как: (If (EqNat n 2) 1 (If (EqNat n 1) 2 (If (EqNat n 0) 3 0))) Теперь, очевидно, в данном случае это выр