2

“Functions are a first-class type. This means that a function can return another function as its value.”

Excerpt From: Apple Inc. “The Swift Programming Language (Swift 3.0.1).” iBooks. https://itun.es/ua/jEUH0.l

Функция является Каким-то там типом. Под этим подразумевается, что функция может вернуть другую функцию как значение(скорее всего значение возвращаемое ею).

Что тогда Second-class type? (и есть ли вообще такой)

введите сюда описание изображения

8
  • 1
    А где Вы взяли Second-class type? ru.wikipedia.org/wiki/…
    – KoVadim
    6 дек 2016 в 16:39
  • Исключительно моя воспаленная фантазия.(почему-то мне кажется, что если есть тип первого класса, то должен быть и второго.) Теоретически его может не быть =( 6 дек 2016 в 16:43
  • 1
    это обычное явление для современных языков, когда функции могут вести себя как обычные переменные. Это решает проблему голых указателей на функции.
    – KoVadim
    6 дек 2016 в 16:48
  • Полностью согласен с вашим утверждением, Вопрос только в том как "First-class type" сказать по русски и быть правильно понятым. Возможно есть какой-то устоявшийся термин(желательно встречающийся в более менее извесных книгах вроде Страуструпа или Банды четырех) 6 дек 2016 в 16:51
  • 2
    У вас скриншот закончился на самом интересном месте. Функция - первоклассный тип. Это значит, что функция может вернуть ... может вернуть .... вернуть может функция .... В общем ясно, что на этом пояснение первоклассности обрывается и остаётся загадкой. Что же там написано дальше?
    – Sergey
    6 дек 2016 в 18:05

2 ответа 2

4

Объектами первого класса (англ. first-class object, first-class entity, first-class citizen) в контексте конкретного языка программирования называются элементы, которые могут быть переданы как параметр, возвращены из функции, присвоены переменной.

В swift функции являются объектами первого класса, т.е. их можно передать как параметр, вернуть их других функций или присвоить переменной.

В вашем случае перевод будет: Функции являются объектами первого класса. Это значит, что функция может вернуть другую функцию.

UPDATE

Немного дополнительной информации: такая классификация была придумана Рафаэлем Финкелем (Raphael Finkel). Он выделил три вида объектов:

  • first class object - может быть передан как параметр, возвращен из функции, присвоен переменной
  • second class object - может быть передан как параметр, но не возвращен и не может быть присвоен переменной.
  • third class object - нельзя делать ничего из выше описанного.

Такая классификация не применима ко всем языкам программирования, потому что язык не обязательно имеет все три, или даже два типа объектов из этого списка. По этому first class object превратился во что-то вроде устойчивого выражения.

18
  • Всё что возвращает функция называется объектами первого класса? А если нет такого объекта, который не могла бы вернуть функция? Тогда же всё первого класса! Какой смысл тогда в этом понятии? Оно не может быть применено как какой-то отличительный признак одних объектов от других, раз они все такие. Если есть первый класс, значит должен быть как минимум второй, пусть о нём явно и не говорится. Но если его нет, то нет и первого. Единство и борьба противоположностей - это не только досужие философские домыслы, но и суровая правда жизни.
    – Sergey
    7 дек 2016 в 5:08
  • @Sergey вам дать больше объяснений или вы просто троллите? 7 дек 2016 в 5:14
  • Объясните, если не трудно. Вот например даже в паскале и тем более c|c++ можно возвращать функцию, но я не припомню там такого понятия как "первый класс" в отношении чего-либо. Кажется кто-то придумывает понятия на совершенно пустом месте.
    – Sergey
    7 дек 2016 в 5:17
  • 1
    @Sergey вкратце, придумал такую классификацию Рафаэль Финкель, объект первого класса - см ответ, второго класса - может быть использован как параметр функции но не возвращенное значение, и не может быть присвоен переменной, третьего класса - нельзя делать ничего указанного выше. Все это дело варьируется от языка, и вполне может быть, что в некоторых языках существуют только объекты первого класса, по этому эта классификация в этих языках не используется. 7 дек 2016 в 5:26
  • 1
    @Qwertiy, массивы в Си (те, для которых работает sizeof) очевидно объекты третьего класса.
    – avp
    7 дек 2016 в 21:00
3

Дословный перевод термина "First Class [Citizen]" на русский - это "полноправный [гражданин]". Термин был скопирован из социологии, где Second Class Citizen означает человека с урезанными правами, дискриминированного члена общества.

Например, first-class polymorphism означает "полноценный/полноправный полиморфизим" (а не "жалкое его подобие :). first-class type - полноценный тип, "такой же как object".

На практике утверждение "Функции - First Class Types/Citizens" применительно к конкретному языку означает что функции в нем являются объектами (экземплярами типов).

Например, в C# вы не можете написать код вроде:

int MyFunction()
{
   //  
}

var somevariable = MyFunction;

т.к. в нем есть строгое разделение на типы и их методы.

Но при этом в Javascript вы вполне можете написать аналогичный код, и он отработает без ошибок.

function MyFunction()
{

}

var myvariable = MyFunction;

Более того, т.к. функция в JS является полноценным объектом, вы можете делать с ней совершенно дикие вещи, например задавать у нее свойства:

MyFunction.someProp = 42;

Разделение между First Class / Second Class довольно условное, и строгой устоявшейся терминологии нет. Были попытки ввести строгое разделение на 2-3 и более классов, но они широкого распространения не получили. Это все довольно подробно описано в википедии по ссылке выше.

2
  • разве не можем в c#: somevariable = MyFunction;? а делегаты?
    – Grundy
    8 дек 2016 в 6:27
  • @Grundy делегаты - это не сами функции. Это костыль для устранения не-first class. Вы же не можете работать с самой функцией как с объектом. MyFunction.ToString() - не взлетит.
    – user177221
    8 дек 2016 в 8:43

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.