search

flix / flix

The Flix Programming Language
https://flix.dev/
Other
2.08k stars 150 forks source link

Parallelize certain operations in `Vector` #5438

Open magnus-madsen opened 1 year ago

magnus-madsen commented 1 year ago

For Set and Map we provide automatic parallelization of certain pure operations. See e.g.

https://github.com/flix/flix/blob/master/main/src/library/RedBlackTree.flix#L622

It might be useful to do the same for Vector.count/map/etc.

magnus-madsen commented 10 months ago

Start by checking which ops on Set are @ParallelWhenPure