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

June 2017

S M T W T F S
     1 2 3
4 5 67 8 9 10
11 12 13 14 15 16 17
18 19 20 21 222324
252627282930 

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 22nd, 2017 02:06 pm
Powered by Dreamwidth Studios