Результаты поиска по запросу "haskell"
Двусвязный список на чисто функциональном языке программирования
Как можно создавать двусвязные списки на чистом функциональном языке? То есть что-то вроде Хаскелла, где вы не в монаде, поэтому у вас нет мутации. Является ли это возможным? (Единственно связанный список, очевидно, довольно прост).
Тестирование в реактивном банане
Есть ли способ модульного тестирования сетей, созданных в реактивном банане? Скажем, я создал сеть с некоторыми входными событиями - можно ли проверить, что ...
используйте cabal2nix для создания локальной среды nix для пакетов, которых нет в nixpkgs
В настоящее время у меня есть веб-приложение Yesod, которое я разрабатываю для NixOS. Я использую
Доказательства уровня открытого типа в Haskell / Idris
В Idris / Haskell можно доказать свойства данных путем аннотирования типов и использования конструкторов GADT, например, с Vect, однако это требует жесткого ...
Способы упаковки (смежных) элементов списка в 2 кортежа
Мне было интересно, если будет краткий / однострочный способ сделать следующее:
Просмотр определения класса типов в ghci для определенного типа
Есть ли способ увидеть определение класса типов в ghci для определенного типа? Например,Maybe определяется так: instance Functor Maybe where fmap f (Just x) = Just (f x) fmap f Nothing = NothingМогу ли я увидеть это в GHCI? Когда я ...
Список на основе правого расширения Кан
В ``Кан расширения для оптимизации программы'' Ральфом Хинзе (Ralf Hinze) есть определение типа List, основанное на правом расширении Кана забывчивог...
Хорошее представление примитивных рекурсивных функций в haskell
Я спорил вответ на предыдущий вопрос что можно представить в Хаскелле союзпримитивно-рекурсивные функции (PRF) и одно дополнительное значение ⊥ или