Результаты поиска по запросу "haskell"
@ Axman6 Я не понимаю, почему ты считаешь Джона троллингом - в любом случае, эта тема была для меня интересной и познавательной книгой.
6 лет назад я провел сравнительный анализ своих собственных комбинаторов синтаксического анализа в OCaml и обнаружил, что они были примерно в 5 раз медленнее, чем предлагаемые генераторы синтаксических анализаторов в то время. Я недавно вернулся ...
можно обобщить:
сейчас у меня есть код, который по сути работает так: data Expression = Literal Bool | Variable String | Not Expression | Or Expression Expression | And Expression Expression deriving Eq simplify :: Expression -> Expression simplify (Literal b) ...
https://www.stackage.org/lts-9.0
GHC - - версия Система компиляции Glasious Glasgow Haskell, версия 7.10.3 Я хочу обновить до GHC 8. Как я могу сказать стек для обновления GHC?
Сравнивая систему типов Haskell с C #, ищем аналоги
Я довольно новый программист на Haskell. Я пытаюсь разобраться с его классами, данными, экземплярами и новым типом. Вот что я понял: data NewData = Constr1 Int Int | Constr2 String Floatпримерно так же, как (Java или C #): class NewData { ...
Сочетание лексера и парсера в комбинаторе парсера
я используюuu-parsinglib, но я думаю, что следующий вопрос является универсальным синтаксического анализатора. Давайте рассмотрим следующий пример: У меня есть лексер с комбинаторомpLex, который производит список токенов (типаMyToken). Теперь я ...
Не удается заставить Freeglut работать с Haskell в Windows
Вот мой исходный код, который я пытаюсь заставить работать: В Main.hs: import Graphics.Rendering.OpenGL import Graphics.UI.GLUT import Bindings import Data.IORef main = do (progname,_) <- getArgsAndInitialize createWindow "Hello World" ...
Смею сказать, что в большинстве случаев это все еще так.
tps://hackage.haskell.org/package/vector-0.12.0.1/docs/Data-Vector.html#v:modify Примените разрушительную операцию к вектору. Операция будет выполнена на месте, если это безопасно, и в противном случае будет изменена копия ...
преобразование из буквального натурального
периментирую с зависимыми типами в Haskell и обнаружил следующее вбумага [http://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf]пакета «синглтоны»: replicate2 :: forall n a. SingI n => a -> Vec a n replicate2 a = case (sing :: Sing n) of ...
типы для обработки разрушительных обновлений и безопасной манипуляции ресурсами.
ла я новичок в Haskell. Я прочитал это:Неизменяемые функциональные объекты в сильно изменяемой области [https://stackoverflow.com/questions/166379/immutable-functional-objects-in-highly-mutable-domain] И мой вопрос почти такой же - как эффективно ...
После того, как это исправить, кажется, все работает хорошо.
т, я пытаюсь восстановить двоичное дерево, я почти получил его, за исключением того, что он выдает ошибку, и я не знаю, почему buildTree :: (Ord a, Eq a) => [a] -> [a] -> Tree a buildTree [] [] = Empty buildTree preOrd inOrd = Node root left ...