4
Jakie są atrakcyjne przypadki użycia dla zależnych typów metod?
Zależne typy metod, które wcześniej były funkcją eksperymentalną, zostały teraz domyślnie włączone w linii głównej i najwyraźniej wywołało to pewne podekscytowanie w społeczności Scala. Na pierwszy rzut oka nie jest od razu oczywiste, do czego może to być przydatne. Heiko Seeberger napisali prosty przykład zależnych rodzaju metody tutaj , które, …