runST с системой типов Хиндли-Милнера

Если я правильно понимаю монаду ST в Haskell,

Как я могу написать этот простой код, используя монаду состояния?

Имитация взаимодействующих объектов с сохранением состояния в Haskell

ГАДТ - приложения и полезность?

Я рассказываю о GADT, используя learnyouahaskell, и меня интересует их возможное использование. Я понимаю, что их основной характеристикой является возможнос...

Складная, моноидная и монадная

Рассмотрим следующую подпись

Каков наилучший способ извлечь диагональ из матрицы в Haskell?

Меня попросили написать функцию, которая извлекала бы диагональ матрицы, хранящейся в виде списка списков. Первая версия заключалась в том, чтобы извлечь чис...

Как предоставить сертификат клиента для http-client-tls?

Как интерпретировать bind / >> = экземпляра функции?

Как кодировать возможные переходы состояний в типе?

Я пытаюсь воспроизвести в Haskell этот фрагмент кода Idris, который обеспечивает правильную последовательность действий по типам:

Максимизация в соответствии с функцией

Я пытаюсь написать функцию, которая принимает функцию и два входа, и возвращает аргумент, который максимизирует функцию. Это настройка, которую я хочу исполь...