41,554 blogs · 4,969,865 posts Claim your blog

Record · corpus.blog/posts/01a08724-9d82-718c-ac5f-4d261c03b98a

Scala 3 / Match Types

alexn.org · published 25 October 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at alexn.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 7
Words captured: 1,276

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://docs.scala-lang.org/scala3/reference/new-types/match-types.html

docs.scala-lang.org

https://docs.scala-lang.org/scala3/new-in-scala3.html

docs.scala-lang.org

https://en.wikipedia.org/wiki/Dependent_type

en.wikipedia.org

https://www.typescriptlang.org/docs/handbook/2/conditional-types.html

typescriptlang.org

https://web.archive.org/web/20251011202517/https://www.typescriptlang.org/docs/handbook/2/conditional-types.html

web.archive.org

https://en.wikipedia.org/wiki/Peano_axioms

en.wikipedia.org

https://www.scala-lang.org/blog/2022/08/17/long-term-compatibility-plans.html

scala-lang.org

Elsewhere on alexn.org (1)

https://alexn.org/blog/2025/10/26/scala-3-no-indent/

alexn.org