4
Які існують переконливі випадки використання залежних типів методу?
Залежні типи методів, які раніше були експериментальною особливістю, тепер увімкнено в магістралі , і, мабуть, це викликало деяке хвилювання у спільноті Scala. На перший погляд, не відразу очевидно, для чого це може бути корисно. Хайко Seeberger опублікував простий приклад залежних типів методів тут , які , як можна бачити , …