Jan Christopher Vogt

There is also the recording with live coding https://www.parleys.com/tutorial/scala-records-extensible-records-type-indexed-maps The most recent code is https://github.com/cvogt/compossible/tree/tmp/0.2 . It is an alpha implementation, so yes, Scala does support this as a library....

@mfolnovic I agree with you :). This is completely on pause. I am working on CBT these days: https://github.com/cvogt/cbt There was the plan to integrate this with https://github.com/scala-records/scala-records which has...

Well, I called them intersection types in my talk, but that is actually not the entire story, because sub-typing applies as well. Looking at your code, I don't remember if...

sure :)! I want to get back to compossible eventually myself. But my free time is currently occupied by the things I'll talk about at nescala and the typelevel summit.

@nightscape Another idea: You may be able to implement something like TMap on top of shapeless encoding the included types as an HList, which does allow element-wise extraction.

if shapeless hlists have some kind of contains operation, it should work. you'd need to ask for each of the parameters separately if they are contained

@vjovanov I am thinking to have one operator that simple overrides and one that fails on conflicts. I don't think I like automatic conflict resolution that alters the structure. Maybe...

@vjovanov for what exactly? Renames? How would the syntax be?

for reference see earlier discussion on https://github.com/playframework/playframework/issues/3174#issuecomment-90988604

If somebody wants to merge play-json-extensions into play-json, I'd be more than happy.