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
-
InfoQ Java Trends Report 2025
-
Microsoft Introduces Postgres-Compatible Azure HorizonDB
-
Breaking Silos: Netflix Introduces Upper Metamodel to Bring Consistency across Content Engineering
-
ASP.NET Core in .NET 10: Major Updates across Blazor, APIs, and OpenAPI
-
Lyft Rearchitects ML Platform with Hybrid AWS SageMaker-Kubernetes Approach
-
Building a More Appealing CLI for Agentic LLMs Based on Learnings from the Textual Framework
-