Можно ли определить рекурсивный тип в Common Lisp?

Рекурсивный тип - это тип, у которого есть база и рекурсивный регистр.Я хотел, чтобы это реализовало «типизированные списки», то есть списки, в которых допус...

Что такое предсказуемость?

У меня есть довольно приличная интуиция о типах, которые Хаскелл запрещает как «непредсказуемые»: а именно те, где

Как сделать эти динамически типизированные функции типобезопасными? [закрыто]

Существует ли какой-либо язык программирования (или система типов), в котором вы могли бы выражать следующие функции Python статически типизированным и безоп...

Вид против ранга в теории типов

Мне трудно понять типы «Высший вид против высшего ранга». Вид довольно прост (спасибо литературе на Haskell за это), и я привык думать, что ранг похож на добрый, когда речь идет о типах, но, очевидно, нет! Я прочитал статью в Википедии ...

Что такое подтип Изабель / HOL? Какие команды Isar создают подтипы?

Я хотел бы знать о подтипах Изабель / HOL. Я объясняю немного, почему это важно для меня в моем частичном ответе на мой последний вопрос SO: Попытка рассматривать классы и подтипы типов как наборы и ...

Сопоставление с образцом в теории типов наблюдений

В конце раздела "5. Полный OTT"На пути к теории наблюдений авторы показывают, как определять индексируемые типы данных coercible-under-constructors...

Что такое подтип Изабель / HOL? Какие команды Isar создают подтипы?

Я хотел бы знать о подтипах Изабель / HOL. Я немного объясняю, почему этоЭто важно для меня в моем частичном ответе на мой последний вопрос SO:Попытка рассма...

Какой тип лямбда-исчисления будет примером для Лисп?

Вид против ранга в теории типов

Смущен о подтипе функций

Я беру курс по языкам программирования и отвечаю на вопрос «когда функция является подтипом другой функции». это очень нелогично для меня. Чтобы уточнить: п...