Scala Days 2013 / Expanding eta-expansion: shapeless polymorphic function values meet macros

Please RSVP for instructions on how to join the event.


Polymorphic function values are one of the key abstractions in shapeless: they are crucial to enabling sequence-like operations such as map, flatMap and filter to be performed on HLists (data structures which combine the heterogeneous typing of tuples with list-like characteristics). Their encoding in Scala has been refined over a number of iterations, but remains a little heavyweight relative to the syntactic ease with which ordinary monomorphic functions or polymorphic methods can be defined. In this talk I will show how we can use macros to automatically promote polymorphic methods to polymorphic function values and how that improves the usability of shapeless.


No outline is available

Content is not yet available

Miles Sabin (miles.sabin)


No biography is available

For a complete view of this profile, including education, work experience and developer information, you need to be logged in and have a subscription.


Miles's upcoming trainings

No events

Miles's past online trainings

Miles's blog posts

IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper