scala - 为什么Scala不支持函数的依赖类型（与方法相反）？ - Thinbug

为什么Scala不支持函数的依赖类型（与方法相反）？

时间：2019-01-11 19:07:52

标签： scala dependent-type path-dependent-type

方法中支持依赖类型，但普通函数不支持。为什么呢从技术和哲学的角度来看

0 个答案:

没有答案