Існують типи, що залежать від шляху, і я думаю, що можна висловити майже всі функції таких мов, як Epigram або Agda у Scala, але мені цікаво, чому Scala не підтримує це більш явно, як це дуже добре в інших областях (скажімо , DSL)? Щось мені не вистачає на кшталт "не …