haskell

9зной

1ответ

Можно ли ограничить использование памяти в каждой функции/монаде/потоке в Haskell?

Я работаю над проектом компилятора исследования, предназначенным для работы в качестве службы. Одним из требований является то, что некоторые пользователи могут иметь ограниченное использование памяти

1зной

1ответ

Что такое лямбда в этом складном деле?

Я прокладываю себе путь через Haskell book, и я немного озадачен складками. Одно упражнение просит читателя написать функцию elem с помощью foldr. Я не мог опустить голову и придумал пример, который я

4зной

3ответ

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

К тому времени, когда я впервые прочитал серьезный criticism on -XUndecidableInstances, я уже полностью привык к этому, рассматривая его как просто удаление раздражающего ограничения. Haskell98 должен

2зной

2ответ

Haskell написать функцию для выполнения функции входа в списке

Так что я пытаюсь написать функцию, которая выполняет функцию входного f на входном списке ls[l1, l2, ..., ln] и вывод в виде строки "[" ++ (f l1) ++ "," ++ (f l2) ++ "," ++ ... ++ (f ln) ++ "]" flist

-2зной

1ответ

Возвращаемые значения списка из двух значений рекурсивно в haskell

Я пытаюсь создать список рекурсивно, введя два значения в качестве параметра, и это возвращает список. Я знаю, что, выполнив следующие действия: function1 a b = [a..b] работает правильно, но не явля

2зной

1ответ

Ошибка Haskell: Не удалось вывести (Random a0), возникающий из

Я играл со случайной функцией, которая дает бесконечный список случайных значений, как показано в главе 9 «Узнайте, что вам Haskell для Великого добра». Код выглядит следующим образом: randoms' :: (Ra

2зной

2ответ

Почему тип Char -> Char -> Char

У меня есть следующий тип подписи: *Main Lib> let f :: a -> a -> a -> a; f = undefined *Main Lib> let x :: Char; x = undefined так, чтобы выяснить, в результате которых тип я мог бы получить, я сде

5зной

1ответ

Какие типы проблем помогают «более высокоподобному полиморфизму» решить лучше?

Как я прочитал несколько разделов, в History of Haskell, я наткнулся на: Однако более-kinded полиморфизм имеет независимую утилиту: это вполне возможно, и иногда очень полезно, чтобы объявить типы дан

1зной

1ответ

Как указать различные модули

Я не знаю, как импортировать два разных модуля одновременно. Следующий код import qualified Data.Map as Map import Data.List phoneBookToList :: (Ord k) => [(k,String)] -> Map.Map k String phoneBoo