system-f

2зной

1ответ

«Незаконный полиморфный или квалифицированный тип» в декларации экземпляра (деревья стиля System-F)

Я экспериментирую с реализацией структур данных в стиле H-F в стиле System-F. Я буду использовать A <B> для обозначения применения термина A для типа B, чтобы сделать его однозначным (также с использо

haskell polymorphism typeclass compiler-directives system-f 2015-11-23

---

19зной

1ответ

Как систематически вычислять количество жителей данного типа?

Как систематически вычислять количество жителей данного типа в системе F? Предполагая следующие ограничения: Все жители прекращается, т.е. нет дна. Все жители не имеют побочных эффектов. Например (с и

algorithm type-theory system-f 2015-10-18

---

1зной

1ответ

Что такое каноническая реализация System F?

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

types lambda-calculus system-f typed-lambda-calculus 2016-06-25

---

-1зной

1ответ

Какая разница между этими полиморфными типами?

В System F, в чем разница между следующими 3-х типов: Воспроизводится в тексте здесь: ∀X.((X → X) → (X → X)) ∀X.((X → X) → ∀X.(X → X)) ((∀X.X → X) → (∀X.X → X)) является вторым еще один общий, чем

lambda polymorphism system-f 2016-02-08

---