Thoughts on pattern types and subtyping

jjpe November 3, 2022, 7:38pm 7

For context, refinement types work in Rust today without further modification.

1 Like

Buggy behavior in thread page

Topic		Replies	Views
Random Musings: types in patterns language design	11	1395	March 25, 2019
Pre-RFC: Subtyping coercion with inferred target language design	2	588	February 15, 2023
What would it take to revive Enum Variant Types? language design	3	1115	December 28, 2022
Dissertation on Algebraic Subtyping language design	2	1204	March 25, 2019
Minimum dyn trait subtyping (single inheritance)	38	2580	March 25, 2019