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	1340	September 1, 2019
Naming of singleton types and their instance General Usage question	10	2412	January 17, 2018
Best practices for type dispatch? General Usage	3	1180	April 11, 2017
Weird Tuple types that seem like they should be disallowed? New to Julia question , type , tuple , parametric-types	11	722	March 14, 2021
Abstract type versus singleton struct General Usage llvm , parametric-types , dispatch	6	866	March 25, 2020