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

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 1213 14 15
16 17 18 19 20 21 22
23 24 2526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 26th, 2017 04:45 am
Powered by Dreamwidth Studios