Post #1076397
2026-04-10 16:11 UTC
RE: https://mathstodon.xyz/@Jose_A_Alonso/116381153586884855
Great cautionary example of the dangers of ignoring performance considerations even in type-level programming.
Replies (2)
-
@deech@mastodon.social 2026-04-10 16:15
@oantolin I reported a compile time perf regression with type families nearly 8 years ago: https://github.com/deech/Trac12506
-
@mei@donotsta.re 2026-04-10 20:34
@oantolin huh. it's a cute perf issue, but the post itself has my LLM senses tingling by the time I was getting to the end...