3
ответа
Карты Haskell, возвращая монаду
Функция поиска в Данных. Карта и Данные. IntMap в настоящее время возвращают значения перенесенный в, Возможно, с поиском подписи типа:: Порядок k => k-> Карта k->, Возможно, Это раньше имел больше...
вопрос задан: 13 June 2010 01:44
2
ответа
Работа по возврату из, Возможно, который содержит “Просто”
У меня есть функция, которая имеет тип возврата, Возможно ([(Интервал, Интервал)], (Интервал, Интервал)), я хотел бы назвать это от другой функции и выполнить операцию на данных. Однако возвращаемое значение содержится...
вопрос задан: 3 February 2018 19:33
2
ответа
Реализация Haskell-MaybeMonad в F# - как мы можем получить это ленивое?
мы пытаемся создать образец Haskell-MaybeMonad из http://www.haskell.org/all_about_monads/html/maybemonad.html в F#. Идея состоит в том, чтобы искать mailaddress в двух словарях. Если один из...
вопрос задан: 1 July 2010 11:06
1
ответ
Является ли mfix for Возможно невозможно быть нетривиально общим?
Поскольку Nothing & gt; & gt; = f = Nothing для каждого f, для mfix подходит следующее тривиальное определение: mfix _ = Nothing Но это не имеет практического применения, поэтому мы имеем следующее неточное определение: ...
вопрос задан: 13 July 2018 12:16
1
ответ
Существует ли стандартный рабочий процесс параметров в F#?
Есть ли опция (возможно) wokflow (monad) в библиотеке standrd F#? Я нашел дюжину ручных реализаций (1, 2) этого рабочего процесса, но я не очень хочу вводить нестандартные и ...
вопрос задан: 23 May 2017 12:18
0
ответов
Как получить значение Maybe в Haskell
I ' m относительно новичок в Haskell и начал читать "Real World Haskell". Я просто наткнулся на тип «Может быть», и у меня возник вопрос, как, например, получить фактическое значение от Just 1. У меня ...
вопрос задан: 16 May 2019 07:22
0
ответов
Извлечение значения Maybe в IO
Учитывая следующее:> (liftM2 fromMaybe) (ioError $ userError "OOPS" ) (return $ Just "ok") ghci выдает *** Исключение: ошибка пользователя (OOPS) Конечно, fromMaybe работает правильно:> (...
вопрос задан: 13 April 2013 19:05
0
ответов
Доступ к scala.None из Java
Как можно получить доступ к scala.None из Java? Последняя строка вызывает смерть компилятора с сообщением "type scala.None does not take parameters". import scala.Option;
import scala.Some
import scala.None;
final ...
вопрос задан: 24 January 2013 05:52
0
ответов
Реализация boost ::необязательно в С++ 11
Я экспериментирую с реализацией опциональной структуры данных boost ::с использованием функций С++ 11. Вот что у меня есть :template структура возможно { логическое значение допустимо; союз { Т...
вопрос задан: 9 August 2012 01:04
0
ответов
Списки, определенные как «Может быть» в Haskell? Почему нет?
Вы не обижаетесь, смотрите Maybe List, за исключением, например, обработки ошибок -, потому что списки немного сами по себе Maybe :имеют свое собственное «Ничего»:[] и собственное «Просто»:(:). Я написал тип списка, используя...
вопрос задан: 10 July 2012 09:40
0
ответов
Возможно, приоритет функции привязки монады
В этом уроке я нашел следующий фрагмент :депозит::(Число a )=> a -> a -> возможно a депозитная стоимость аккаунта = просто (аккаунт + стоимость )снятие::(Num a,Ord a )=> a -> a ->...
вопрос задан: 3 July 2012 14:54
0
ответов
Слияние/присоединение Just в Haskell
Я пытаюсь сделать то, что должно быть ослепительно очевидно в Haskell, а именно перейти от Just [1] и Just [2] к Just [1, 2]. Однако я не могу ничего найти в Интернете, поскольку продолжаю находить связанные, но бесполезные страницы. ...
вопрос задан: 25 January 2012 01:02
0
ответов
Функция возвращает «Нет решения» вместо «Ничего»
У меня есть стандартный тип данных, представляющий формулы логики предикатов. Функция, представляющая правило исключения естественного вывода для дизъюнкции, может выглядеть так: d_el p q = if p =: (Dis r s) && ...
вопрос задан: 3 December 2011 05:20
0
ответов
Как монада «Может быть» действует как короткое замыкание?
Я пытаюсь получить более глубокое понимание монад. Поэтому я начал немного копаться в «Может быть монаде». Есть одна вещь, в которой я, кажется, не понимаю. Прочтите это: «Итак, Может быть, Связь ...
вопрос задан: 26 November 2011 12:00
0
ответов
Haskell beginner
Я не понимаю, почему я получаю следующий ответ от GHCi. Разве Maybe не является функцией-конструктором? Prelude> :t Maybe :1:1: Not in scope: data constructor `Maybe'
Prelude> ...
вопрос задан: 30 October 2011 20:19
0
ответов
Более короткий способ написания этого кода
Очень часто в коде Хаскелла появляется следующий образец. Есть ли более короткий способ его написания? если до x
затем Просто Икс
else Nothing
вопрос задан: 17 September 2011 18:29
0
ответов
Использование объявления типа «Может быть» в Haskell [вопрос новичка]
Я начал экспериментировать с Haskell и столкнулся с проблемой. qqq - это функция, которая должна печатать одну строку, если вызывается с «Ничего», и печатать другие вещи, если вызывается с «Просто что-то». Первый ...
вопрос задан: 16 July 2011 10:06
0
ответов
Почему использование Maybe / Option не так широко распространено в Clojure?
Почему Clojure, несмотря на такой упор на функциональную парадигму, а не использование монады Maybe / Option для представления необязательных значений? Использование Option довольно широко распространено в Scala, функциональное программирование ...
вопрос задан: 30 April 2011 06:09
0
ответов
В чем разница между undefined в Haskell и null в Java?
Оба являются терминами, тип которых является пересечением всех типов (необитаемый). Оба могут быть переданы в коде без сбоев, пока кто-то не попытается их оценить. Единственное различие, которое я вижу, состоит в том, что ...
вопрос задан: 16 April 2011 09:22
0
ответов
Использование типа Типа в Haskell
Я пытаюсь использовать тип Типа в Haskell , У меня есть поиск по кортежу key, value, который возвращает Maybe. Как я могу получить доступ к данным, которые были завернуты Возможно? Например, я хочу добавить ...
вопрос задан: 4 September 2010 16:52