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

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

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

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

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

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