> Вот, допустим, first-class functions по определению, являются first-class citizen. Если
> убрать этот термин, и делать top-level functions, это нифига не отражает
> суть, что в языке можно передавать функции как аргументы и возвращать
> их из функций.

Всё ещё забавнее. first-class функции -- это не про то, можно ли функции передавать как аргументы, их как аргументы можно передавать и в C, и в asm, это не делает функции в этих языках first-class объектами. first-class, это в смысле функция становится обычным значением, для которого есть синтаксис для описания этого значения в любом месте кода, где можно описать значение: целое число, строка, массив, структура легко определяются "inline". Это как если бы в C, везде где можно было бы написать (struct foo){.name = "hello", .value = "world"}, можно было бы написать и определение функции тоже, которое стало бы значением, которое тут же и было бы присвоено переменной или передано в функцию или возвращено из неё. В C так нельзя, поэтому в C структуры являются first-class citizen'ами, а функции -- нет.

То есть fist-class функции это как раз ровно наоборот по сравнению с top-level, first-class -- это когда есть синтаксис для безымянных не-top-level функций.