BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

QCon London - image
QCon London

Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.

 InfoQ Dev Summit Boston - image
InfoQ Dev Summit Boston

Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.

 InfoQ Dev Summit Munich - image
InfoQ Dev Summit Munich

Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.

 QCon San Francisco - image
QCon San Francisco

Explore insights, real-world best practices and solutions in software development & leadership. Register now.

InfoQ Homepage Interviews Miles Sabin on Dependent Types with Scala, Shapeless, Scala Macros

Miles Sabin on Dependent Types with Scala, Shapeless, Scala Macros

20:27

Bio

Miles is a founding partner of _.underscore, having run Scala consultancy Chuusai since 2008 and worked with Scala since 2004. His latest project is shapeless (https://github.com/milessabin/shapeless ), which aims to explore the boundaries of what's possible within Scala's type system. But Miles is perhaps best known in the Scala world for his outstanding contribution to the Scala IDE for Eclipse.

About the conference

Scala Days is the premier event for Scala enthusiasts, researchers, and practitioners. Scala is a general-purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional programming.

Jul 13, 2012

Interview with

by

This content is in the JVM Languages topic

Related Topics:
BT