Вопросы с тегом «ghci»

161
Как определить функцию в ghci через несколько строк?

Я пытаюсь определить любую простую функцию, которая занимает несколько строк в GHCI, взять в качестве примера следующее: let abs n | n >= 0 = n | otherwise = -n До сих пор я пытался нажать Enter после первой строки: Prelude> let abs n | n >= 0 = n Prelude> | otherwise = -n...

135
Многострочные команды в GHCi

У меня проблема с вводом многострочных команд в ghci. Следующий двухстрочный код работает с файлом: addTwo :: Int -> Int -> Int addTwo x y = x + y Но когда вхожу в ghci, появляется ошибка: <interactive>:1:1: error: Variable not in scope: addTwo :: Int -> Int -> Int Я также...

124
Emacs Interactive-Haskell отвечает на отсутствие ответа, если кабала или рабочий каталог установлен на каталог проекта

Я столкнулся со странным поведением с ответом Interactive-Haskell emacs. Когда я загружаю файл, emacsмини-буфер показывает серию интерактивных запросов: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set current directory: Если я...

93
Почему ghci desugar использует списки типов и семейства типов? Можно ли это выборочно отключить?

Я пытаюсь сделать типы, отображаемые ghci для моих библиотек, максимально интуитивно понятными, но я сталкиваюсь с множеством трудностей при использовании более продвинутых функций типов. Допустим, у меня есть этот код в файле: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE...

82
Как предоставить явное объявление типа для функций при использовании GHCi?

Как определить эквивалент этой функции (взятый из Learnyouahaskell ) внутри GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Без объявления типа GHCi принимает определение функции, но в конечном итоге получает бесполезный тип: Prelude Data.List> import...

12
Странное поведение (^) в Haskell

Почему GHCi дает неправильный ответ ниже? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ОБНОВЛЕНИЕ Я бы реализовал функцию Haskell (^) следующим образом. powerXY :: Double...

9
Haskells Weak Head Нормальная форма

Я наткнулся на некоторые раздражающие вещи. Я знаю, что haskell работает со слабой головой нормальной формы (WHNF), и я знаю, что это такое. Введите следующий код в ghci (я использую команду: sprint, которая, насколько мне известно, сокращает выражение до WHNF): let intlist = [[1,2],[2,3]] :sprint...