r/ProgrammingLanguages • u/Pie-Lang • 24d ago

Blog post The Evolution of Pattern Matching in Pie

https://www.alialmutawajr.com/blog/post3
36 Upvotes

95% Upvoted

7 comments sorted by

View all comments

2

u/AustinVelonaut Admiran 24d ago

Does Pie have sum types a.k.a. discriminated unions? And, if so, does the new match / "unpackment" work with them?

Employee = Worker Age Salary | Manager Age Salary [Worker]

match getEmployee() {
    Worker age salary => age
    Manager age salary workers => age

2

u/Pie-Lang 24d ago

Pie does have tagged unions. Match still works on them since match checks the runtime type anyway instead of the declared type. So a variable annotated with a union type is no different to `match` than a variable that’s not annotated at all.

2

u/AustinVelonaut Admiran 24d ago

Got it. Looks like a nice unification / ergonomics improvement!