# How to do arithmetic in the type system?

**URL:** <https://discourse.julialang.org/t/how-to-do-arithmetic-in-the-type-system/76565>\
**Category:** General Usage\
**Tags:** parametric-types, staticarrays\
**Created:** [February 16, 2022, 2:32pm UTC](https://discourse.julialang.org/t/how-to-do-arithmetic-in-the-type-system/76565 "2022-02-16T14:32:29Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![Henrique\_Becker](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/henrique_becker/32/15443_2.png) [@Henrique\_Becker](https://discourse.julialang.org/u/Henrique_Becker)\
**Post date:** [February 16, 2022, 5:46pm UTC](https://discourse.julialang.org/t/how-to-do-arithmetic-in-the-type-system/76565/8 "2022-02-16T17:46:54Z")

</div>

I am not entirely sure because of the extensive use of generators in that piece of code.

But these partial constructors are known to have some bugs, the two of us already found some strange behavior on then in the past, see [Using parametric type inside outer parametric constructor - #28 by Henrique\_Becker](https://discourse.julialang.org/t/using-parametric-type-inside-outer-parametric-constructor/53388/28) and [https://github.com/JuliaLang/julia/issues/39280](https://github.com/JuliaLang/julia/issues/39280)

---

_[View the full topic](https://discourse.julialang.org/t/how-to-do-arithmetic-in-the-type-system/76565)._