One thing I can agree with from @tnurkiewicz's @scalarconf talk: pattern matching on types is bad news.
-
.
@propensive Sure ...#shapeless's Typeable in action: https://gist.github.com/milessabin/9991675 … /cc@travisbrown
-
-
@propensive see also TypeCase (an extractor defined in terms of Typeable) for in pattern matching: https://github.com/milessabin/shapeless/blob/e6c5e714adede724ac319426b32b6c1aeb6c0b12/core/src/test/scala/shapeless/typeable.scala#L348 … /cc@travisbrown -
@milessabin Nice. Seeing `typed[Foo]` makes me wish type parameters on case matches would get implemented, though...@travisbrown - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.