This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 1463 of 1,796·33. Inference Inversion PatternsPro lesson
What Is Type-Level Programming?
Understanding computation that happens entirely in the type system, not at runtime.