dependent-type

8зной

2ответ

Как эмулировать зависимый тип в Scala

Я пытаюсь определить общее кольцо классов вычетов в Scala. Кольцо классов остатков определяется некоторым базовым кольцом (например, целыми числами) и модулем (например, два), которое является значени

scala types path-dependent-type dependent-type 2010-10-14

---