|
|
|
|
|
|
by permeakra
2502 days ago
|
|
|
1. Problems with type inference is a problem introduced with polymorphism with implicit type variables and isn't exclusive to dependent types, 'f = show . read' shouldn't compile because of type ambiguity. What is so specific about dependent types in this regard? |
|
|