monads

26зной

10ответ

Можно создать дубликат: What is a monad? Как бы вы описали монаду непроизводительные программирования терминов? Есть ли какая-то концепция/вещь вне программирования (вне всего программирования, а не т

1зной

4ответ

Монада функция «привязывать» вопрос

Если я определить функцию «привязки», как это: (>>=) :: M a -> (a -> M' b) -> M' b Будет ли это определение помочь мне, если я хочу, чтобы результат нового типа Монада, или я должен использовать тот

17зной

5ответ

Является ли карта Хаскелла не ленивой?

ОБНОВЛЕНИЕ: Хорошо, этот вопрос становится потенциально очень простым. q <- mapM return [1..] Почему это никогда не возвращается? Имеет ли mapM не лениво дело с бесконечными списками? Приведенный ни

13зной

3ответ

Проблема монады STM

Это всего лишь гипотетический сценарий, иллюстрирующий мой вопрос. Предположим, что между ними есть два потока и один TVar. В одном потоке есть атомный блок, который читает TVar и забирает 10 секунд.

534зной

8ответ

Крупномасштабный дизайн в Haskell?

Что такое хороший способ разработки/создания больших функциональных программ, особенно в Haskell? Я прошел через кучу учебников (напишите себе схему, которая является моей любимой, с реальным миром Ha

2зной

2ответ

Добавление экземпляра Show в пример RandomState RWH

Я только что набрал пример RandomState из реального мира haskell. Это выглядит так: import System.Random import Control.Monad.State type RandomState a = State StdGen a getRandom :: Random a => Ra