Запитання з тегом «ghci»

Я намагаюся визначити будь-яку просту функцію, яка охоплює кілька рядків у ghci. Візьмемо наступний приклад: let abs n | n >= 0 = n | otherwise = -n Поки я намагався натиснути Enter після першого рядка: Prelude> let abs n | n >= 0 = n Prelude> | otherwise = …

161 haskell  ghci 

У мене виникають проблеми з введенням багаторядкових команд в ghci. Наступний дворядковий код працює з файлу: addTwo :: Int -> Int -> Int addTwo x y = x + y Але коли я входжу в ghci, я отримую помилку: <interactive>:1:1: error: Variable not in scope: addTwo :: Int -> Int …

135 haskell  ghci 

Я стикаюся з дивною поведінкою з відтворенням 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 

Я намагаюся включити XRankNTypesв GHCi. Як це зробити?

106 haskell  ghci  language-extension 

Я намагаюся зробити типи ghci для моїх бібліотек якомога інтуїтивнішими, але у мене виникають багато труднощів при використанні більш розширених функцій типу. Скажімо, у мене цей файл у файлі: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} import GHC.TypeLits data Container (xs::[*]) = Container Я завантажую …

93 haskell  types  ghci 

Як очистити екран терміналу після того, як користувач вибрав опцію в меню моєї програми?

93 haskell  terminal  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 . nub …

82 haskell  types  ghci  function-declaration 

Мені сказали, що ви можете інтерпретувати файли Haskell (що, я припускаю, означає, що вони будуть працювати як Ruby / Python / Perl). Однак я не можу знайти опцію командного рядка на GHC для цього. Він завжди хоче скомпілювати мій файл. Подивився на GHCi також, але це завжди скидає мене на …

76 haskell  ghc  ghci  interpreted-language 

Чому 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) …

12 haskell  floating-point  ghc  ghci 

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

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form