ghci

14зной

1ответ

Приоритет оператора типа Haskell

Когда включено расширение языка TypeOperators, можно определить операторы собственного типа. Кроме того, можно установить относительный приоритет infix*. Но каково, например, приоритет (->)? > :i (->)

haskell operators ghci operator-precedence 2014-11-24

---

1зной

3ответ

Haskell - реализация логических выражений первого порядка

Я пытаюсь реализовать FOL с использованием Haskell. Логика первого порядка может быть в виде предложений, связанных вместе с связями типа А и Ор. Также есть кванторы, которые имеют ограниченный объем

haskell ghci first-order-logic 2014-11-25

---

2зной

1ответ

Сравнение различных типов в Haskell

Я пытаюсь проверить равенство в приложении Haskell, который принимает в качестве хз типа [а], а так: myCompare :: Int -> Int -> [a] -> Int myCompare pointer x xs = if pointer < length xs th

haskell ghci 2014-11-27

---

3зной

1ответ

Не удалось установить Кабал-1.20.0.2

Я получаю эту ошибку, когда я пытаюсь установить Cabal-1.20.0.2: $ cabal install Cabal-1.20.0.2.tar.gz Resolving dependencies... Configuring Cabal-1.20.0.2... Failed to install Cabal-1.20.0.2 Last

haskell cabal ghci 2014-11-30

---

0зной

2ответ

Haskell - уплощение Объекты списков

Я имею дело с логикой порядка предложений выражения первым в качестве объектов: data Prop = Atom String | Var String | Pred String [Prop] | Not Prop | And [Prop] | Or [Pr

object haskell ghci flatten 2014-12-04

---

4зной

2ответ

Исполнительные Haskell выражения в GHCI

Я пробуя Haskell с помощью узнать, что Вы в Haskell и интерактивную онлайн среду Try Haskell я заметил, что переводчик на странице дает мне странные ошибки, когда я пытаюсь определить то или когда Я и

haskell ghci 2014-12-04

---