Remove interfaces and extend generics #36

Open

noClaps wants to merge 4 commits from remove-interface into main

noClaps commented

2026-09-10 21:01:57 -04:00

Owner

Remove interfaces
Make generics generate code at compile time and type-check at call sites

This simplifies the type system massively since we no longer have to implement a trait solver and we can just do regular type checking after an additional code generation step.

- Remove interfaces - Make generics generate code at compile time and type-check at call sites This simplifies the type system massively since we no longer have to implement a trait solver and we can just do regular type checking after an additional code generation step.

noClaps added 3 commits

2026-09-10 21:01:57 -04:00

Remove mentions of interfaces a348c877bd

Unescape escaped HTML in Treelight instead of Hugo 7b60a2639f

Add more details about compile-time codegen in generics

/ deploy (push) Successful in 1m32s

Details

24d67eb158

noClaps requested review from insidiousfiddler

2026-09-10 21:02:03 -04:00

noClaps added 1 commit

2026-09-10 21:08:43 -04:00