We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 979087a + d1aca7d commit a2d0b16Copy full SHA for a2d0b16
README.md
@@ -31,3 +31,11 @@ julia> known(typeof(1)) === nothing # `Int` has no compile time known value
31
true
32
33
```
34
+
35
+## Types, Dispatch, Compile-Time, and StaticNumbers.jl
36
37
+Static.jl does not subtype the Base number types. For example, `!(StaticInt <: Integer)`. The reason for this is that it
38
+invalidates all downstream compilation caches. This has a major effect, for example, causing LoopVectorization.jl to
39
+not precompile and ultimately giving the ODE solvers >20 second extra compile times. To avoid these invalidations, the
40
+dispatches were removed. An alternative library [StaticNumbers.jl](https://github.com/perrutquist/StaticNumbers.jl) is
41
+more ergonomic but has these invalidations. Use the library that is more appropriate for your use case.
0 commit comments