Помогите разобрать "прочитать" код. Объяснить алгоритм, как от работает

в попытке разобрать плохой код только плохому и научитесь.

я так думаю, человек хотел сделать что-то вроде
import operator
map(operator.mul, a, b)

при этом почему-то думал, что map продолжает работать, когда меньшая из последовательностей заканчивается и возвращает на отсутствующие элементы None
поэтому, напихал таких костылей что у меня глаза закровоточили.

то же самое можно сделать списковым включением (в случае map больше подойдет генераторное)
(x * y for x, y in zip(a, b))

если все же интересен полет фантазии
для начала упростим
tmp = sorted([a, b], key=lambda x: len(x), reverse=True)
map(lambda x, y: x * (y if y is not None else 1), *tmp)
т. е. находим больший и меньший под длине массивы и передаем их как отдельные аргументы для map с помощью оператора *

так как массива всего 2 проще записать как
a, b = sorted([a, b], key=lambda x: len(x), reverse=True)
map(lambda x, y: x * (y if y is not None else 1), a, b)

или еще проще
a = max(a, b, key=len) # максимальный из a и b по длине
b = min(a, b, key=len) # минимальный из a и b по длине
map(lambda x, y: x * (y if y is not None else 1), a, b)
теперь кульминация. map берет по одному элементу из a и b, и передает их в анонимную функцию в качестве аргументов x и y
анонимная перемножает первый элемент со вторым, если второй не None, иначе просто возвращает первый.
в результате получится генератор, который попарно перемножает элементы двух последовательностей

опять же, стоит заметить, когда меньшая из последовательностей заканчивается - map остановится. проверка на None нужна только если правда None может быть элементом одной из последовательностей. но почему тогда проверяется только меньшая из них?

Какая именно часть непонятна то?