мне, конечно, понятно, что имеют в виду, когда говорят что частичные функции надо как-то обозначать, но лучше б они конечно это говорили без использования умных слов, значения которых они не понимают
Не надо за всех говорить? Мне понятнее «head частичная, maybeHead тотальная», чем «все частичные, даже id, даже Аллах». Авторам того текста, видимо, тоже, раз они эту терминологию употребляют.