haskell

в чистых функциональных языках, таких как Haskell, есть ли алгоритм для получения обратной функции (edit), когда она биективна? И есть определенным образом запрограммировать функцию так?...

У меня есть три функции, найти n-й элемент списка: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementI...

Как мой первый язык программирования, я решил изучить Haskell. Я специализируюсь на аналитической философии, и Хаскелл позволил мне быстро и правильно создавать интересные программы, например, преобразователи для анализа естественного языка, доказатели теорем и интерпретаторы. Хотя я программирую только два с...

Я пытаюсь визуализировать некоторые простые автоматические физические системы (такие вещи, как маятник,руки робота и т. д.) в Haskell. Часто эти системы могут быть описаны уравнениями типа df/dt = c*f(t) + u(t) здесь u(t) представляет собой своего рода "интеллектуальный контроль". Эти системы очень хорошо в...

В GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: почему первый не является вложенным исключением?...

недавно я закончил университетский курс, в котором фигурировали Haskell и Agda (зависимый типизированный функциональный язык программирования), и задавался вопросом, Можно ли заменить лямбда-исчисление в них комбинаторной логикой. С Haskell это кажется возможным с использованием комбинаторов S и K, что делает...

пока я учусь Хаскелл, я заметил его класс, который, как предполагается, является великим изобретением, которое произошло от Haskell. однако, в страница Википедии на типе class: программист определяет класс типа путем указания набора функций или постоянные имена вместе с их соответствующими типами, кото...

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

просматривая прелюдию Хаскелла, я см. функцияconst: const x _ = x Я не могу найти ничего подходящего для этой функции. какой в этом смысл? Может ли кто - нибудь привести пример того, где эта функция может быть использована?...

можно ли написать модуль в Haskell, который реэкспортирует модуль в дополнение к экспорту всего видимого внутри? давайте рассмотрим следующий модуль: module Test where import A f x = x этот модуль экспортирует все определена внутри, поэтому его экспорт f но не реэкспортирует ничего импортированного из A....