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…

[image] andrey2185: 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} Note that technically that’s type pir…

I mean to do pull request in julia with this code

[image] giordano: that’s type piracy as you don’t own the function name nor the argument types, Instead one could define a new | function in a package and import that, and it would be usable without extending Base.:| and making sure nothing broke. Would be strange to sacrifice bitwise-or for …

[image] Benny: Would be strange to sacrifice bitwise-or for that symbol though. No need to sacrifice anything – MyPackage.(|) could just fall back to Base.(|) whenever arguments are not types.

@Mason ’s InfixUnions.jl has | available with basically the same implementation in case you want to use an already-registered package instead: GitHub - MasonProtter/InfixUnions.jl It creates a new function | rather than pirating Base.:(|). Generally you should avoid defining new methods for function…

[image] andrey2185: I mean to do pull request in julia with this code IMO, it’s unlikely to be accepted in the base language. See a long discussion here: Proposed alias for union types - #17 by stevengj I think the main reason that these proposals have come up only recently, more than a dec…

[image] stevengj: I think the main reason that these proposals have come up only recently, more than a decade into Julia’s development, is type1 | type2 syntax has recently been adopted and popularized in Python. But “spell things more like Python” has never been a huge priority for Julia Wit…

Syntactic sugar for types

General Usage

jar1 September 21, 2024, 10:35pm 4

Check this thread

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

Syntactic sugar for types

Related topics