Abhinav Sarkar
@abhinavsarkar
Basics of Type-level Programming in Haskell
Submitted Jun 4, 2026
We’ll learn about the basics of type-level programming in Haskell:
- Terms, Types, and Kinds
- Type-level Primitives
- Type Families
We’ll also see a practical use by solving a small problem in type-level Haskell.
Comments
Hosted by
The homepage for the Indian Functional Programming community
{{ gettext('Login to leave a comment') }}
{{ gettext('Post a comment…') }}{{ errorMsg }}
{{ gettext('No comments posted yet') }}