In the second presentation from the 2012 Northeast Scala Symposium, Miles Sabin introduces us to 'shapeless'. Generic (aka polytypic) programming involves parametrizing programs in terms of the "shape" of the data types they operate on, going beyond what's possible with simple type parametrization. In the Haskell world it's exemplified by Scrap your Boilerplate and related projects.
Shapeless is an exploration of this space in Scala, and this presentation shows some of its capabilities and applications and also explains some of the type class and dependent type based implementation techniques involved.
** videos sponsored by Typesafe ( http://typesafe.com) and Marakana.
** head to http://mrkn.co/0xdu3 for slides from this presentation.
Shapeless: Exploring Generic Programming in Scala java sdk | |
| 72 Likes | 72 Dislikes |
| 10,047 views views | 157K followers |
| Science & Technology | Upload TimePublished on 19 Mar 2012 |
Không có nhận xét nào:
Đăng nhận xét