juan_gandhi: (Default)
[personal profile] juan_gandhi
There seems to be no way to use path-dependent types in a recursive context. Even we pass a type as a type argument, as soon as you introduce a constraint, kaboom, your constraint is used literally. 

Date: 2017-06-12 07:56 pm (UTC)
lodin: A bearded hacker in a hat (Default)
From: [personal profile] lodin
Sorry for my illiteracy. Are path-dependent types a scala-specific thing, or a general concept? Where can I read a gentle introduction to it?

Profile

juan_gandhi: (Default)
juan_gandhi

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
1718 1920 21 22 23
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 26th, 2017 06:13 pm
Powered by Dreamwidth Studios