KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
Sometime I stumble into the semi-mysterious notation of def f[T](..) = new T[({type l[A]=SomeType[A,..]})#l] {..} in Scala blog posts, which give it a "we used that type-lambda trick" handwave. While I have some intutition about this (we gain an anonymous type parameter A without having to pollute the definition with it?), I found no clear source describing what the type lambda trick is, and what are its benefits. Is it just syntactic sugar, or does it open some new dimensions?
Tags (comma-separated)
Save Edits
Cancel