ghci

3зной

2ответ

Неоднозначная переменная типа при программировании AI Solver в Haskell

Я программирую общий алгоритм ИИ в Haskell для курса планирования ИИ в Coursera и ghci, который жалуется на неоднозначную переменную типа. Вот код Haskell и ошибка, которую я получаю: -- Solver.hs {-

14зной

3ответ

Найти выводимый тип для локальной функции

Есть ли способ в ghci (или ghc), чтобы узнать, что такое предполагаемый тип локальной функции? Э.Г. если у меня есть функция f l = map f' l where f' = (+1) есть ли :t -как путь в GHCI, чтобы ув

2зной

3ответ

преобразовать выражение в строку, описывающую его тип в скрипте haskell?

Мы все знаем, что :t в ghci дает тип выражения: Prelude> :t [1..] [1..] :: (Enum t, Num t) => [t] Что мне нужно, это эквивалент :t в Haskell скрипта (я буду называть его typeStr): main = putStrLn $

17зной

2ответ

ошибка анализа haskell в шаблоне для диаграммы n + k

Я начал прокладывать себе путь через 13-part lectures Эрика Мейджера (и slides) Грэма Хаттона, чтобы узнать Хаскелл. На слайдах главы 4 на стр. 13 представлен синтаксис соответствия шаблону для шаблон

8зной

2ответ

Переполнение стека в GHCI при попытке отобразить номер

При попытке изучить Haskell я выполнил вычисление pi, чтобы правильно понимать функции и рекурсию. Использование Leibniz Formula для вычисления пи, я придумал следующее, который печатает пи допуска да