InfoQ Homepage Interviews Miles Sabin on Dependent Types with Scala, Shapeless, Scala Macros
Miles Sabin on Dependent Types with Scala, Shapeless, Scala Macros
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
This content is in the JVM Languages topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
Reddit Migrates Comment Backend from Python to Go Microservice to Halve Latency
-
Kubernetes Community Retires Popular Ingress NGINX Controller
-
Helm Improves Kubernetes Package Management with Biggest Release in 6 Years
-
Cloudflare Introduces Remote Bindings for Local Development
-
Google Launches Agent Development Kit for Go
-
How to Use Apache Spark to Craft a Multi-Year Data Regression Testing and Simulations Framework
-