Skip to content
#

immutable-types

Here are 5 public repositories matching this topic...

Language: All
Filter by language

Five approaches to building a programming language with every known level of type safety (10 levels, from basic types to homotopy types). An exploration mapping the territory of type safety via five concurrent routes (extend, dyadic, aspect, aggregate, clean-slate) sharing a common test suite and documenting all failures in a stumble journal.

  • Updated Aug 18, 2026
  • Just

Improve this page

Add a description, image, and links to the immutable-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the immutable-types topic, visit your repo's landing page and select "manage topics."

Learn more