# \#effects

**URL:** https://discourse.julialang.org/tag/effects/1551.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Hypot is not consistent?](https://discourse.julialang.org/t/hypot-is-not-consistent/138663)

<div class="topic-metadata">

**Author:** [@ettersi](https://discourse.julialang.org/u/ettersi)\
**Replies:** 6\
**Last updated:** [August 7, 2026, 4:41pm UTC](https://discourse.julialang.org/t/hypot-is-not-consistent/138663 "2026-08-07T16:41:38Z")

</div>

Just saw this: julia\> Base.infer\_effects(hypot, NTuple{2, Float64}) (!c,+e,!n,+t,+s,+m,+u,+o,+r) How come hypot() is not consistent? Is this a problem of inference not being precise, or is there actually something that…

---

## [Can I get away with memoizing a :foldable method?](https://discourse.julialang.org/t/can-i-get-away-with-memoizing-a-foldable-method/136951)

<div class="topic-metadata">

**Author:** [@Benny](https://discourse.julialang.org/u/Benny)\
**Replies:** 0\
**Last updated:** [May 1, 2026, 3:48pm UTC](https://discourse.julialang.org/t/can-i-get-away-with-memoizing-a-foldable-method/136951 "2026-05-01T15:48:59Z")

</div>

Starting to dabble in moving long calls from runtime into compile-time, and I’m finding that repeated calls in compile-time are also annoying. Naively, I tried compile-time memoization, also avoiding cache access overhea…

---

## [Can one set the memory effect of a function to \`?m\`?](https://discourse.julialang.org/t/can-one-set-the-memory-effect-of-a-function-to-m/135087)

<div class="topic-metadata">

**Author:** [@matthias314](https://discourse.julialang.org/u/matthias314)\
**Replies:** 0\
**Last updated:** [January 15, 2026, 9:55pm UTC](https://discourse.julialang.org/t/can-one-set-the-memory-effect-of-a-function-to-m/135087 "2026-01-15T21:55:06Z")

</div>

The docstring for the (non-public) function Base.infer\_effects lists among other things inaccessiblememonly (m): - +m (green): ALWAYS\_TRUE - -m (red): ALWAYS\_FALSE - ?m (yellow): INACCESSIBLEMEM\_OR\_ARGMEMONLY The …

---

## [Bounds check performance](https://discourse.julialang.org/t/bounds-check-performance/121741)

<div class="topic-metadata">

**Author:** [@shatanzikou](https://discourse.julialang.org/u/shatanzikou)\
**Replies:** 2\
**Last updated:** [October 25, 2024, 4:11pm UTC](https://discourse.julialang.org/t/bounds-check-performance/121741 "2024-10-25T16:11:40Z")

</div>

The SciML Style guide reads that in Julia after ver1.9, bounds check will reduce performance. But I didn’t see others recommended this, there is no performance reducing in my test. I want to know why it is not recommende…

---

## [Difference between \`Base.@assume\_effects :foldable\` and \`Base.@constprop :aggressive\`](https://discourse.julialang.org/t/difference-between-base-assume-effects-foldable-and-base-constprop-aggressive/118846)

<div class="topic-metadata">

**Author:** [@CameronBieganek](https://discourse.julialang.org/u/CameronBieganek)\
**Replies:** 7\
**Last updated:** [August 31, 2024, 5:21pm UTC](https://discourse.julialang.org/t/difference-between-base-assume-effects-foldable-and-base-constprop-aggressive/118846 "2024-08-31T17:21:17Z")

</div>

What’s the difference between Base.@assume\_effects :foldable and Base.@constprop :aggressive?

---

## [Trying to understand inferred effects](https://discourse.julialang.org/t/trying-to-understand-inferred-effects/110854)

<div class="topic-metadata">

**Author:** [@jishnub](https://discourse.julialang.org/u/jishnub)\
**Replies:** 3\
**Last updated:** [February 28, 2024, 10:02am UTC](https://discourse.julialang.org/t/trying-to-understand-inferred-effects/110854 "2024-02-28T10:02:05Z")

</div>

julia\> Base.infer\_effects(getindex, (UnitRange{Int}, Int)) (+c,+e,!n,+t,+s,+m,+u) julia\> Base.infer\_effects(getindex, (Base.OneTo{Int}, Int)) (!c,+e,!n,+t,+s,+m,+u) julia\> VERSION v"1.12.0-DEV.88" Firstly, why is the …
