Transducers.jl icon indicating copy to clipboard operation
Transducers.jl copied to clipboard

Transducers produce type-unstable result.

Open AliceRoselia opened this issue 2 years ago • 1 comments

high_primes = 0:wheel_size:PRIMELIMIT |> Map(x->lazyaddFilter(x,wheel_nums,sieve_primes)) |> TCat(length(wheel_nums)) |>Filter(x-> 1<x<=PRIMELIMIT)|>tcollect

A simple wheel sieve algorithm implemented with transducers is not type-stable. The result type is given as "ANY".

AliceRoselia avatar Feb 09 '23 13:02 AliceRoselia

@AliceRoselia Can you provide a minimal working example? i.e. definitions for lazyaddFilter, sieve_primes, wheel_nums, etc?

From what you've given it's very hard to track down what could be at play here and whether or not it has anything to do with Transducers.jl

MasonProtter avatar Feb 13 '23 18:02 MasonProtter