Описание тега ghci
GHCi - это интерактивная среда (REPL) для компилятора Glasgow Haskell.
3
ответа
ghci segfault с простой математикой
Кто-нибудь может мне это объяснить? Я использую последнюю версию GHC. Prelude> let f x = 1/((x**2)-36) Prelude> f (0 - 6.5) 0.16 Prelude> f (0 - 5.999) -Segmentation fault Prelude> f (0 - 5) -Segmentation fault Спасибо! Изменить: GHCi ве…
12 май '11 в 16:31
1
ответ
ghci: возобновить прерванную задачу
В репозитории emacs у меня работает ghci. если я нажму Cc Cc, это прерывает некоторые forever И говорит λ> server1 Listening on port 4444Accepted connection from localhost: 57441 Accepted connection from localhost: 57444 Accepted connection from …
01 апр '16 в 14:56
1
ответ
Haskell делает синтаксис и ввод / вывод
Я играл с простой программой на Haskell: hello :: String -> String hello s = "Hello, " ++ (trim s) ++ "!\n" trim :: String -> String trim [] = [] trim s = head $ words s main :: IO() main = do putStr "\nPlease enter your name: " name <- get…
03 июн '11 в 02:55
1
ответ
Не удалось установить Cabal-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 10 lines of the build log ( /home/yonutix/.cabal/logs/Cab…
30 ноя '14 в 17:10
2
ответа
Странное поведение компилятора GHCi Haskell
В тесте меня просят вывести тип: let pr = map head.group.sortBy(flip compare) Я сам сделал вывод, что тип был: Ord a => [a] -> [a] Однако при выполнении :t в GHCi он говорит, что тип: pr :: [()] -> [()] Что здесь происходит? Также если в GH…
09 май '14 в 03:50
1
ответ
Почему GHCi вводит это утверждение странным образом?
Отвечая на вопрос о stackru, я заметил, что GHCi (интерактивный) назначает слишком ограничительный тип в операторе let. А именно, учитывая код, import Control.Arrow f = maximum &&& id >>> fst &&& (\(m,l) -> length…
08 июн '11 в 18:48
2
ответа
Почему тип Maybe переносит свое значение в списке?
Я прохожу через Learnyouahaskell, отличную книгу, и я в главе о типах классов. Вот вопрос. В GHCi когда я вхожу fmap (++ "String to be appended to") ("I am a basic string, not a type constructor") Я получаю ошибку Couldn't match type ‘Char’ with ‘[C…
16 июл '15 в 21:07
1
ответ
Странное поведение GHCI после импорта Gnuplot
Недавно я попробовал один простой пример построения графиков с использованием оболочки Haskell для Gnuplot, используя этот пример на Ubuntu. Он работает нормально, но после того, как я закрываю графическое окно и набираю что-нибудь в GHCI-терминале,…
31 дек '13 в 20:26
1
ответ
Почему ghci ведет себя по-разному для запуска Хаскелла?
Моя цель - сделать несколько шагов для ghci запустить из bash-скрипта, а затем завершить работу чисто. Комментарий онлайн говорит, чтобы использовать runhaskell за это. Это команда, которую я пытаюсь выполнить: ghci> import System.Random ghci>…
09 дек '17 в 00:05
1
ответ
Двоичные числа с Haskell
Я знаю, что можно с Haskell передавать значения в восьмеричном с 0o777 и шестнадцатеричный с 0x1FF но: Можно ли передать значение в двоичном с Haskell?
17 дек '15 в 19:09
1
ответ
Запретить функцию от печати на экран
В настоящее время я использую GHCI для измерения времени выполнения нескольких функций. Поскольку эти функции производят довольно длинный вывод, который меня не интересует, мне было интересно, есть ли способ предотвратить вывод таких выводов на экра…
02 мар '14 в 01:24
2
ответа
Ошибка разбора лямбда-выражения на ")"
Моя задача состоит в том, чтобы повторно реализовать эту функцию divn :: Integer -> [Integer] -> [Integer] divn _ [] = [] divn n (x:xs) | mod x n == 0 = x : divn n xs | otherwise = divn n xs используя 'foldr'. Что я сделал: divn' _ [] = [] div…
14 июл '12 в 13:23
1
ответ
Не могу использовать -interactive-print для печати меток времени после каждой строки в ghci
Я пытаюсь напечатать текущее время после каждой строки, оцененной в ghci, Вот мой код до сих пор: module TimePrint (timePrint) where import System.IO import Data.Time getTime :: IO String getTime = do now <- getCurrentTime return (formatTime defa…
02 июн '16 в 22:43
1
ответ
Не удалось найти тип Integer в Haskell
В упражнении, которое я делаю для курса функционального программирования, меня просят найти самый низкий x, для которого x mod a = b, получив серию пар (a, b), В случае, когда мне дают три пары (кортежи), я использую следующий код: solveModularEq ::…
25 сен '18 в 00:11
4
ответа
Префиксная форма унарного оператора в Haskell
В GHCi: Прелюдия> (+3) 2 5 Прелюдия> (* 3) 2 6 Прелюдия> (/ 3) 2 0,6666666666666666 Прелюдия> (-3) 2 Нет экземпляра для (Num (t -> t1)) вытекающие из буквального 3' at <interactive>:1:2 Possible fix: add an instance declaration for (Num (t -&g…
04 авг '10 в 14:05
1
ответ
Получить сроки в GHCi
У меня относительно медленная процедура (метко названная медленная), и я хотел бы сделать что-то вроде time $ slow [1,2,3,4,5] в консоли (REPL), чтобы получить время, вместо того, чтобы компилировать программу и затем запускать время. Можно ли это с…
26 апр '12 в 22:19
1
ответ
Отладка ввода-вывода в модуле пакета внутри GHCi
Я делаю IO низкого уровня (для связывания библиотек) в Haskell и испытываю segfault. Я хотел бы использовать GHCi :break, чтобы понять, что происходит, но вот что происходит: > import SDL > :break SDL.setPaletteColors cannot set breakpoint on …
17 фев '15 в 20:18
2
ответа
Ручной вывод типа для `f1 x xs = (filter . (<)) X xs`
Я хочу вручную получить тип: f1 x xs = (filter . (<)) x xs Первый раз мы видим x, так: x :: t1 затем (<) имеет этот тип: (<) :: Ord a1 => a1 -> a1 -> Bool Мы можем только сказать (< x) если следующие типы могут быть объединены: …
27 апр '14 в 18:37
1
ответ
Может ли GHCi выполнять подстановки в командах `: type <expr>`?
GHCi имеет :type <expr> чтобы показать тип выражения: Prelude> :t (<*>) (<*>) :: Applicative f => f (a -> b) -> f a -> f b Может ли GHCi показать результат после подстановки любой из переменных типа? Например, пусть …
20 дек '18 в 15:47
2
ответа
Какой тип выбран для полиморфного выражения при печати?
Какой тип return "abc" когда напечатано в ghci? Суть вопроса в том, что в монаде она полиморфна: ghci> :t return "abc" return "abc" :: (Monad m) => m [Char] и то, что печатается, зависит от того, какая монада выбрана: ghci> return "abc" :: …
13 авг '12 в 16:22