So the point is just that Futhark map is faster than numpy map? Presumably because Futhark can ensure it's mapping pure functions? Why doesn't numpy offer a ma

So the point is just that Futhark map is faster than numpy map? Presumably because Futhark can ensure it's mapping pure functions? Why doesn't numpy offer a map_pure method where the user promises to only pass pure functions?