@NicolasRinaudo@functional.cafe
2026-02-05 18:13 UTC
@cellio@indieweb.social i don’t necessarily have the theoretical background for this, but aren’t dependent types types indexed by values? Scala match types aren’t that, they’re a lot closer to haskell type families
Replies (1)
-
@cellio@indieweb.social 2026-02-05 21:50
@NicolasRinaudo@functional.cafe oh, I didn't realize that, thanks. I don't know Scala myself; I'm trying to help someone out, consulted what looked to be good documentation but couldn't figure it out, then thought to ask here.