That requires dependent types or some form of gradual typing kotlinlang #language-proposals

That requires dependent types or some form of grad...

dmitry.petrov

02/01/2017, 8:42 AM

That requires dependent types or some form of gradual typing for a marginal use case.

2 Views