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

(Сподіваюся, це запитання є тематичним - я намагався знайти відповідь, але не знайшов остаточної відповіді. Якщо це трапляється поза темою або на нього вже відповіли, будь ласка, модеруйте / видаліть його.) Я пам’ятаю, що кілька разів чув / читав напівжартома коментар про те, що Хаскелл є найкращою імперативною мовою , …

83 haskell  imperative-programming 

Цікаво, чи є якийсь спосіб змусити Haskell працювати на JVM (скомпільований чи інтерпретований)? Існує JHaskell на Sourceforge, але цей, здається, порожній і мертвий. GHC використовує LLVM як бекенд компілятора. Це була б гарна ідея чи можливість скомпілювати LLVM до байт-коду Java? Або, можливо, використовувати інший інтерфейс компілятора?

83 haskell  jvm  jvm-languages  frege 

У яких ситуаціях слід liftIOвикористовувати? Коли я використовую ErrorT String IO, liftфункція працює, щоб підняти дії вводу- виводу ErrorT, тому liftIOздається зайвою.

83 haskell  monad-transformers 

Загальновідомо, що аплікативні функтори закриті під композицією, але монади - ні. Однак у мене були проблеми з конкретним контраприкладом, який показує, що монади складаються не завжди. Ця відповідь наводить [String -> a]як приклад немонади. Трохи погравши з цим, я вірю в це інтуїтивно, але ця відповідь просто говорить: "приєднання не …

82 haskell  monads  composition  proof 

Як визначити еквівалент цієї функції (взятої з 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 та функціональне програмування (особливо в блозі sigfpe ), але я не маю уявлення про те, що це означає. Я в більшості випадків виходжу з того, що не знаю цього, але, мабуть, я б набагато краще розумів тексти, якби знав. Google мені …

82 haskell  functional-programming  metaprogramming  terminology  reification 

Happstack Lite ломить мене, тому що він отримує blaze-html версію 0.5 і хоче версію 0.4. Кабал каже, що встановлені обидві версії 0.4.3.4 та 0.5.0.0. Я хочу видалити 0.5.0.0 і використовувати лише стару версію. Але у cabal немає команди "видалити", і коли я намагаюся ghc-pkg unregister --force blaze-html, ghc-pkgкаже, що моя …

82 haskell  ghc  cabal 

Я новачок у Haskell і стикаюся з помилкою "неможливо побудувати нескінченний тип", яку я не можу зрозуміти. Насправді, крім цього, я не зміг знайти хорошого пояснення того, що ця помилка навіть означає, тому, якщо ви могли б вийти за рамки мого основного запитання та пояснити помилку "нескінченний тип", я б …

82 haskell  types  type-inference 

Як вказує назва заголовка, я хочу знати, що таке поліморфізм Левіті і яка його мотивація? Я знаю, що на цій сторінці є деякі подробиці, але більшість пояснень там викладаються вгорі. :) Незважаючи на те, що ця сторінка дещо привітніша, я все ще не можу зрозуміти мотивацію, яка стоїть за нею.

81 haskell 

Я хочу зробити щось у Haskell, що виглядає так: main1 = do s <- getLine if s == "foo" then putStr "You entered foo" Очевидно, що це не є законним, оскільки немає else. Я думав про одну альтернативу: nop :: IO () nop = sequence_ [] main2 = do s …

81 haskell  syntax  io 

Враховуючи будь-який тип контейнера, ми можемо сформувати блискавку (орієнтовану на елементи) і знати, що ця структура є комонадою. Це нещодавно було детально досліджено в іншому запитанні щодо переповнення стеку для наступного типу: data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving Functor на наступній блискавці …

80 haskell  zipper  deriving  comonad 

В даний час це питання не підходить для нашого формату запитань та відповідей. Ми очікуємо, що відповіді будуть підтверджені фактами, посиланнями чи експертизою, але це питання, швидше за все, вимагатиме дебатів, аргументів, опитування чи розширеного обговорення. Якщо ви вважаєте, що це питання можна покращити і, можливо, знову відкрити, відвідайте довідковий …

80 haskell 

Хтось може пояснити мені функціональні лінзи? Це напрочуд важка тема для гуглу, і я не просунувся. Мені відомо лише те, що вони надають подібну функціональність get / set, ніж у OO.

80 haskell  functional-programming  lenses 

Хоча загальна думка спільноти Haskell така, що завжди краще використовувати Textзамість цього String, той факт, що все-таки API більшості підтримуваних бібліотек Stringорієнтований, мене бентежить. З іншого боку, є помітні проекти , які Stringвзагалі розглядаються як помилки і забезпечують Preludeусі екземпляри String-орієнтованих функцій, замінених на Text-подібні. Тож чи існують причини для …

80 string  haskell  text 

Мені потрібна функція, яка отримує два Ints ( aі b) і повертається A/Bяк Int. Я впевнений, що A/Bце завжди буде цілим числом. Ось моє рішення: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b in truncate (x / y) …

79 haskell  int