Результаты поиска по запросу "monads"
Это потому, что, используя термин Applicative и тег haskell, это вопрос о haskell, но с ответом в другой записи.
кативные сочинения, монады нет. Что означает приведенное выше утверждение? А когда один предпочтительнее другого?
) и составьте функцию, чтобы получить более лаконичное:
лизую комбинаторный алгоритм оптимизации в Haskell: Given an initial candidate solution, repeat until stopping criteria are met: 1. Determine possible moves 2. Evaluate possible moves 3. Choose a move 4. Make move, record new candidate solution, ...
, Это была реализация, для которой я проверил законы.
няя кому-то, что такое класс типов X, я стараюсь найти хорошие примеры структур данных, которые точно X. Итак, я прошу примеры для: Конструктор типа, который не является Functor.Конструктор типа, который является Functor, но не ...
из монады и передать его в свою функцию
ли способ извлечь "вещи" из монады? Я занимаюсь разработкой игры и сейчас пытаюсь понять, что такое базы данных. я нашелhappstack [http://www.happstack.com/page/view-page-slug/1/happstack] действительно хорошо, но я не могу получить ...
Помогите мне понять этот код Scala: скалаз IO Monad и последствия
Это продолжение кэто [https://stackoverflow.com/questions/7404495/help-me-understand-this-scala-code-scalaz-io-monad] вопрос. Вот код, который я пытаюсь понять (это ...
Практические последствия runST против unsafePerformIO
Я хочу что-то вроде f :: [forall m. (Mutable v) (PrimState m) r -> m ()] -> v r -> v r -- illegal signature f gs x = runST $ do y <- thaw x foldM_ (\_ g -> g y) undefined gs -- you get the idea unsafeFreeze yЯ в основном в том же положении, в ...
Почему у нас есть карта, fmap и liftM?
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m bПочему у нас есть три разные функции, которые делают одно и то же?
Почему монады? Как это решает побочные эффекты?
Я изучаю Хаскель и пытаюсь понять Монады. У меня есть 2 вопроса. Насколько я понимаю, Monad - это просто еще один класс типов, который объявляет способы взаимодействия с данными внутри «контейнеров», включая Maybes, Lists и IO. Кажется разумным ...
Монады в C # - почему реализации Bind требуют, чтобы переданная функция возвращала монаду?
Большинство примеров монад, которые я видел в C #, написано примерно так: public static Identity<B> Bind<A, B>(this Identity<A> a, Func<A, Identity<B>> func) { return func(a.Value); }Например, ...
Каковы преимущества аппликативного разбора по сравнению с монадическим?
Кажется, существует консенсус, что вы должны использовать Parsec как аппликатив, а не как монаду. Каковы преимущества аппликативного разбора по сравнению с монадическим? стильпредставлениеабстракцияМонадический разбор?