Sassa NF c5ac3896fb Factor out detection + display loop ...

Refactor code that does not depend on y.

Essentially, the following logic:

Recall that some loops are folds, some are maps.

Maps look at only elements with one index. The important property of maps
is that map(f . g) = map(f) . map(g) - parts of the loop body can be split
into separate loops. Another property of maps is that if map(f) does not
depend on the output of map(g), then map(f) . map(g) = map(g) . map(f) -
the loops can be reordered.

2024-09-23 08:32:29 +01:00

3.3 KiB

Raw Permalink Blame History

View Raw