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

1 ответ

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

Андраш Ковач предложил этот вопросв ответ на ответ на предыдущий вопрос.В одноплатной библиотеке в стиле линз для разных видов

2 ответа

Проблема с DataKinds

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

2 ответа

Создание выражения GADT в OCaml

Вот мое игрушечное выражение GADT:

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

1 ответ

GHC жалуется на неисчерпывающие шаблоны, которые применяются средством проверки типов

У меня есть следующий код

2 ответа

Проблема с DataKinds

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

3 ответа

Функции для полиморфных типов данных

данные

2 ответа

Вторая переменная должна быть добавлена ​​в определение типа задачи, чтобы выразить отдельные значения успеха и ошибки. Вот полное решение:

следующие виды: type _ task = | Success : 'a -> 'a task | Fail : 'a -> 'a task | Binding : (('a task -> unit) -> unit) -> 'a task | AndThen : ('a -> 'b task) * 'a task -> 'b task | OnError : ('a -> 'b task) * 'a task -> 'b task type _ stack = | ...

1 ответ

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

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

5 ответов

Реальное использование GADT

3 ответа

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

ли кто-нибудь дать мне предложения / советы по созданию целых чисел уровня типа в OCaml (3.12), поддерживающих операции сложения и вычитания над ними? Например, если у меня есть числа, представленные так: type zero type 'a succ type pos1 = ...