Не морочьте мне голову со своим функциональным программированием

Попадем ли мы на «head», вызванный для пустого списка?

Да запросто.

example minBound

Отрицательный модуль числа — вполне реальная штука, когда мы имеем дело с дополнительным кодом (two’s complement). И мне кажется, что это баг в статическом анализаторе, раз он считает, что 0 <= n.

Подводные камни Bash

Вы только что очень ёмко описали Xonsh!

foo | bar | baz > result
def clear(d):
    pushd @(d)
    rm `\w+\d{,3}\.log`
    popd
    print(d, "is cleared")
clear($HOME)
aliases["ll"] = "ls -Al"
ll src
sudo -H pip3 install PyYAML
import yaml
doc = yaml.load($(foo | bar | baz))
git commit -m @(doc["message"]) and git push