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
-
OpenAI and Anthropic Donate AGENTS.md and Model Context Protocol to New Agentic AI Foundation
-
MinIO GitHub Repository in Maintenance Mode: What's Next for the Open Source Object Storage?
-
Cloudflare Open Sources tokio‑quiche, Promising Easier QUIC and HTTP/3 in Rust
-
IBM Research Introduces CUGA, an Open-Source Configurable Agent Framework on Hugging Face
-
Toad: a Unified CLI Tool for All Your LLMs That Promises Improved UX from Existing Ones
-
The Latest in OpenJDK and JCP Expert Group: Insights with Simon Ritter
-