Результаты поиска по запросу "haskell"

4 ответа

, или даже

исал следующую программу для проверки строк на сбалансированные скобки: isBalanced xs = isBalanced' xs [] isBalanced' [] [] = True isBalanced' [] _ = False isBalanced' ('(':xs) ys = isBalanced' xs (')':ys) isBalanced' ('[':xs) ys = isBalanced' ...

1 ответ

Это дает желаемый результат.

,у прочитать HTML из строки, обработать его и вернуть измененный документ в виде строки, используя HXT. Поскольку эта операция не требует ввода-вывода, я бы предпочел выполнить Arrow сrunLA чем сrunX. Код выглядит следующим образом (для простоты ...

2 ответа

или в этом случае просто неограниченно

орые кольца могут быть оснащены функцией нормы: class (Ring.C a) => EuclideanDomain a where norm :: a -> IntegerС помощью этой функции кольцо можно упорядочить очевидным образом: compare x y = compare (norm x) (norm y)Но я не уверен, как это ...

ТОП публикаций

2 ответа

 также предоставляет эту функциональность

трел наApplicative класс в библиотеках Haskell и наткнулся наAlternative. Для чего этот класс хорош? Поиск в Google не выявил ничего особенно проницательного. И это, кажется, совершенно неуместно, в комплекте с пакетом Applicative. Может ...

2 ответа

 в стандартной библиотеке.

ю, что обычно могу просто сопоставить с шаблоном, но иногда я нахожу эти функции полезными: isLeft = either (const True) (const False) isRight = either (const False) (const True)Есть ли что-то подобное в стандартной библиотеке?

2 ответа

 и различные сущности.

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

2 ответа

Композиция выполняется с помощью оператора (.), Который является частью модуля Control.Category. Убедитесь, что вы импортировали этот модуль и скрыли функцию id по умолчанию (.) Из Haskell Prelude.

бы заинтересован в небольшом примере ван Лаарховеналинзы изоморфизма [http://twanvl.nl/blog/haskell/isomorphism-lenses], применяется к типу данных, какdata BValue = BValue { π :: Float, σ :: Float, α :: Float } deriving Show (в частности, ...

1 ответ

Спасибо, что сработало!

аюсь изучить шаблон Хаскелла. В качестве упражнения я написал функцию, которая может генерировать такие вещи, какisLeft а такжеisRight (вдохновленэтот вопрос [https://stackoverflow.com/q/7213395/775806]). Вот моя скромная попытка: isA connam = ...

5 ответов

, Это была реализация, для которой я проверил законы.

няя кому-то, что такое класс типов X, я стараюсь найти хорошие примеры структур данных, которые точно X. Итак, я прошу примеры для: Конструктор типа, который не является Functor.Конструктор типа, который является Functor, но не ...

5 ответов

При портировании parsec3 на Scala, я, наверное, понимаю ваш вопрос.

оказано ниже, в Haskell можно хранить в списке значения с разнородными типами с определенными контекстными границами на них: data ShowBox = forall s. Show s => ShowBox s heteroList :: [ShowBox] heteroList = [ShowBox (), ShowBox 5, ShowBox ...