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
-
Vercel Releases JSON-Render: a Generative UI Framework for AI-Driven Interface Composition
-
Microsoft Launches Azure Copilot Migration Agent to Accelerate Cloud Migration Planning
-
OpenAI Extends the Responses API to Serve as a Foundation for Autonomous Agents
-
Kubescape 4.0 Brings Runtime Security and AI Agent Scanning to Kubernetes
-
KubeVirt v1.8 Brings Multi-Hypervisor Support and Confidential Computing to Kubernetes
-
Failure As a Means to Build Resilient Software Systems: A Conversation with Lorin Hochstein
-