|
Set theoretic semantics of the type system
|
|
0
|
60
|
April 18, 2026
|
|
Confusion about type constraints in where clauses
|
|
4
|
166
|
November 21, 2025
|
|
Coupling finite`Union` with `T` in `NTuple{2, T} where {T}`
|
|
7
|
212
|
November 11, 2025
|
|
Parametric struct without specifying type parameters
|
|
4
|
178
|
October 27, 2025
|
|
Good way to parametrize over type parameter?
|
|
4
|
155
|
September 21, 2025
|
|
What type union (`Union`) is equivalent to an iterated union (`UnionAll`) with a concrete type bound?
|
|
5
|
172
|
September 7, 2025
|
|
Conversion of inner "flag" type parameters from supertype "flag" type parameters for composite struct construcor
|
|
3
|
56
|
August 2, 2025
|
|
Possible to make a specific parameterization into a subtype?
|
|
2
|
350
|
August 1, 2025
|
|
Understanding dispatch through TypeVar
|
|
4
|
159
|
July 27, 2025
|
|
How to properly nest parametrically typed structs while using @kwdef
|
|
0
|
83
|
July 24, 2025
|
|
Parametric Structs
|
|
10
|
384
|
July 23, 2025
|
|
Are modules intended to work as type parameters?
|
|
2
|
211
|
June 27, 2025
|
|
Weirdness of `Type{Union{A,B}} where {B<:SuperB}`
|
|
8
|
119
|
June 26, 2025
|
|
How to use `which`
|
|
1
|
317
|
June 8, 2025
|
|
More flexible parametric types
|
|
13
|
484
|
June 7, 2025
|
|
Dynamic union of parametric types
|
|
21
|
268
|
May 27, 2025
|
|
Something weird is going on with `DenseArray`
|
|
3
|
139
|
May 19, 2025
|
|
Where on abstract type and parameters
|
|
9
|
311
|
May 1, 2025
|
|
Limitations of `Base.convert` for the construction of parametric types
|
|
4
|
137
|
April 11, 2025
|
|
How to interpret "Type{T} where T" in Julia's type system
|
|
22
|
1543
|
April 7, 2025
|
|
Relation between type parameter
|
|
7
|
117
|
April 3, 2025
|
|
The best way(s) to encode binary type parameter choices
|
|
9
|
232
|
March 31, 2025
|
|
Subtyping FieldVector from StaticArrays.jl
|
|
2
|
124
|
March 25, 2025
|
|
How to constraint the inner type of `Val` by an abstract type
|
|
4
|
185
|
February 16, 2025
|
|
Julia version of state-machine pattern
|
|
1
|
280
|
February 3, 2025
|
|
How to use size type as lower precision in Static Arrays?
|
|
1
|
96
|
February 1, 2025
|
|
Notice: a subtle footgun: UnionAll type variable order + method static parameter normalization
|
|
2
|
275
|
January 31, 2025
|
|
Unassigned type parameters in `UnionAll` of `Tuple` do not refer to concrete types in edge cases
|
|
5
|
198
|
January 30, 2025
|
|
Parametric types & instances
|
|
5
|
149
|
January 26, 2025
|
|
Type assertion for parametric constructors behaves strangely
|
|
4
|
148
|
December 29, 2024
|