# Static.jl vs StaticNumbers.jl

**URL:** <https://discourse.julialang.org/t/static-jl-vs-staticnumbers-jl/87228>\
**Category:** Tooling\
**Created:** [September 13, 2022, 6:27pm UTC](https://discourse.julialang.org/t/static-jl-vs-staticnumbers-jl/87228 "2022-09-13T18:27:00Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![cscherrer](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/cscherrer/32/7631_2.png) [@cscherrer](https://discourse.julialang.org/u/cscherrer)\
**Post date:** [September 14, 2022, 1:38pm UTC](https://discourse.julialang.org/t/static-jl-vs-staticnumbers-jl/87228/8 "2022-09-14T13:38:41Z")

</div>

Sure, but sometimes we really need type-level values. Some discussion of that in

> [@Constant propagation vs generated functions](https://discourse.julialang.org/t/constant-propagation-vs-generated-functions/83788):
>
> Before getting started in Julia, I did most of my work in Haskell. It’s a great language, but a few things kept causing me trouble: The strong PL focus of the community was great, but it seemed to come at a cost of concern about numerical algorithms. I really need both. The type system is amazing, but PPL tends to push this to its limits. Doing anything new seemed to turn into a type theory research effort, which isn’t really my thing. There’s a “Template Haskell” for metaprogramming, but it’s…

On the question of invalidations… If there’s a library that’s shown to be useful but can’t meet some performance criteria (invalidations causing long load times), that seems like evidence of a fundamental language problem. Especially for a language as performance-oriented as Julia, I’d think either there a fast way to do something, or Julia should adapt to _enable_ a fast way to do it.

---

_[View the full topic](https://discourse.julialang.org/t/static-jl-vs-staticnumbers-jl/87228)._