haskell

ответ дает [String -> a] в качестве примера не-монады. Поиграв с ним немного, я верю в это интуитивно, но этот ответ просто говорит: "соединение не может быть реализовано", не давая никакого оправдания. Я бы хотел кое-что более формальный. Конечно, есть много функций типа [String -> [String -> a]]...

может кто-нибудь объяснить мне функциональные линзы? Это удивительно сложная тема для google, и я не добился никакого прогресса. Все, что я знаю, это то, что они обеспечивают аналогичную функциональность get/set, чем в OO....

Я вижу go много при чтении материала или источника Haskell, но я никогда не был очень доволен этим - (я думаю, что это имеет отрицательный оттенок "goto" в моем уме). Я начал изучать Haskell с LYAH, и именно там я взял тенденцию использовать acc и step при написании складок. Где же Конвенция для написания go ...

Я собираюсь преподавать курс с более низким разделением в дискретных структурах. Я выбрал учебник дискретные структуры, логика и вычислимость отчасти потому, что он содержит примеры и концепции, которые способствуют реализации с функциональным языком программирования. (Я также думаю, что это хороший учебник.)...

я осматривал нетривиальную ленивую оценку stackoverflow, которая привела меня к презентации Keegan McAllister:зачем учить Хаскелл. На слайде 8 он показывает минимальную функцию, определенную как: minimum = head . sort и утверждает, что его сложность равна O(n). Я не понимаю, почему сложность называется лин...

мне нужна помощь, чтобы понять использование трех функций Haskell попробовать (Control.Exception.try :: Exception e => IO a -> IO (Either e a)) поймать (Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) ручка (Control.Exception.handle :: Exception e => (e -> IO a...

есть ли способ сравнить две функции для равенства? Например, (λx.2*x) == (λx.x+x) должен возвращать true, потому что они, очевидно, эквивалентны. ...

Примечание для других потенциальных участников: пожалуйста, не стесняйтесь использовать абстрактные или математические обозначения, чтобы сделать вашу точку зрения. Если я найду ваш ответ неясным, я попрошу разъяснений, но в остальном не стесняйтесь выражать себя в удобной форме. чтобы быть ясным: я не ищу "...

на Реальный Мир Хаскелл Глава 4. Функциональное Программирование написать foldl с foldr: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f a x) приведенный выше код меня очень смутил, и какой-то парень позвонил ...

когда я программирую на Javascript, я нахожу его очень удобно использовать отладчик, чтобы остановить выполнение программы в любой момент и иметь возможность запускать команды и проверять переменные оттуда. теперь, вернувшись в Haskell, есть ли способ запускать произвольные функции в интерактивном ghci REPL ...