Language-Design

A diagram of nested type boxes representing type constructors and higher‑kinded types.

The Gap Between Type Constructors and Higher‑Kinded Types

Explore the technical and practical reasons behind the missing higher‑kinded types in languages that provide type constructors, and learn how developers can bridge the gap.

Illustration of a parser combinator tree building a DSL.

Designing Domain Specific Languages with Parser Combinators

A deep dive into building DSLs with parser combinators, covering fundamentals, design patterns, and real‑world library choices.

Feedback