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
Naming of singleton types and their instance General Usage question	10	2259	January 17, 2018
Val types vs singletons, is one easier for inference / compilation? General Usage	3	311	December 30, 2020
Dispatch on singleton type inside a tuple General Usage question , inference	8	1248	April 6, 2017
Should I dispatch on singleton types or their instances? General Usage question , package	6	1309	September 1, 2019
Singleton Types Internals & Design	6	615	March 30, 2023