Публикации по теме 'haskell'
Анонс Eta v0.7.2
Команда Eta рада анонсировать новую версию Eta - v0.7.2.
Если вы не устанавливали раньше, теперь вы можете установить Eta, используя свой любимый метод установки :
Градл Etlas (инструмент сборки, совместимый с Cabal для Eta) "Источник" Докер Никс
Если у вас установлена предыдущая версия Eta через Etlas, получить Eta v0.7.2 так же просто, как выполнить следующие etlas команды:
$ etlas update
$ etlas select latest
Улучшения синтаксиса в типе оболочки Java..
Вопросы по теме 'haskell'
Ошибка отношений Haskell — синтаксическая ошибка в объявлении (неожиданный `;', возможно, из-за неправильного макета)
Я новичок в Haskell, и я не совсем понимаю эту ошибку, когда я загружаю файловые объятия, выводит следующее «Синтаксическая ошибка в объявлении (неожиданный `;', возможно, из-за плохой компоновки)» в строке «проверить s1 s2 ((x,y):xs)". Я нахожу это...
5699 просмотров
schedule
21.10.2023
Haskell, как анализировать данные о загрузке файлов/составных формах с помощью Hack?
Я создаю простое приложение Hack2 и могу читать данные тела с помощью:
directory :: Application
directory env = do
body <- input_bytestring env
...
Я пытаюсь переключить свою форму, чтобы использовать загрузку файлов
<form...
561 просмотров
schedule
20.12.2023
Haskell: кодировка URL для данных поста
Я просматривал Network.HTTP , но не могу найти способ создать правильно закодированные в URL пары ключ/значение.
Как я могу сгенерировать данные сообщения, необходимые, например, из списка пар [(key, value)] ? Я предполагаю, что что-то...
1999 просмотров
schedule
05.11.2023
Полиморфная функция внутри семейства типов
Я пытаюсь определить функцию внутри семейства типов, которая полиморфна фантомному типу самого GADT, определенного в семействе типов.
Мое определение семейства типов выглядит следующим образом:
class Channel t where
data Elem t a :: *...
194 просмотров
schedule
20.12.2023
Определение оператора для доступа к многомерному массиву
У меня возникла идея определить оператор, который принимает (возможно) многомерный список и список индексов и возвращает элемент. Моя прото попытка была:
(!!!) xs [i] = xs !! i
(!!!) xs (cI : restI) = (xs !! cI) !!! restI...
697 просмотров
schedule
13.11.2023
Haskell - карта функций, которые используют одну и ту же карту
В настоящее время я пишу язык программирования на Haskell. Этот язык программирования похож на Factor, являясь языком конкатенативного стека. Однако, забравшись довольно далеко, я наткнулся на кирпичную стену: у меня есть Data.Map типа:
Map.Map...
308 просмотров
schedule
09.12.2023
Зацикливание монад списка Haskell
У меня есть понимание списка, которое выглядит так:
cross ps = [ p* pp * ppp | p <- ps, pp <- ps, ppp <- ps, p >= pp , pp >= ppp ]
Как мне добиться этого, используя монады, не вводя буквально имена списков?
dim ps n = do...
324 просмотров
schedule
27.10.2023
Понимание того, как создавать GHC.Generics Rep и преобразовывать обратно в значения
Я пытаюсь узнать, как использовать GHC.Generics . Интересная тема, но пугающая.
Читая запись в блоге 24 Days of GHC Extensions: DeriveGeneric , я научился принимать значение и перемещаться по его Rep . Хорошо.
Однако, читая запись в...
188 просмотров
schedule
08.10.2023
Может быть, вы не применили достаточно аргументов к функции?
Я изучаю Haskell на курсе в университете, и есть экзамен-упражнение, где нам нужно определить функцию, которая принимает список функций [(Int ->Int)] и другой параметр типа Int и возвращает Int . Таким образом, тип должен быть
compose ::...
1290 просмотров
schedule
23.10.2023
Почему добавление INLINE замедляет мою программу
Я пытался создать foldl , который работал бы с бесконечными списками, для ситуаций, когда вы не можете получить защищенную рекурсию, но где в зависимости от первого аргумента второй аргумент может не использоваться.
Например, умножение, где обычно...
184 просмотров
schedule
05.12.2023
Замените тип ReaderT и const композицией функций
Я пытаюсь выяснить, каков тип функциональной композиции ReaderT и const и хочу разобраться сам.
(.) ReaderT const :: ???
Во-первых, посмотрите на сигнатуру типа ReaderT и (.) :
ReaderT :: (r -> m a) -> ReaderT r m a
(.)...
39 просмотров
schedule
01.11.2023
Ошибка установки упаковки Haskell Cabal
Я стер и переустановил платформу Haskell (Haskell.org: cabal, stack, ghc), но теперь ни один дополнительный пакет не устанавливается должным образом. Cabal всегда заканчивается ExitFailure1. Вероятно, потому, что не удалось найти зависимость....
359 просмотров
schedule
15.11.2023
Использование анонимных функций в Haskell
Я читаю Get Programming with Haskell , чтобы понять функциональное программирование. В уроке 10 автор обсуждает использование функционального программирования для создания простых объектов с помощью замыканий. До этого места в книге обсуждались...
241 просмотров
schedule
12.11.2023
Рекурсия Haskell медленная, в чем подвох?
Я очень новичок в Haskell
data Recipes = Recipes Int Int Int [Int] deriving(Show)
addRecipes :: Recipes -> Recipes
addRecipes (Recipes t e1 e2 list) =
let (e1c, e2c) = (list !! e1, list !! e2)
newVal = e1c + e2c
newList =...
138 просмотров
schedule
05.10.2023