Как спросить Scala, существуют ли доказательства для всех экземпляров параметра типа?
#scala #implicit #scala-3 #match-types Вопрос: Учитывая следующую функцию сложения на уровне типов для чисел Пеано sealed trait Nat class O extends Nat class S[N <: Nat] extends Nat type plus[a…