1
ответ
Доказательство m + (1 + n) == 1+ (m + n) в зависимом хаскеле
Я экспериментирую с системой типов Haskell и хочу написать безопасную функцию добавления типов. Эта функция должна принимать двух одноэлементных свидетелей, представляющих числа, и возвращает одноэлементного свидетеля ...
вопрос задан: 17 January 2019 15:25
1
ответ
Доступ к ограничениям GET с уровня оценки
Я пытаюсь использовать некоторые параметры GADT из среды выполнения, предполагая, что я использовал расширение DataKinds, чтобы позволить преобразование данных в типы. то есть имея данные Num = Zero | Succ Num data Something (...
вопрос задан: 17 January 2019 13:10
1
ответ
Haskell рекурсивно применяет функцию к каждому элементу, но сначала?
Итак, я делал эту программу, которая получает функцию f, число a и список b, и она должна возвращать список [a, f (a, b), f (f (a, b), b, .. ] перебирая список b и используя рекурсию. Вы ...
вопрос задан: 17 January 2019 11:39
1
ответ
Изменение значений переменных из списка в Haskell [закрыто]
Я должен сделать приложение todo. Создание и удаление функций завершено, но мне нужно создать функцию редактирования, то же самое с функцией удаления, взять переменную по номеру и отредактировать ее. Я новичок в этом ...
вопрос задан: 17 January 2019 09:12
1
ответ
Невозможно подключиться извне к приложению Snap, запущенному в облаке Google
Я пытаюсь запустить свой проект в облаке Google. Сервер работает с quickHttpServe, который работает на http://0.0.0.0:8000. Я зашёл в мой облачный экземпляр, клонировал репозиторий, установил стек, собрал ...
вопрос задан: 17 January 2019 08:42
1
ответ
Подсчет времени рекурсии в Хаскеле
Я пишу небольшое школьное задание в Хаскеле, чтобы определить расстояние между двумя указанными датами. Я написал грубую функцию для циклического перебора дат, но не могу понять, как писать циклы ...
вопрос задан: 16 January 2019 20:49
1
ответ
Haskell 2D указывает расстояние и длину
- (правка) - Пункт = Точка - Штрекенцуг = Полигональная цепь - дистанция = расстояние - длина = длина - (/ правка) данных , x2) = (x1, x2) p2 (y1, y2) ...
вопрос задан: 16 January 2019 20:18
1
ответ
Каталог C в файле Haskell .cabal
У меня есть этот файл .cabal: ... main-is: Main.hs other-extensions: ForeignFunctionInterface build-зависимость: base > = 4.9 & amp; < 4.10 hs-source-dirs: src / ...
вопрос задан: 16 January 2019 19:10
1
ответ
`?` заполнитель для условия SQL `IN` с постоянным` rawSql`
Я был бы счастлив использовать? заполнитель для заполнения идентификаторов для предложения SQL IN. К сожалению, следующее не работает let idList :: [RequestId] idList = [] let sql :: String sql = "SELECT ?? ...
вопрос задан: 16 January 2019 14:10
1
ответ
Связь между функцией карты в Data.Map и функцией fromList
Я не понимаю подпись Map.map (функция карты в Data.Map) и подпись Map.fromList. Сама функция есть в подписи. Я также не уверен, почему Map.fromList всегда вызывается, когда я ...
вопрос задан: 15 January 2019 22:25
1
ответ
Монада - это просто моноид в категории эндофункторов, в чем проблема?
Кто первым сказал следующее? Монада - это просто моноид в категории эндофункторов, в чем проблема? И на менее важной ноте, это правда, и если да, то могли бы вы дать объяснение (...
вопрос задан: 9 November 2018 15:22
1
ответ
Как перейти от значения конечного дискретного типа к (Конечный n) и обратно, используя производный общий экземпляр типа в Haskell?
У меня есть библиотека, которая в настоящее время требует от пользователей, чтобы они предоставляли вспомогательную функцию с типом: tEnum :: (KnownNat n) = & gt; MyType - & gt; Конечный n, так что реализация библиотеки может использовать очень ...
вопрос задан: 14 July 2018 02:10
1
ответ
Как обновить части штата в государственной монаде?
У меня есть тип, который я хотел бы использовать как часть государственной монады: {- # LANGUAGE TemplateHaskell # -} import Control.Lens data SomeState = SomeState {_int :: Int, _string :: String} makeLenses '' .. ,
вопрос задан: 14 July 2018 01:06
1
ответ
Не удается понять сообщение об ошибке из незаконного списка кортежей
Я знаю, что этот список кортежей не работает, потому что элементы кортежей не одного типа. Но я не мог понять сообщение об ошибке. Прелюдия & GT; [(1,2), («Один», 2)] & lt; interactive & gt;: ...
вопрос задан: 13 July 2018 22:48
1
ответ
Почему эта функция, похоже, скрывает встроенное исключение?
Комментируя другой вопрос, я обнаружил очевидный разрыв в ссылочной прозрачности. В ghci: & gt; f g h = g `seq` h` seq` \ x - & gt; g (h x) & gt; seq (f undefined id) () () & gt; seq (...
вопрос задан: 13 July 2018 21:27
1
ответ
Является ли mfix for Возможно невозможно быть нетривиально общим?
Поскольку Nothing & gt; & gt; = f = Nothing для каждого f, для mfix подходит следующее тривиальное определение: mfix _ = Nothing Но это не имеет практического применения, поэтому мы имеем следующее неточное определение: ...
вопрос задан: 13 July 2018 12:16
1
ответ
Применение наложения к haskellPackages
Я видел, что с наложением мы можем легко настроить nixpkgs. Быстрый поиск по Google. Я получаю довольно приятный результат, например: # Создание наложения let overlay1 = self: super: {google -...
вопрос задан: 13 July 2018 04:21
1
ответ
Haskell: универсальный IORef, MVar?
Я сделал следующую функцию, которая специфична для монады IO: memoIO:: MonadIO m => m-> IO (m a) memoIO действие = делают касательно <-newMVar Ничто возвращаются, $ делают x <-возможно, действие...
вопрос задан: 20 May 2018 12:57
1
ответ
Преобразуйте Список строк в Международный список
У меня есть список строк, действительно ли возможно преобразовать его в список ints? Например: ["1", "2"]-> [1,2]
вопрос задан: 30 March 2018 14:23
1
ответ
Как настроить привязки клавиш Readline GHCi?
Я знаю, что GHCi поддерживает Readline и привязки клавиш, такие как ^W и работа ^U как ожидалось. Я действительно задаюсь вопросом, имеет ли настройка поддержки ghci привязок клавиш путем Bash дело с inputrc.
вопрос задан: 23 March 2018 11:28
1
ответ
Может быть, «своего рода» монада в Python
Пытаюсь найти способ очистить часть моего кода. Итак, в моем коде Python есть что-то вроде этого: company = None
country = None person = Person.find (id = 12345)
if person is not None: # found ...
вопрос задан: 23 March 2018 08:26
1
ответ
Параметрический полиморфизм против специального полиморфизма
Я хотел бы понять ключевое различие между параметрическим полиморфизмом, таким как полиморфизм общих классов / функций в языках Java / Scala / C ++ и "специальный" полиморфизм в Haskell ...
вопрос задан: 8 February 2018 15:54
1
ответ
Грамотный Haskell (.lhs) и пикша
В данный момент я только использую Пикшу, но после наблюдения некоторых действительно интересных примеров (например, эта суть) грамотного Haskell, я интересуюсь испытанием ее в проекте. Вопросы, которые я получил:...
вопрос задан: 10 November 2017 18:14
1
ответ
Неправильный порядок действий ввода-вывода с использованием putStr и getLine
У меня есть следующий код: main = do putStr "Test input:" content <- getLine putStrLn content Когда я запускаю его (с помощью runhaskell) или компилирую (ghc 6.10.4), результат выглядит следующим образом: ...
вопрос задан: 9 September 2017 22:46
1
ответ
Нейронная сеть всегда производит то же самое / Подобные выходы для любого входа
У меня проблема, когда я пытаюсь создать нейронную сеть для крестиков-ноликов. Однако по какой-то причине обучение нейронной сети приводит к тому, что она дает почти одинаковый результат для любого заданного входа. Я ...
вопрос задан: 23 May 2017 12:34
1
ответ
Существуют ли какие-либо техники Haskell для смешанного (частичная структура, часть неизмененного текста) синтаксического анализа и перезаписи?
Пример проблемы: я хочу написать сценарий Haskell, который будет выделять (например, с помощью \ fbox) первое вхождение математических символов в документе. Надеюсь, это поможет мне убедиться, что я ...
вопрос задан: 23 May 2017 12:29
1
ответ
Почему в Haskell не исчерпывающе? шаблоны не являются ошибками времени компиляции?
Это продолжение статьи "Почему я получаю" Неисчерпывающие шаблоны в функции ... ", когда вызываю свою функцию подстроки Haskell? Я понимаю, что при использовании -Wall GHC может предупреждать о не -...
вопрос задан: 23 May 2017 12:10
1
ответ
Где функциональные пользователи графического интерфейса?
Было проведено много исследований способов создания графического интерфейса на функциональном языке. Есть библиотеки для push / pull frp, frp на основе стрелок и, возможно, другие превосходные исследования. Многим кажется ...
вопрос задан: 23 May 2017 11:53
1
ответ
Беспорядок о приправлении карри и указывает на свободный стиль в Haskell
Я пытался реализовать функцию каждый:: (-> IO Bool)->-> IO Bool, который был темой для этого вопроса. Я пытался сделать это без явной рекурсии. Я придумал...
вопрос задан: 23 May 2017 11:48
1
ответ
Понимание стрелок в Haskell
Я пытался сжать стрелки, так как они - основание большинства реализаций FRP. Я думаю, что понимаю основную идею - они связаны с монадами, но хранят статическую информацию в каждом, связывают...
вопрос задан: 7 April 2017 03:42