Is this the correct code to add syntactic sugar for types? Base.:(|)(X::Type, Y::Type) = Union{X,Y} Base.:(|)(X::TypeVar, Y::Type) = Union{X,Y} Base.:(|)(X::Type, Y::TypeVar) = Union{X,Y} Base.:(|)(X::TypeVar, Y::TypeVar) = Union{X,Y} at first glance everything works const Maybe{T} = T | Nothing …

Check this thread [image] Proposed alias for union types Internals & Design The | character is used in a few different languages as a concise way to specify type unions, like in TypeScript, Scala, PHP 8+, Python 3.10+, and (sort of) Haskell. I was curious to hear what peop…

Syntactic sugar for types

General Usage

jar1 September 21, 2024, 10:35pm 4

Check this thread

5 Likes

Topic		Replies	Views
Proposed alias for union types Internals & Design question , proposal	145	4105	January 18, 2024
Set disjunction for arguments, if defining a function General Usage	8	686	November 15, 2019
Method that acts on union types, what is wrong? New to Julia	8	688	October 26, 2020
Reflection API for Union types General Usage	7	467	May 26, 2022
How to detect/avoid type piracy? General Usage	77	2021	June 14, 2024

Syntactic sugar for types

Related topics