Вопросы с тегом Карри-Говарда - PullRequest

Вопросы с тегом Карри-Говарда

4 голосов
1 ответ

парадокс Карри (назван в честь того же человека, что и нынешний язык программирования) - это...

Ignat Insarov / 12 октября 2019
1 голос
1 ответ

Следующее определение компилируется и ведет себя хорошо: data Eq {lvl} {A : Set lvl} (x : A) : A →...

radrow / 28 сентября 2019
4 голосов
0 ответов

Я начал читать книгу «Мышление с типами», которая является моим первым опытом в программировании на...

Shane Unger / 13 мая 2019
0 голосов
1 ответ

Когда у меня есть тип «enum», то есть алгебраический тип данных, в котором ни один из случаев не...

Keith Pinson / 06 декабря 2018
0 голосов
0 ответов

Скажем, я доказал некоторые основные положения интуиционистской логики высказываний в Изабель /...

Nick Hu / 15 ноября 2018
0 голосов
2 ответов

Как мне показать, что что-либо следует из значения типа без конструкторов в Scala?Я хотел бы...

DrPhil / 23 октября 2018
7 голосов
2 ответов

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

Bubba88 / 13 мая 2010
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...