3
ответа
выставка на стрелках в haskell
Каково было бы хорошее место для движения для понимания стрелок? Идеально, я просто ищу некоторое место с кратким определением с мотивацией от некоторых хороших примеров, чего-то подобного Wadler...
вопрос задан: 28 January 2009 00:35
1
ответ
Понимание стрелок в Haskell
Я пытался сжать стрелки, так как они - основание большинства реализаций FRP. Я думаю, что понимаю основную идею - они связаны с монадами, но хранят статическую информацию в каждом, связывают...
вопрос задан: 7 April 2017 03:42
1
ответ
Как создать двунаправленную стрелку в matplotlib (с текстом) [duplicate]
Я хотел бы построить двуглавую стрелку на графике matplotlib. И добавьте в середине этого текст. Вот MWE в python import matplotlib.pyplot как plt x = [1,2,3,4,5,6,6,7,8,9,10,11,11,12,13, ...
вопрос задан: 10 September 2014 10:45
1
ответ
Как работает ArrowLoop? Кроме того, mfix?
Теперь мне довольно удобно с остальной частью стрелочного оборудования, но я не понимаю, как работает петля. Мне это кажется волшебным, и это плохо для моего понимания. У меня тоже проблемы с пониманием mfix. ...
вопрос задан: 5 August 2014 19:12
0
ответов
Будет ли иметь смысл класс типа «между» категорией и стрелкой?
Часто у вас есть что-то вроде аппликативного без чистого слова или что-то вроде монады, но без возврата. Пакет полугруппоид охватывает эти случаи с помощью Apply и Bind. Теперь я нахожусь в подобном ...
вопрос задан: 2 June 2019 14:22
0
ответов
Отсутствующая стрелка возврата на диаграмме последовательности uml
Я должен сделать обратный инжиниринг, написав код Java из этой диаграммы последовательности: я подумал, что отсутствующая стрелка возврата означала, что метод был пустым, в то время как возвращаемое значение всегда представлялось пунктирной линией ...
вопрос задан: 19 January 2019 19:04
0
ответов
Сравнение длины списка со стрелками
На основе сравнения длины списка Если я хочу найти самый длинный список в списке списков, возможно, самый простой способ: longestList :: [[a]] -> [a] { {1}} longestList = maximumBy (сравнение длины) A ...
вопрос задан: 23 May 2017 12:27
0
ответов
Креативное использование стрелок
Только что прочитал пост Креативное использование монад, в котором полно очень интересных идей и отсылок, и мне стало любопытно: а что насчет стрелок?
Я не ищу личное мнение или ссылки на ...
вопрос задан: 23 May 2017 12:24
0
ответов
Вычислительные конструкции (монады, стрелки и т. д.)
Меня заинтересовало, как моделируются вычисления в Haskell. Несколько ресурсов описывают монады как «составные вычисления», а стрелки — как «абстрактные представления вычислений». Я никогда не...
вопрос задан: 23 May 2017 12:19
0
ответов
Использование монад, моноидов, функторов и стрелок на практике
Недавно я наткнулся на этот пост о полезных ресурсах по различным аспектам функционального программирования, таким как монады, моноиды и т.д. Но вот вопрос - какую пользу может извлечь обычный программист...
вопрос задан: 23 May 2017 12:16
0
ответов
Бесконечная рекурсия в Haskell
Этот вопрос, по сути, дублирует отладку бесконечных циклов в программах Haskell с помощью GHCi . Автор там решил вручную, хотя хотелось бы узнать другие решения. (мой конкретный ...
вопрос задан: 23 May 2017 10:24
0
ответов
Что такое стрелки и как их использовать?
Я пытался узнать значение стрелок, но не понял их. Я использовал учебник Викиучебника. Я думаю, что проблема Викибука в основном состоит в том, что он, кажется, написан для кого-то, кто уже ...
вопрос задан: 7 April 2017 12:18
0
ответов
Почему разница в кривой производительности между ByteBuffer.allocate () и ByteBuffer.allocateDirect ()
I ' m работает над некоторым кодом SocketChannel-to-SocketChannel, который лучше всего справится с прямым байтовым буфером - долгоживущим и большим (от десятков до сотен мегабайт на соединение). При хешировании точного ...
вопрос задан: 7 April 2017 10:20
0
ответов
Почему я не могу определить Haskell Экземпляр Arrow с точки зрения arr и *** / &&&
Я все еще пытаюсь определить и использовать стрелки в Haskell.При определении новых стрелок мне намного проще думать в терминах *** или &&&, а не в терминах первого и второго, поскольку ...
вопрос задан: 2 January 2017 23:14
0
ответов
Стрелка и Монада, две независимые точки зрения для составления вычислений?
Я читал "Классопедию типов" Брента Йорги в Monad.Reader # 13 и обнаружил, что " "иерархия функторов" взаимозависима от "иерархии категорий", как показано на рисунке 1. И согласно ...
вопрос задан: 2 January 2017 23:13
0
ответов
Полезные операции над свободными стрелками
Мы знаем, что бесплатные монады полезны, и такие пакеты, как Operational, упрощают определение новых монад, заботясь только о конкретных эффектах приложения -, а не о самой монадической структуре. Мы легко можем...
вопрос задан: 26 March 2014 03:43
0
ответов
Стрелочный эквивалент mapM?
Я пытаюсь разобраться и работать со Стрелами, и у меня возникают некоторые трудности. У меня есть контекст, в котором мне нужна стрелка [a] [b], и я хочу написать стрелку a b и отобразить/упорядочить ее внутри стрелки, а-ля...
вопрос задан: 3 July 2012 02:16
0
ответов
Могу ли я отобразить первый элемент пары без стрелок?
Я присматриваюсь к функторам, аппликативным функторам… Я не уверен, как добраться туда, куда я хочу, но у меня есть ощущение, что следование типам должно приблизить меня. Есть ли простой способ сделать карту, похожую на карту, которая...
вопрос задан: 30 May 2012 14:52
0
ответов
Как работает это определение ArrowLoop.loop?
Экземпляр функции для ArrowLoop содержит цикл :: ((b,d) -> (c,d)) -> (b -> c)
петля f b = пусть (c,d) = f (b,d) в c Во-первых, у меня проблема с подписью: как мы можем получить b -&...
вопрос задан: 24 March 2012 22:48
0
ответов
Стрелки Haskell внутри кортежей
Я хочу создать кортеж, содержащий стрелку и строку, описывающую стрелку. Если я сделаю это с помощью функций (вместо стрелок), следующее будет работать, как ожидалось: funTimes10 = (* 10)
description10 = "...
вопрос задан: 27 February 2012 13:49
0
ответов
Во что десахарируют специальные скобки (|… |)?
Я прочитал страницу документации с обозначениями стрелок, но мне не совсем понятно, что за "труба" скобки "используемые в" 7.10.3. Определение ваших собственных структур управления "desugar into." Рассмотрим пример ...
вопрос задан: 15 January 2012 11:08
0
ответов
Стрелки / HXT и подписи типов
Я пытаюсь изучить стрелки в Haskell, поэтому я пишу простое приложение с библиотекой HXT на основе стрелок для XML. Примеры в вики-сайтах и учебных пособиях HXT не содержат сигнатуры типов функций. ...
вопрос задан: 11 December 2011 22:18
0
ответов
Существуют ли монады, которые можно использовать как автомат?
Я пишу преобразователь потока из некоторого типа входных данных в тип выходных данных. Ввод осуществляется пользователем, поэтому между событиями есть некоторое время. Поскольку для каждого ввода требуется некоторый ресурс ...
вопрос задан: 8 December 2011 19:02
0
ответов
] Вызов монады ввода-вывода внутри стрелки [
] Возможно Я ошибаюсь, но я использую HXT для чтения некоторых данных вершин, которые я хотел бы использовать в массиве в HOpenGL. Массивы вершин должны быть Ptr, которые создаются путем вызова ... [
вопрос задан: 30 August 2011 21:49
0
ответов
Получение данных из простого XML
Я пытаюсь для извлечения некоторых данных из ввода XML с 6 строками, используя HXT. Я тоже хочу сохранить HXT из-за интеграции Curl и потому, что позже у меня появятся другие XML-файлы с тысячами строк. ...
вопрос задан: 1 July 2011 12:02
0
ответов
Где находится исходный код расширения языка GHC: «Стрелки»?
Где я могу найти исходный код , который скрывается за языковым прагмой {- # LANGUAGE Arrows # -} Я читал соответствующие статьи (например, Патерсон, Новая нотация для стрелок), так что теоретически ...
вопрос задан: 28 June 2011 11:41
0
ответов
How does the Haskell rec keyword work?
In arrow do notation, you can use the rec keyword to write recursive definitions. So for example: rec name <- function -< input input <- otherFunction -< name How can this ever ...
вопрос задан: 24 March 2011 01:27
0
ответов
Быстрый вопрос об операторах стрелок
Скажем, у меня есть f :: u -> v -> w и g :: x -> y -> z. Я хочу h :: (u, x) -> (v, y) -> (w, z). Так что я мог бы сделать это вручную: h (u, x) (v, y) = (fuv, gxy) Но где ...
вопрос задан: 4 March 2011 23:35
0
ответов
Подсчет и фильтрация Стрелка для HXT
Я пытаюсь разобрать XML, но я хочу отфильтровать и извлечь только определенное количество дочерних элементов из данного узла. Например: <корень> < node id = "a" />
вопрос задан: 3 March 2011 02:14
0
ответов
HXT: лево-факторинг недетерминированных стрелок?
Я пытаюсь смириться с XML Toolbox (HXT) на Haskell и где-то наталкиваюсь на стену, потому что мне кажется, что я не совсем понимаю стрелки в качестве вычислительного инструмента. Вот моя проблема, на которую я надеялся ...
вопрос задан: 19 November 2010 12:38