In the following example, it seems like it should be simple for Julia to infer that the type of prev_x is Float64. Why is it instead getting assigned a boxed type? julia> function tf(xs) prev_x = xs[1] map(xs) do x r = x / prev_x prev_x = x r end …

Why is type inference failing here?

Elrod November 5, 2022, 2:09pm 4

Make prev_x a Ref or use a loop instead.
I think the loop is cleaner.

Topic		Replies	Views
Type inference in closures General Usage question	6	783	July 20, 2018
Type inference in recursion New to Julia inference , recursion	14	1872	January 31, 2017
Why would closure break type inference? General Usage	12	702	March 7, 2020
Type inference with a functional programing style Performance	10	1084	October 22, 2021
Confusing type inference from chained assignment General Usage	3	624	July 14, 2017