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	4362	January 18, 2024
Set disjunction for arguments, if defining a function General Usage	8	692	November 15, 2019
Extending Base.in type-stably General Usage	16	1890	August 13, 2017
What is a unionall type? General Usage	11	4501	June 28, 2017
Union of Unions General Usage question	4	659	January 7, 2017

Syntactic sugar for types

Related topics