Let’s say I want to create a family of singleton types, and additional types that might use them as type parameters. The particular example I’m thinking of is a named Variable type, and a type to hold powers of that variable: struct Variable{Name} Variable{N}() where {N} = new{typeassert(N, Symbo…

Singleton types vs. instances as type parameters

mkborregaard March 21, 2017, 8:00pm 4

In this discussion How to make a vector of parametric composite types? - #11 by Olivier_Merchiers it also appeared from benchmarks that empty instances were faster than using types.

Topic		Replies	Views
Should I dispatch on singleton types or their instances? General Usage question , package	6	1318	September 1, 2019
Naming of singleton types and their instance General Usage question	10	2376	January 17, 2018
Best practices for type dispatch? General Usage	3	1173	April 11, 2017
Weird Tuple types that seem like they should be disallowed? New to Julia question , type , tuple , parametric-types	11	708	March 14, 2021
How does instance of a type works/interact with type parameters? New to Julia question , parametric-types , parametric-methods	11	513	October 15, 2023