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

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

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

1
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: Если я оставлю либо для каталога cabal, либо для текущего каталога значение по …
124 haskell  emacs  cabal  ghci 


3
Почему ghci desugar использует списки типов и семейства типов? Можно ли это выборочно отключить?
Я пытаюсь сделать типы, отображаемые ghci для моих библиотек, максимально интуитивно понятными, но я сталкиваюсь с множеством трудностей при использовании более продвинутых функций типов. Допустим, у меня есть этот код в файле: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} import GHC.TypeLits data Container (xs::[*]) = …
93 haskell  types  ghci 


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

1
Странное поведение (^) в 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 -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) …

1
Haskells Weak Head Нормальная форма
Я наткнулся на некоторые раздражающие вещи. Я знаю, что haskell работает со слабой головой нормальной формы (WHNF), и я знаю, что это такое. Введите следующий код в ghci (я использую команду: sprint, которая, насколько мне известно, сокращает выражение до WHNF): let intlist = [[1,2],[2,3]] :sprint intlist дает intlist = _это …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.