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 Java topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
OpenEverest: Open Source Platform for Database Automation
-
Daggr Introduced as an Open-Source Python Library for Inspectable AI Workflows
-
Vercel Introduces Skills.sh, an Open Ecosystem for Agent Commands
-
Google Pushes for gRPC Support in Model Context Protocol
-
OpenAI Launches Prism, a Free LaTeX-Native Workspace with Integrated GPT-5.2
-
Developers Can Improve the ESG Aspects of Software By Tackling Early Ethical Debt
-