Go (язык программирования) - Go (programming language)

"Google Go" перенаправляется сюда. Информацию о поисковом приложении Google для Android от Google "Google Go" для недорогих устройств Lollipop + см. Android Go. Информацию о компьютерной программе от Google для настольной игры Go см. AlphaGo.
Идти
Go Logo Blue.svg
ПарадигмаМультипарадигма: одновременный, функциональный,[1] императив, объектно-ориентированный[2][3]
РазработаноРоберт Гриземер
Роб Пайк
Кен Томпсон
РазработчикАвторы Go[4]
Впервые появился10 ноября 2009 г.; 11 лет назад (2009-11-10)
Стабильный выпуск
1.15.6 / 3 декабря 2020 г.; 5 дней назад (2020-12-03)[5]
Печатная дисциплинаПредполагаемый, статический, сильный, структурный[6][7]
Язык реализацииИдти, язык ассемблера (gc); C ++ (gccgo)
Операционные системыDragonFly BSD, FreeBSD, Linux, macOS, NetBSD, OpenBSD,[8] План 9,[9] Солярис, Windows
ЛицензияBSD -стиль[4] + патент даровать[10]
Расширения имени файла.идти
Интернет сайтГоланг.org Отредактируйте это в Викиданных
Основной реализации
gc, gccgo
Под влиянием
Алеф, APL,[11] BCPL,[11] C, CSP, Лимбо, Modula, Newsqueak, Оберон, Оккам, Паскаль,[12] Болтовня[13]
Под влиянием
Кристалл, Зиг

Идти это статически типизированный, составлен язык программирования разработан в Google[14] к Роберт Гриземер, Роб Пайк, и Кен Томпсон.[12] Go это синтаксически похожий на C, но с безопасность памяти, вывоз мусора, структурная типизация,[6] и CSP -стиль параллелизм.[15] Этот язык часто называют Голанг из-за своего доменного имени, golang.org, но собственное имя - Go.[16]

Есть две основные реализации:

Третья сторона транспилятор GopherJS[22] компилирует Перейти к JavaScript за интерфейсная веб-разработка.

История

Go был разработан в Google в 2007 году для улучшения продуктивность программирования в эпоху многоядерный, сетевой машины и большой кодовые базы.[23] Дизайнеры хотели ответить на критику других языков, используемых в Google, но сохраните свои полезные характеристики:[24]

Дизайнеры в первую очередь мотивировались их общими неприязнь к C ++.[26][27][28]

Go было публично объявлено в ноябре 2009 года,[29] а версия 1.0 была выпущена в марте 2012 года.[30][31] Go широко используется в продакшене в Google[32] и во многих других организациях и проектах с открытым исходным кодом.

Суслик талисман

В ноябре 2016 года шрифты Go и Go Mono были выпущены шрифтовыми дизайнерами. Чарльз Бигелоу и Крис Холмс специально для использования в проекте Go. Go это гуманистический без засечек который напоминает Люсида Гранде а Go Mono - это моноширинный. Каждый из шрифтов придерживается WGL4 набор символов и были разработаны, чтобы быть разборчивыми с большим x-высота и отличные формы букв. И Go, и Go Mono соответствуют стандарту DIN 1450 за счет того, что ноль с косой чертой в нижнем регистре л с хвостиком и прописными буквами я с засечками.[33][34]

В апреле 2018 года оригинальный логотип был заменен на стилизованный наклонный вправо стилизованный GO с замыкающими линиями обтекаемости. Тем не менее Суслик талисман остались прежними.[35]

В августе 2018 года основные участники Go опубликовали два «черновика» для новых языковых функций: дженерики и обработка ошибок, и попросил пользователей Go оставить отзыв о них.[36][37]Отсутствие поддержки общего программирования и многословие обработки ошибок в Go 1.x привлекли значительные критика.

История версий

Go 1 гарантирует совместимость[38] для спецификации языка и основных частей стандартной библиотеки. Все версии до текущего выпуска Go 1.15[39] сдержали это обещание.

Каждый основной выпуск Go поддерживается до тех пор, пока не появятся два новых основных выпуска.[40]

История версий Go
Основная версияДата первого выпускаИзменения языка[41]Прочие изменения
1–1.0.32012-03-28изначальный выпуск
1.1–1.1.22013-05-13
  • В Go 1.1 целочисленное деление на константу ноль недопустимо, поэтому это ошибка времени компиляции.
  • Определение строковых и рунных литералов было уточнено, чтобы исключить суррогатные половинки из набора допустимых кодовых точек Unicode.
  • Ослабленные правила требований к возврату. Если компилятор может доказать, что функция всегда возвращается до достижения конца функции, последний оператор завершения можно опустить.
  • Язык позволяет реализации выбирать, будет ли int тип и uint типы - 32 или 64 бита.
  • На 64-битных архитектурах максимальный размер кучи был существенно увеличен с нескольких гигабайт до нескольких десятков гигабайт.
  • Добавление детектора гонок в стандартный набор инструментов.
1.2–1.2.22013-12-01
  • Теперь в языке указано, что из соображений безопасности определенное использование нулевых указателей гарантированно вызовет панику во время выполнения.
  • Go 1.2 добавляет возможность указывать емкость, а также длину при использовании операции нарезки для существующего массива или фрагмента. Операция нарезки создает новый фрагмент, описывая непрерывный раздел уже созданного массива или фрагмента.
  • Планировщик времени выполнения теперь можно вызывать при (не встроенных) вызовах функций.
  • Go 1.2 вводит настраиваемый предел (по умолчанию 10 000) на общее количество потоков, которые может иметь одна программа.
  • В Go 1.2 минимальный размер стека при создании горутины был увеличен с 4 КБ до 8 КБ.
1.3–1.3.32014-06-18В этом выпуске нет языковых изменений.
  • Модель памяти Go 1.3 добавляет новое правило, касающееся отправки и получения по буферизованным каналам, чтобы явно указать, что буферизованный канал может использоваться как простой семафор, используя отправку в канал для получения и получение из канала для освобождения.
  • Go 1.3 изменил реализацию стеков горутин от старой, "сегментированной" модели к непрерывной модели.
  • Некоторое время сборщик мусора точный при просмотре значений в куче; выпуск Go 1.3 добавляет эквивалентную точность к значениям в стеке.
  • Итерации по маленьким картам больше не происходят в последовательном порядке. Это связано с тем, что разработчики злоупотребляют поведением реализации.
1.4–1.4.32014-12-10
  • Выражение-диапазон без присваивания
  • Автоматическое двойное разыменование при вызове методов теперь запрещено в gc и gccgo. Это обратно несовместимое изменение, но оно соответствует спецификации языка.
  • В версии 1.4 большая часть кода среды выполнения была переведена на Go, чтобы сборщик мусора мог сканировать стеки программ во время выполнения и получать точную информацию о том, какие переменные активны.
  • Язык, принятый ассемблерами cmd / 5a, cmd / 6a и cmd / 8a было внесено несколько изменений, в основном, чтобы упростить доставку информации о типах во время выполнения.
  • Добавление внутренних пакетов.
  • Новая подкоманда go generate.
1.5–1.5.42015-08-19

По недосмотру правило, позволяющее исключать тип элемента из литералов среза, не применялось к ключам карты. Это было исправлено в Go 1.5.

  • Компилятор и среда выполнения теперь реализованы на Go и ассемблере без C. Теперь, когда компилятор Go и среда выполнения реализованы в Go, компилятор Go должен быть доступен для компиляции дистрибутива из исходного кода. Компилятор теперь размещен на собственном сервере.
  • Сборщик мусора был переработан для версии 1.5. Фаза «остановки мира» коллектора почти всегда будет меньше 10 миллисекунд, а обычно намного меньше.
  • В Go 1.5 порядок, в котором планируются горутины, был изменен.
1.6–1.6.42016-02-17В этом выпуске нет языковых изменений.
  • Существенное изменение было внесено в cgo, определяющее правила совместного использования указателей Go с кодом C, чтобы гарантировать, что такой код C может сосуществовать со сборщиком мусора Go.
  • Парсер Go теперь написан вручную, а не сгенерирован.
  • В пойти к ветеринару команда теперь диагностирует передачу значений функции или метода в качестве аргументов в Printf, например, при прохождении ж куда f () был предназначен.
1.7–1.7.62016-08-15

Разъяснение по поводу завершающих операторов в спецификации языка. Это не меняет существующего поведения.

  • Для 64-битных систем x86 были добавлены следующие инструкции (см. SSE ): PCMPESTRI, RORXL, RORXQ, VINSERTI128, VPADDD, VPADDQ, VPALIGNR, VPBLENDD, VPERM2F128, VPERM2I128, ВПОР, ВПШУФБ, ВПШУФД, VPSLLD, VPSLLDQ, VPSLLQ, VPSRLD, VPSRLDQ, и VPSRLQ .
  • Этот выпуск включает в себя новую серверную часть генерации кода для 64-разрядных систем x86, основанную на SSA.
  • Пакеты, использующие cgo, теперь могут включать исходные файлы Fortran (в дополнение к C, C ++, Objective C и SWIG), хотя привязки Go по-прежнему должны использовать API-интерфейсы языка C.
  • Новая подкоманда «идти инструмент расстояние список»Печатает все поддерживаемые пары операционная система / архитектура.
1.8–1.8.72017-02-16

При явном преобразовании значения из одного типа структуры в другой, начиная с Go 1.8, теги игнорируются. Таким образом, две структуры, которые отличаются только тегами, могут быть преобразованы из одной в другую.

  • Для 64-битных систем x86 были добавлены следующие инструкции: VBROADCASTSD, ТРАНСЛЯЦИИ, MOVDDUP, MOVSHDUP, MOVSLDUP, ВМОВДДУП, ВМОВСДУП, и VMOVSLDUP.
  • Паузы при сборке мусора должны быть значительно короче, чем в Go 1.7, обычно менее 100 микросекунд и часто всего 10 микросекунд. Подробные сведения см. В документе об исключении необходимости повторного сканирования стопки при остановке.
  • Накладные расходы на отложенные вызовы функций сократились примерно вдвое.
  • Накладные расходы на вызовы из Go в C сократились примерно вдвое.
1.9–1.9.72017-08-24
  • Go теперь поддерживает псевдонимы типов.
  • Принудительное промежуточное округление в арифметике с плавающей запятой.

Компилятор Go теперь поддерживает параллельную компиляцию функций пакета, используя преимущества нескольких ядер.

1.10–1.10.72018-02-16
  • Прояснен угловой случай, связанный со сдвигами нетипизированных констант.
  • Грамматика для выражений методов была обновлена, чтобы ослабить синтаксис, чтобы разрешить любое выражение типа в качестве получателя.

Для 64-разрядного порта x86 ассемблер теперь поддерживает 359 новых инструкций, включая полные наборы расширений AVX, AVX2, BMI, BMI2, F16C, FMA3, SSE2, SSE3, SSSE3, SSE4.1 и SSE4.2. Ассемблер также больше не реализует MOVL $0, ТОПОР как XORL инструкция, чтобы избежать неожиданного сброса флагов условий.

1.11–1.11.62018-08-24В этом выпуске нет языковых изменений.
  • Go 1.11 добавляет экспериментальный порт в WebAssembly.
  • Go 1.11 добавляет предварительную поддержку новой концепции, называемой «модули», альтернативы GOPATH со встроенной поддержкой управления версиями и распространения пакетов.
  • Ассемблер для amd64 теперь принимает инструкции AVX512.
  • Go 1.11 отказывается от поддержки Windows XP и Windows Vista.[42]
  • Go 1.11.3 и более поздние версии исправляют уязвимость аутентификации TLS в пакете crypto / x509.[43]
1.12.12019-02-25В этом выпуске нет языковых изменений.
  • Подписка на поддержку TLS 1.3
  • Улучшенная поддержка модулей (готовится к использованию по умолчанию в Go 1.13)
  • Поддержка для окна / рука
  • Улучшенная совместимость с macOS и iOS.
1.13.12019-09-03

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

  • поддержка TLS 1.3 в пакете crypto / tls по умолчанию (отказ будет удален в Go 1.14)
  • Поддержка упаковки ошибок
1.142020-02-25

Позволяет встраивать интерфейсы с перекрывающимися наборами методов[44]

Поддержка модуля в идти команда теперь готова к производственному использованию[44]

1.152020-08-11В этом выпуске нет языковых изменений.

Дизайн

Go находится под влиянием C, но с упором на большую простоту и безопасность. Язык состоит из:

Синтаксис

Синтаксис Go включает изменения от C направлен на то, чтобы код оставался кратким и читаемым. Был введен комбинированный оператор объявления / инициализации, который позволяет программисту писать я: = 3 или же s: = "Привет, мир!", без указания типов используемых переменных. Это контрастирует с C int я = 3; и const char * s = "Привет, мир!";. Точка с запятой по-прежнему завершает операторы,[а] но неявны, когда встречается конец строки.[b] Методы могут возвращать несколько значений и возвращать результат, ошибка пара - это обычный способ, которым метод сообщает об ошибке вызывающей стороне в Go.[c] Go добавляет буквальные синтаксисы для инициализации параметров структуры по имени и для инициализации карты и ломтики. В качестве альтернативы трех утверждениям C за петля, Go's классифицировать Выражения позволяют кратко перебирать массивы, фрагменты, строки, карты и каналы.[нужна цитата ]

Типы

Go имеет ряд встроенных типов, в том числе числовые (байт, int64, float32, так далее.), булевы, и символьные строки (нить). Строки неизменны; встроенные операторы и ключевые слова (а не функции) обеспечивают объединение, сравнение и UTF-8 кодирование / декодирование.[52] Типы записей можно определить с помощью структура ключевое слово.[53]

Для каждого типа Т и каждая неотрицательная целочисленная константа п, существует тип массива обозначенный [п]Т; Таким образом, массивы разной длины относятся к разным типам. Динамические массивы доступны как «срезы», обозначенные []Т для какого-то типа Т. Они имеют длину и емкость указание, когда необходимо выделить новую память для расширения массива. Несколько фрагментов могут совместно использовать свою базовую память.[54][55][56]

Указатели доступны для всех типов, а указатель наТ обозначен тип *Т. Для приема адреса и косвенного обращения используется & и * операторы, как в C, или выполняются неявно через синтаксис вызова метода или доступа к атрибуту.[57] Нет арифметики указателей,[d] кроме специальных небезопасно. набери в стандартной библиотеке.[58]

Для пары типов K, V, тип карта[K]V это тип хеш-таблицы тип отображенияK ключи для ввода-V значения. Хеш-таблицы встроены в язык со специальным синтаксисом и встроенными функциями. чан Т это канал что позволяет отправлять значения типа Т между параллельные процессы Go.[нужна цитата ]

Помимо поддержки интерфейсы, Система типов Go - номинальный: the тип ключевое слово может использоваться для определения нового именованный тип, который отличается от других именованных типов с таким же макетом (в случае структура, те же элементы в том же порядке). Некоторые преобразования между типами (например, между различными целочисленными типами) предопределены, и добавление нового типа может определять дополнительные преобразования, но преобразования между именованными типами всегда должны вызываться явно.[59] Например, тип ключевое слово может использоваться для определения типа для IPv4 адреса, основанные на 32-битных целых числах без знака:

тип ipv4addr uint32

С этим определением типа ipv4addr (x) интерпретирует uint32 ценить Икс как IP-адрес. Просто назначив Икс к переменной типа ipv4addr это ошибка типа.[нужна цитата ]

Постоянные выражения могут быть типизированными или «нетипизированными»; им присваивается тип при назначении типизированной переменной, если значение, которое они представляют, проходит проверку во время компиляции.[60]

Функция типы обозначены func ключевое слово; они берут ноль или больше параметры и возвращаться ноль или более значений, все из которых являются типизированными. Параметр и возвращаемые значения определяют тип функции; таким образом, func (строка, int32) (int, ошибка) это тип функций, которые принимают нить и 32-битное целое число со знаком и возвращает целое число со знаком (ширины по умолчанию) и значение встроенного типа интерфейса ошибка.[нужна цитата ]

Любой именованный тип имеет метод набор, связанный с ним. Приведенный выше пример IP-адреса можно расширить с помощью метода проверки, является ли его значение известным стандартом:

// ZeroBroadcast сообщает, является ли адрес 255.255.255.255.func (адрес ipv4addr) ZeroBroadcast() bool {    возвращаться адрес == 0xFFFFFFFF}

Из-за номинальной типизации это определение метода добавляет метод к ipv4addr, но не на uint32. Хотя методы имеют особое определение и синтаксис вызова, отдельного типа метода не существует.[61]

Система интерфейса

Go предоставляет две функции, которые заменяют наследование классов.[нужна цитата ]

Первый - это встраивание, который можно рассматривать как автоматизированную форму сочинение[62] или же делегация.[63]:255

Второй - это его интерфейсы, который обеспечивает полиморфизм времени выполнения.[64]:266 Интерфейсы представляют собой класс типов и предоставляют ограниченную форму структурная типизация в иначе номинальной системе типов Go. Объект, который имеет тип интерфейса, также относится к другому типу, как и C ++ объекты, являющиеся одновременно базовым и производным классами. Интерфейсы Go были разработаны после протоколы из языка программирования Smalltalk.[65] Термин используется в нескольких источниках утка печатать при описании интерфейсов Go.[66][67] Хотя термин «утиная типизация» не определен точно и, следовательно, не является неправильным, он обычно подразумевает, что соответствие типа не проверяется статически. Поскольку соответствие интерфейсу Go проверяется статически компилятором Go (кроме случаев, когда выполняется утверждение типа), авторы Go предпочитают термин структурная типизация.[68]

В определении типа интерфейса перечислены необходимые методы по имени и типу. Любой объект типа T, для которого существуют функции, соответствующие всем требуемым методам интерфейса типа I, также является объектом типа I. Определение типа T не обязательно (и не может) идентифицировать тип I. Например, если Форма, Квадрат и круг определяются как

импорт "математика"тип Форма интерфейс {    Площадь() float64}тип Квадрат структура { // Примечание: нет объявления "реализует"    сторона float64}func (кв Квадрат) Площадь() float64 { возвращаться кв.сторона * кв.сторона }тип Круг структура { // Здесь тоже нет объявления "реализует"    радиус float64}func (c Круг) Площадь() float64 { возвращаться математика.число Пи * математика.Pow(c.радиус, 2) }

тогда оба Квадрат и Круг неявно Форма и может быть отнесен к Форма-типированная переменная.[64]:263–268 На формальном языке интерфейсная система Go предоставляет структурный скорее, чем номинальный набор текста. Интерфейсы могут встраивать другие интерфейсы с эффектом создания комбинированного интерфейса, которому удовлетворяют именно те типы, которые реализуют встроенный интерфейс, и любые методы, которые добавляет новый определенный интерфейс.[64]:270

Стандартная библиотека Go использует интерфейсы для обеспечения универсальности в нескольких местах, включая систему ввода / вывода, основанную на концепциях Читатель и Писатель.[64]:282–283

Помимо вызова методов через интерфейсы, Go позволяет преобразовывать значения интерфейса в другие типы с проверкой типа во время выполнения. Конструкции языка для этого являются утверждение типа,[69] который проверяет один потенциальный тип, а переключатель типа,[70] который проверяет несколько типов.[нужна цитата ]

В пустой интерфейс интерфейс{} является важным базовым случаем, потому что он может относиться к элементу любой бетонный тип. Это похоже на Объект класс в Ява или же C # и удовлетворяется любым типом, включая встроенные типы, такие как int.[64]:284 Код, использующий пустой интерфейс, не может просто вызывать методы (или встроенные операторы) для указанного объекта, но он может хранить интерфейс{} значение, попробуйте преобразовать его в более полезный тип с помощью утверждения типа или переключателя типа, или проверьте его с помощью Go отражать упаковка.[71] Потому что интерфейс{} может относиться к любому значению, это ограниченный способ избежать ограничений статической типизации, например пустота* в C, но с дополнительными проверками типов во время выполнения.[нужна цитата ]

В интерфейс{} type можно использовать для моделирования структурированных данных любой произвольной схемы в Go, например JSON или же YAML данные, или Terraform ресурсов, представив его как карта [строка] интерфейс {} (отображение строки в пустой интерфейс). Это рекурсивно описывает данные в виде словаря со строковыми ключами и значениями любого типа.[72]

Значения интерфейса реализуются с использованием указателя на данные и второго указателя на информацию о типе времени выполнения.[73] Как и некоторые другие типы, реализованные с использованием указателей в Go, значения интерфейса ноль если не инициализирован.[74]

Система пакетов

В системе пакетов Go у каждого пакета есть путь (например, "compress / bzip2" или же "golang.org/x/net/html") и имя (например, bzip2 или же html). Ссылки на определения других пакетов должны всегда быть префиксом с именем другого пакета, и только заглавные доступны имена из других пакетов: io.Reader публично, но bzip2.reader не является.[75] В иди возьми команда может получать пакеты, хранящиеся в удаленном репозитории [76] и разработчикам рекомендуется разрабатывать пакеты внутри базового пути, соответствующего исходному репозиторию (например, example.com/user_name/package_name), чтобы уменьшить вероятность конфликта имен с будущими дополнениями к стандартной библиотеке или другим внешним библиотекам.[77]

Существуют предложения по внедрению подходящего решения для управления пакетами для Go, аналогичного CPAN для Perl или Ржавчина грузовая система или Узел система npm.[78]

Параллелизм: горутины и каналы

В языке Go есть встроенные средства, а также поддержка библиотеки для написания параллельные программы. Параллелизм относится не только к параллелизму ЦП, но и к асинхронность: позволяет выполнять медленные операции, такие как чтение базы данных или сеть, в то время как программа выполняет другую работу, что является обычным для серверов, основанных на событиях.[79]

Основная конструкция параллелизма - это горутина, тип легкий процесс. Вызов функции с префиксом идти ключевое слово запускает функцию в новой горутине. В спецификации языка не указано, как должны быть реализованы горутины, но текущие реализации мультиплексируют горутины процесса Go на меньший набор потоки операционной системы, аналогично планированию, выполненному в Erlang.[80]:10

В то время как стандартный пакет библиотеки, включающий большинство классических контроль параллелизма конструкции (мьютекс замки и др.) есть в наличии,[80]:151–152 идиоматические параллельные программы вместо этого предпочитают каналы, которые обеспечивают отправлять сообщения между горутинами.[81] Дополнительные буферы хранят сообщения в ФИФО порядок[63]:43 и разрешить отправку горутин до получения их сообщений.[нужна цитата ]

Каналы набираются, так что канал типа чан Т может использоваться только для передачи сообщений типа Т. Для работы с ними используется специальный синтаксис; <-ch - это выражение, которое заставляет выполняющуюся горутину блокироваться до тех пор, пока значение не поступит по каналу ch, пока ch <- x отправляет значение Икс (возможно, блокировка до тех пор, пока значение не получит другая горутина). Встроенный выключатель-подобно Выбрать оператор может использоваться для реализации неблокирующей связи по нескольким каналам; видеть ниже для примера. В Go есть модель памяти, описывающая, как горутины должны использовать каналы или другие операции для безопасного обмена данными.[82]

Наличие каналов устанавливает Go отдельно от актерская модель параллельные языки в стиле, такие как Erlang, где сообщения адресованы непосредственно акторам (что соответствует горутинам). Стиль актера можно смоделировать в Go, поддерживая взаимно-однозначное соответствие между горутинами и каналами, но язык позволяет нескольким горутинам совместно использовать канал или одной горутине для отправки и приема по нескольким каналам.[80]:147

С помощью этих инструментов можно создавать параллельные конструкции, такие как рабочие пулы, конвейеры (в которых, скажем, файл распаковывается и анализируется по мере загрузки), фоновые вызовы с тайм-аутом, параллельные вызовы «разветвления» к набору служб и другие. .[83] Каналы также нашли применение дальше, чем обычное понятие межпроцессного взаимодействия, например, в качестве безопасного для параллелизма списка переработанных буферов,[84] реализация сопрограммы (что помогло вдохновить имя горутина),[85] и реализация итераторы.[86]

Структурные соглашения Go, связанные с параллелизмом (каналы и альтернативные входы каналов) выводятся из Тони Хоара связь последовательных процессов модель. В отличие от предыдущих языков параллельного программирования, таких как Оккам или же Лимбо (язык, на котором работал со-дизайнер Go Роб Пайк),[87] Go не предоставляет встроенного понятия безопасного или проверяемого параллелизма.[88] Хотя в Go отдается предпочтение модели взаимодействующих процессов, она не единственная: все горутины в программе используют единое адресное пространство. Это означает, что изменяемые объекты и указатели могут совместно использоваться горутинами; видеть § Отсутствие безопасности условий гонки, ниже.[нужна цитата ]

Пригодность для параллельного программирования

Хотя функции параллелизма Go не нацелены в первую очередь на параллельная обработка,[79] их можно использовать для программирования Общая память мультипроцессор машины. Были проведены различные исследования эффективности этого подхода.[89] В одном из этих исследований сравнивали размер (в строки кода ) и скорость программ, написанных опытным программистом, не знакомым с языком, и исправления этих программ экспертом Go (из команды разработчиков Google), делая то же самое для Часовня, Силк и Intel TBB. Исследование показало, что неспециалисты обычно пишут разделяй и властвуй алгоритмы с одним идти оператор на рекурсию, в то время как эксперт писал программы распределения-работы-синхронизации, используя одну горутину на процессор. Программы эксперта были обычно быстрее, но и длиннее.[90]

Отсутствие безопасности условий гонки

Нет никаких ограничений на то, как горутины получают доступ к общим данным, делая условия гонки возможный. В частности, если программа явно не синхронизируется через каналы или другие средства, записи из одной горутины могут быть частично, полностью или вообще не видимы для другой, часто без каких-либо гарантий относительно порядка записи.[88] Кроме того, Go внутренние структуры данных такие как значения интерфейса, заголовки фрагментов, хеш-таблицы и заголовки строк не защищены от условий гонки, поэтому безопасность типов и памяти может быть нарушена в многопоточных программах, которые изменяют общие экземпляры этих типов без синхронизации.[91][92] Вместо языковой поддержки безопасное параллельное программирование, таким образом, опирается на соглашения; например, Chisnall рекомендует идиому под названием "псевдонимы xor mutable ", что означает, что передача изменяемого значения (или указателя) по каналу сигнализирует о передаче права собственности на значение его получателю.[80]:155

Двоичные файлы

Компоновщик в цепочке инструментов gc по умолчанию создает статически связанные двоичные файлы, поэтому все двоичные файлы Go включают среду выполнения Go.[93][94]

Упущения

Go намеренно опускает некоторые функции, общие для других языков, в том числе (реализация) наследование, общее программирование, утверждения,[e] арифметика указателя,[d] неявные преобразования типов, немаркированные союзы,[f] и отмеченные союзы.[грамм] Дизайнеры добавили только те объекты, о которых договорились все трое.[97]

Из пропущенных языковых функций разработчики явно возражают против утверждений и арифметики указателей, защищая при этом выбор об исключении наследования типов как предоставление более полезного языка, поощряя вместо этого использование интерфейсы достигать динамическая отправка[час] и сочинение повторно использовать код. Состав и делегация на самом деле в значительной степени автоматизированы структура встраивание; по мнению исследователей Шмагера и другие., эта функция "имеет много недостатков наследования: она влияет на общедоступный интерфейс объектов, она не является детализированной (т.е. отсутствует контроль над внедрением на уровне метода), методы встроенных объектов не могут быть скрыты, и она статична. ", из-за чего" неочевидно ", будут ли программисты злоупотреблять им до такой степени, что программисты других языков, как считается, злоупотребляют наследованием.[62]

Дизайнеры выражают открытость к общему программированию и отмечают, что встроенные функции находятся фактически типовой тип, но они рассматриваются как частные случаи; Пайк называет это слабостью, которую в какой-то момент можно изменить.[54] Команда Google создала по крайней мере один компилятор для экспериментального диалекта Go с дженериками, но не выпустила его.[98] Они также открыты для стандартизации способов применения генерации кода.[99] В июне 2020 года выйдет новый проект проектной документации.[100] был опубликован, что добавит в Go необходимый синтаксис для объявления универсальных функций и типов. Инструмент перевода кода go2go был предоставлен, чтобы пользователи могли опробовать новый синтаксис вместе с версией онлайн-игры Go Playground с поддержкой универсальных шаблонов.[101]

Первоначально опущено, исключение -подобно паника/восстанавливаться в конечном итоге был добавлен механизм, который авторы Go советуют использовать для неисправимых ошибок, таких как те, которые должны остановить всю программу или запрос сервера, или в качестве ярлыка для распространения ошибок по стеку внутри пакета (но не за пределы пакета; там ошибка возвращает стандартный API).[102][103][104][105]

Стиль

Авторы Go приложили значительные усилия, чтобы повлиять на стиль программ Go:

  • Отступы, интервалы и другие поверхностные детали кода автоматически стандартизируются гофмт инструмент. Голинт автоматически выполняет дополнительные проверки стиля.
  • Инструменты и библиотеки, распространяемые с Go, предлагают стандартные подходы к таким вещам, как документация по API (Годок),[106] тестирование (пройти тест), строительство (иди строи), управление пакетами (иди возьми), и так далее.
  • Go применяет правила, рекомендуемые для других языков, например, запрещает циклические зависимости, неиспользуемые переменные или импорт, а также неявное преобразование типов.
  • В упущение определенных функций (например, ярлыков функционального программирования, таких как карта и в стиле Java пытаться/наконец-то block) имеет тенденцию поощрять конкретный явный, конкретный и императивный стиль программирования.
  • В первый день команда Go опубликовала сборник идиом Go,[106] а позже также собрал комментарии обзора кода,[107] переговоры[108] и официальные сообщения в блогах[109] научить стилю Go и философии программирования.

Инструменты

В основной дистрибутив Go входят инструменты для строительство, тестирование, и анализируя код:

  • иди строи, который создает двоичные файлы Go, используя только информацию из самих исходных файлов, без отдельных make-файлов
  • пройти тест, для модульного тестирования и микротестов
  • идти вперед, для форматирования кода
  • иди возьми, для получения и установки удаленных пакетов
  • пойти к ветеринару, статический анализатор, ищущий возможные ошибки в коде
  • идти на пробежку, ярлык для создания и выполнения кода
  • Годок, для отображения документации или ее обслуживания через HTTP
  • кровавое имя, для переименования переменных, функций и т. д. безопасным для типов способом
  • иди генерируй, стандартный способ вызова генераторов кода

Он также включает профилирование и отладка поддерживать, время выполнения приборы (например, для отслеживания вывоз мусора паузы), а состояние гонки тестер.

Экосистема сторонних инструментов дополняет стандартный дистрибутив, например gocode, который позволяет автозаполнение кода во многих текстовых редакторах, Goimports, который автоматически добавляет / удаляет импорт пакетов по мере необходимости, и ошибка, который обнаруживает код, который может непреднамеренно игнорировать ошибки.

Примеры

Привет, мир

упаковка главныйимпорт "fmt"func главный() {    fmt.Println("Привет, мир!")}

где "fmt" - пакет для форматированный Ввод / вывод, аналогично C Ввод / вывод файла C.[110]

Параллелизм

Следующая простая программа демонстрирует функции параллелизма для реализации асинхронной программы. Он запускает два легких потока («горутины»): один ждет, пока пользователь наберет текст, а другой реализует тайм-аут. В Выбрать Оператор ожидает, пока одна из этих горутин отправит сообщение в основную процедуру, и действует с первым поступившим сообщением (пример, адаптированный из книги Дэвида Чиснелла).[80]:152

упаковка главныйимпорт (    "fmt"    "время")func прочитанное слово(ch чан нить) {    fmt.Println(«Введите слово и нажмите Enter».)    вар слово нить    fmt.Scanf("% s", &слово)    ch <- слово}func тайм-аут(т чан bool) {    время.Спать(5 * время.Второй)    т <- ложный}func главный() {    т := делать(чан bool)    идти тайм-аут(т)    ch := делать(чан нить)    идти прочитанное слово(ch)    Выбрать {    дело слово := <-ch:        fmt.Println("Получила", слово)    дело <-т:        fmt.Println("Тайм-аут".)    }}

Тестирование

Пример целевой функции:

func Извлечь(электронное письмо нить) нить {	в := струны.Индекс(электронное письмо, "@")	возвращаться электронное письмо[:в]}

Тестовый код (обратите внимание, что утверждать ключевое слово отсутствует в Go; тесты находятся в _test.go в том же пакете):

импорт (    "тестирование"    )func TestExtractUsername(т *тестирование.Т) {	т.Пробег("без точки", func(т *тестирование.Т) {		имя пользователя := Извлечь("[email protected]")		если имя пользователя != "р" {			т.Fatalf("Получено:% v  n", имя пользователя)		}	})	т.Пробег("withDot", func(т *тестирование.Т) {		имя пользователя := Извлечь("[email protected]")		если имя пользователя != "Джонх.смит" {			т.Fatalf("Получено:% v  n", имя пользователя)		}	})}

Есть возможность запускать тесты параллельно.

Приложения

Некоторые известные Открытый исходный код приложения, написанные на Go, включают:[111]

  • Кэдди, веб-сервер HTTP / 2 с открытым исходным кодом и автоматической поддержкой HTTPS.
  • ТараканDB, открытая, отказоустойчивая, строго согласованная, масштабируемая база данных SQL.
  • Докер, набор инструментов для развертывания Linux контейнеры
  • Ethereum, The go-ethereum реализация блокчейна виртуальной машины Ethereum для Эфир криптовалюта [112]
  • Хьюго, генератор статических сайтов
  • InfluxDB, база данных с открытым исходным кодом, специально предназначенная для обработки данных временных рядов с высокими требованиями к доступности и производительности.
  • Межпланетная файловая система, одноранговый протокол гипермедиа с адресацией по содержанию.[113]
  • Жужу, инструмент оркестровки сервисов от Канонический, упаковщики Ubuntu Linux
  • Kubernetes система управления контейнерами
  • lnd, реализация Биткойн Сеть Lightning.[114]
  • Mattermost, система командного чата
  • Обмен сообщениями NATS, представляет собой систему обмена сообщениями с открытым исходным кодом, в которой заложены основные принципы проектирования производительности, масштабируемости и простоты использования.[115]
  • OpenShift, платформа облачных вычислений как услуга от Красная шляпа
  • Rclone, программа командной строки для управления файлами в облачном хранилище и других сервисах с высокой задержкой.
  • Мгновенный, менеджер пакетов для Ubuntu Touch разработан Canonical.
  • Синхронизация, клиент-серверное приложение для синхронизации файлов с открытым исходным кодом
  • Terraform, открытый исходный код, несколько облако инструмент предоставления инфраструктуры от HashiCorp.
  • TiDB, открытый исходный код, распределенный HTAP база данных, совместимая с протоколом MySQL от PingCAP.

Другие известные компании и сайты, использующие Go (как правило, вместе с другими языками, а не исключительно), включают:

  • Каку, для рендеринга страницы пользовательской панели и микросервиса с помощью Go и gRPC.[116]
  • Чанго, рекламная компания с алгоритмической продажей использует Go в своих системах ставок в реальном времени.[117]
  • Cloud Foundry, а платформа как услуга[118]
  • Cloudflare, для их прокси-сервера с дельта-кодированием Railgun, их распределенной службы DNS, а также инструментов для криптографии, ведения журналов, потоковой обработки и доступа к сайтам SPDY.[119][120]
  • Контейнер Linux (ранее CoreOS), операционная система на базе Linux, использующая Докер контейнеры[121] и rkt контейнеры.
  • Диван, Службы запросов и индексирования на сервере Couchbase[122]
  • Dropbox, которые перенесли некоторые из своих критически важных компонентов с Python на Go[123]
  • Google, для многих проектов, в частности, включая сервер загрузки dl.google.com[124][125][126]
  • Heroku, для Doozer, сервис замков[15]
  • Hyperledger Fabric, проект распределенного реестра с открытым исходным кодом, ориентированный на предприятие
  • MongoDB, инструменты для администрирования экземпляров MongoDB[127]
  • Netflix, для двух частей их серверной архитектуры[128]
  • Нутаникс, for a variety of micro-services in its Enterprise Cloud OS.[129]
  • Plug.dj, an interactive online social music streaming website.[130]
  • SendGrid, a Boulder, Colorado-based transactional email delivery and management service.[131]
  • SoundCloud, for "dozens of systems"[132]
  • Splice, for the entire backend (API and parsers) of their online music collaboration platform.[133]
  • ThoughtWorks, some tools and applications for continuous delivery and instant messages (CoyIM).[134]
  • Twitch, for their IRC-based chat system (migrated from Python).[135]
  • Убер, for handling high volumes of geofence -based queries.[136]

Прием

The interface system, and the deliberate omission of inheritance, were praised by Michele Simionato, who likened these characteristics to those of Standard ML, calling it "a shame that no popular language has followed [this] particular route".[137]

Dave Astels at Машинный двор wrote:[138]

Go is extremely easy to dive into. There are a minimal number of fundamental language concepts and the syntax is clean and designed to be clear and unambiguous.Go является still experimental and still a little rough around the edges.

Go was named Programming Language of the Year by the TIOBE Programming Community Index in its first year, 2009, for having a larger 12-month increase in popularity (in only 2 months, after its introduction in November) than any other language that year, and reached 13th place by January 2010,[139] surpassing established languages like Паскаль. By June 2015, its ranking had dropped to below 50th in the index, placing it lower than КОБОЛ и Фортран.[140] But as of January 2017, its ranking had surged to 13th, indicating significant growth in popularity and adoption. Go was awarded TIOBE programming language of the year 2016.

Bruce Eckel has stated:[141]

The complexity of C ++ (even more complexity has been added in the new C++), and the resulting impact on productivity, is no longer justified. All the hoops that the C++ programmer had to jump through in order to use a C-compatible language make no sense anymore -- they're just a waste of time and effort. Go makes much more sense for the class of problems that C++ was originally intended to solve.

A 2011 evaluation of the language and its gc implementation in comparison to C++ (GCC ), Java and Scala by a Google engineer found:

Go offers interesting language features, which also allow for a concise and standardized notation. The compilers for this language are still immature, which reflects in both performance and binary sizes.

— R. Hundt[142]

The evaluation got a rebuttal from the Go development team. Ian Lance Taylor, who had improved the Go code for Hundt's paper, had not been aware of the intention to publish his code, and says that his version was "never intended to be an example of idiomatic or efficient Go"; Russ Cox then optimized the Go code, as well as the C++ code, and got the Go code to run slightly faster than C++ and more than an order of magnitude faster than the code in the paper.[143]

Naming dispute

On November 10, 2009, the day of the general release of the language, Francis McCabe, developer of the Идти! programming language (note the exclamation point), requested a name change of Google's language to prevent confusion with his language, which he had spent 10 years developing.[144] McCabe raised concerns that "the 'big guy' will end up steam-rollering over" him, and this concern resonated with the more than 120 developers who commented on Google's official issues thread saying they should change the name, with some[145] even saying the issue contradicts Google's motto of: Don't be evil.[146]

On October 12, 2010, the issue was closed by Google developer Russ Cox (@rsc) with the custom status "Unfortunate" accompanied by the following comment:

"There are many computing products and services named Go. In the 11 months since our release, there has been minimal confusion of the two languages."[146]

Критика

Go critics say that:

  • The lack of parametric polymorphism за generic programming leads to code duplication or unsafe type conversions and flow-disrupting verbosity.[147][148][149][150]
  • Go's nil combined with the lack of algebraic types leads to difficulty handling failures and base cases.[147][149]
  • Go does not allow an opening brace to appear on its own line, which forces all Go programmers to use the same brace style.[151]
  • File semantics in Go standard library are heavily based on POSIX semantics, and they do not map well to the Windows platform.[152][153] Note that this problem is not particular to Go, but other programming languages have solved it through well defined standard libraries. The author also argues that Go's simplicity is an illusion and that to solve real world problems, libraries with surprisingly large dependencies need to be pulled in to solve something as simple as implementing a monotonically increasing time function.

Смотрите также

Примечания

  1. ^ But "To allow complex statements to occupy a single line, a semicolon may be omitted before a closing ) or }".[50]
  2. ^ “if the newline comes after a token that could end a statement, [the lexer will] insert a semicolon”.[51]
  3. ^ Usually, exactly one of the result and error values has a value other than the type's zero value; sometimes both do, as when a read or write can only be partially completed, and sometimes neither, as when a read returns 0 bytes. Видеть Semipredicate problem: Multivalued return.
  4. ^ а б Language FAQ "Why is there no pointer arithmetic? Safety … never derive an illegal address that succeeds incorrectly … using array indices can be as efficient as … pointer arithmetic … simplify the implementation of the garbage collector…."[12]
  5. ^ Language FAQ "Why does Go not have assertions? …our experience has been that programmers use them as a crutch to avoid thinking about proper error handling and reporting…."[12]
  6. ^ Language FAQ "Why are there no untagged unions…? [they] would violate Go's memory safety guarantees."[12]
  7. ^ Language FAQ "Why does Go not have variant types? … We considered [them but] they overlap in confusing ways with interfaces…. [S]ome of what variant types address is already covered, … although not as elegantly."[12] (The tag of an interface type[95] is accessed with a type assertion[96]).
  8. ^ Questions "How do I get dynamic dispatch of methods?" and "Why is there no type inheritance?" in the language FAQ.[12]

Рекомендации

This article incorporates material from the official Go tutorial, which is licensed under the Creative Commons Attribution 3.0 license.
  1. ^ "First-Class Functions in Go". Получено 14 ноября, 2018. Go supports ... a functional programming style in a strongly typed language.
  2. ^ "Is Go an object-oriented language?". Получено 13 апреля, 2019. Although Go has types and methods and allows an object-oriented style of programming, there is no type hierarchy.
  3. ^ "Go: code that grows with grace". Получено 24 июня, 2018. Go is Object Oriented, but not in the usual way.
  4. ^ а б "Text file LICENSE". The Go Programming Language. Получено 5 октября, 2012.
  5. ^ "Release History". Получено 5 декабря, 2020.
  6. ^ а б "Why doesn't Go have "implements" declarations?". golang.org. Получено October 1, 2015.
  7. ^ Pike, Rob (December 22, 2014). "Rob Pike on Twitter". Получено 13 марта, 2016. Go has structural typing, not duck typing. Full interface satisfaction is checked and required.
  8. ^ "lang/go: go-1.4 – Go programming language". OpenBSD ports. December 23, 2014. Получено 19 января, 2015.
  9. ^ "Go Porting Efforts". Go Language Resources. cat-v. January 12, 2010. Получено 18 января, 2010.
  10. ^ "Additional IP Rights Grant". The Go Programming Language. Получено 5 октября, 2012.
  11. ^ а б Pike, Rob (April 24, 2014). "Hello Gophers". Получено Одиннадцатое марта, 2016.
  12. ^ а б c d е ж грамм "Language Design FAQ". golang.org. January 16, 2010. Получено 27 февраля, 2010.
  13. ^ "The Evolution of Go". Получено 26 сентября, 2015.
  14. ^ Kincaid, Jason (November 10, 2009). "Google's Go: A New Programming Language That's Python Meets C++". TechCrunch. Получено 18 января, 2010.
  15. ^ а б Metz, Cade (May 5, 2011). "Google Go boldly goes where no code has gone before". Реестр.
  16. ^ "Is the language called Go or Golang?". Получено 26 марта, 2020. The language is called Go.
  17. ^ "Go 1.5 Release Notes". Получено 28 января, 2016. The compiler and runtime are now implemented in Go and assembler, without C.
  18. ^ Metz, Cade (August 19, 2015). "Google's In-House Programming Language Now Runs on Phones". wired.com.
  19. ^ "Go 1.11 is Released - The Go Blog". August 24, 2018. Получено 1 января, 2019.
  20. ^ "FAQ: Implementation". golang.org. January 16, 2010. Получено 18 января, 2010.
  21. ^ "Installing GCC: Configuration". Получено 3 декабря, 2011. Ada, Go and Objective-C++ are not default languages
  22. ^ "A compiler from Go to JavaScript for running Go code in a browser: Gopherjs/Gopherjs". April 18, 2020.
  23. ^ "Go at Google: Language Design in the Service of Software Engineering". Получено 8 октября, 2018.
  24. ^ Pike, Rob (April 28, 2010). "Another Go at Language Design". Stanford EE Computer Systems Colloquium. Стэндфордский Университет. Video available.
  25. ^ "Frequently Asked Questions (FAQ) - The Go Programming Language". golang.org. Получено 26 февраля, 2016.
  26. ^ Binstock, Andrew (May 18, 2011). "Dr. Dobb's: Interview with Ken Thompson". Получено 7 февраля, 2014.
  27. ^ Pike, Rob (2012). "Less is exponentially more".
  28. ^ Griesemer, Robert (2015). "The Evolution of Go".
  29. ^ Griesemer, Robert; Pike, Rob; Thompson, Ken; Taylor, Ian; Cox, Russ; Kim, Jini; Langley, Adam. "Hey! Ho! Let's Go!". Google Open Source. Получено May 17, 2018.
  30. ^ Shankland, Stephen (March 30, 2012). "Google's Go language turns one, wins a spot at YouTube: The lower-level programming language has matured enough to sport the 1.0 version number. And it's being used for real work at Google". Новости. CNet. CBS Interactive Inc. Получено 6 августа, 2017. Google has released version 1 of its Go programming language, an ambitious attempt to improve upon giants of the lower-level programming world such as C and C++.
  31. ^ "Release History - The Go Programming Language". golang.org.
  32. ^ "Go FAQ: Is Google using Go internally?". Получено 9 марта, 2013.
  33. ^ "Go fonts – The Go Blog". Go. November 16, 2016. Получено 12 марта, 2019.
  34. ^ "Go Font TTFs". GitHub. Получено 2 апреля, 2019.
  35. ^ "Go's New Brand". The Go Blog. Получено 9 ноября, 2018.
  36. ^ "Go 2 Draft Designs". Получено 12 сентября, 2018.
  37. ^ "The Go Blog: Go 2 Draft Designs". August 28, 2018.
  38. ^ "Go 1 and the Future of Go Programs - The Go Programming Language". golang.org.
  39. ^ "Go 1.14 Release Notes - The Go Programming Language". golang.org.
  40. ^ "Release History - The Go Programming Language". golang.org.
  41. ^ "Release History". The Go Programming Language. Получено 24 августа, 2018.
  42. ^ "Go 1.11 Release Notes – the Go Programming Language".
  43. ^ "Understanding Golang TLS mutual authentication DoS – CVE-2018-16875". December 19, 2018.
  44. ^ а б "Go 1.14 Release Notes – the Go Programming Language".
  45. ^ Pike, Rob. "The Go Programming Language". YouTube. Получено 1 июля, 2011.
  46. ^ Pike, Rob (November 10, 2009). The Go Programming Language (flv) (Tech talk). Google. Event occurs at 8:53.
  47. ^ Download and install packages and dependencies - go - The Go Programming Language; видеть godoc.org for addresses and documentation of some packages.
  48. ^ "GoDoc". godoc.org.
  49. ^ Rob Pike, on The Changelog podcast.
  50. ^ "Go Programming Language Specification, §Semicolons". golang.org.
  51. ^ "Effective Go, §Semicolons". golang.org.
  52. ^ Rob Pike, Strings, bytes, runes and characters in Go, October 23, 2013.
  53. ^ Doxsey, Caleb. "Structs and Interfaces — An Introduction to Programming in Go". www.golang-book.com. Получено 15 октября, 2018.
  54. ^ а б Pike, Rob (September 26, 2013). "Arrays, slices (and strings): The mechanics of 'append'". The Go Blog. Получено 7 марта, 2015.
  55. ^ Andrew Gerrand, Go Slices: usage and internals.
  56. ^ The Go Authors, Effective Go: Slices.
  57. ^ The Go authors Selectors - The Go Programming Language Specification и Calls - The Go Programming Language Specification.
  58. ^ "Go Programming Language Specification, §Package unsafe". golang.org.
  59. ^ "The Go Programming Language Specification". golang.org.
  60. ^ "The Go Programming Language Specification". golang.org.
  61. ^ "The Go Programming Language Specification". golang.org.
  62. ^ а б Schmager, Frank; Cameron, Nicholas; Noble, James (2010). GoHotDraw: evaluating the Go programming language with design patterns. Evaluation and Usability of Programming Languages and Tools. ACM.
  63. ^ а б Summerfield, Mark (2012). Programming in Go: Creating Applications for the 21st Century. Addison-Wesley.
  64. ^ а б c d е Balbaert, Ivo (2012). The Way to Go: A Thorough Introduction to the Go Programming Language. iUniverse.
  65. ^ "The Evolution of Go". talks.golang.org. Получено 13 марта, 2016.
  66. ^ Diggins, Christopher (November 24, 2009). "Duck Typing and the Go Programming Language". Dr. Dobb's. Получено 10 марта, 2016.
  67. ^ Ryer, Mat (December 1, 2015). "Duck typing in Go". Получено 10 марта, 2016.
  68. ^ "Frequently Asked Questions (FAQ) - The Go Programming Language". golang.org.
  69. ^ "The Go Programming Language Specification". golang.org.
  70. ^ "The Go Programming Language Specification". golang.org.
  71. ^ reflect.ValueOf(i interface{}) converts an interface{} к reflect.Value that can be further inspected
  72. ^ "map[string]interface{} in Go". bitfieldconsulting.com.
  73. ^ "Go Data Structures: Interfaces". Получено 15 ноября, 2012.
  74. ^ "The Go Programming Language Specification". golang.org.
  75. ^ "A Tutorial for the Go Programming Language". The Go Programming Language. Получено 10 марта, 2013. In Go the rule about visibility of information is simple: if a name (of a top-level type, function, method, constant or variable, or of a structure field or method) is capitalized, users of the package may see it. Otherwise, the name and hence the thing being named is visible only inside the package in which it is declared.
  76. ^ "go - The Go Programming Language". golang.org.
  77. ^ "How to Write Go Code". golang.org. The packages from the standard library are given short import paths such as "fmt" and "net/http". For your own packages, you must choose a base path that is unlikely to collide with future additions to the standard library or other external libraries. If you keep your code in a source repository somewhere, then you should use the root of that source repository as your base path. For instance, if you have an Example account at example.com/user, that should be your base path
  78. ^ "Go Packaging Proposal Process". Google Docs.
  79. ^ а б Rob Pike, Concurrency is not Parallelism.
  80. ^ а б c d е Chisnall, David (2012). The Go Programming Language Phrasebook. Addison-Wesley. ISBN  9780132919005.
  81. ^ "Effective Go". golang.org.
  82. ^ "The Go Memory Model". Получено 10 апреля, 2017.
  83. ^ "Go Concurrency Patterns". golang.org.
  84. ^ John Graham-Cumming, Recycling Memory Buffers in Go
  85. ^ "tree.go".
  86. ^ Ewen Cheslack-Postava, Iterators in Go.
  87. ^ Brian W. Kernighan, A Descent Into Limbo
  88. ^ а б "The Go Memory Model". Получено 5 января, 2011.
  89. ^ Tang, Peiyi (2010). Multi-core parallel programming in Go (PDF). Proc. First International Conference on Advanced Computing and Communications.
  90. ^ Nanz, Sebastian; West, Scott; Soares Da Silveira, Kaue. Examining the expert gap in parallel programming (PDF). Euro-Par 2013. CiteSeerX  10.1.1.368.6137.
  91. ^ Russ Cox, Off to the Races.
  92. ^ Pike, Rob (October 25, 2012). "Go at Google: Language Design in the Service of Software Engineering". Google, Inc. "There is one important caveat: Go is not purely memory safe in the presence of concurrency."
  93. ^ "Frequently Asked Questions (FAQ) - the Go Programming Language".
  94. ^ "A Story of a Fat Go Binary". September 21, 2018.
  95. ^ "Go Programming Language Specification, §Interface types". golang.org.
  96. ^ "Go Programming Language Specification, §Type assertions". golang.org.
  97. ^ All Systems Are Go. informIT. 17 августа 2010 г.. Получено 21 июня, 2018.
  98. ^ "E2E: Erik Meijer and Robert Griesemer – Going Go". Channel 9. Microsoft. May 7, 2012.
  99. ^ Rob Pike, Generating code
  100. ^ "Type Parameters - Draft Design". go.googlesource.com.
  101. ^ "Generics in Go". bitfieldconsulting.com.
  102. ^ Panic And Recover, Go wiki
  103. ^ "Weekly Snapshot History". golang.org.
  104. ^ "Proposal for an exception-like mechanism". golang-nuts. March 25, 2010. Получено March 25, 2010.
  105. ^ "Effective Go". golang.org.
  106. ^ а б "Effective Go". golang.org.
  107. ^ "Code Review Comments". Получено 3 июля, 2018.
  108. ^ "Talks". Получено 3 июля, 2018.
  109. ^ "Errors Are Values". Получено 3 июля, 2018.
  110. ^ "fmt - The Go Programming Language". golang.org. Получено 8 апреля, 2019.
  111. ^ avelino/awesome-go: A curated list of awesome Go frameworks, libraries and software, получено 10 января, 2018
  112. ^ "Official Go implementation of the Ethereum protocol". GitHub. ethereum. April 18, 2020.
  113. ^ "ipfs/go-ipfs". GitHub. Получено June 1, 2018.
  114. ^ "lightningnetwork/lnd", GitHub, получено 29 апреля, 2020
  115. ^ "NATS - Open Source Messaging System | Secure, Native Cloud Application Development".
  116. ^ "Test driven development in Go | Cacoo". Cacoo. July 29, 2016. Получено June 1, 2018.
  117. ^ "Chango". GitHub.
  118. ^ Heller, Martin (July 17, 2014). "Review: Cloud Foundry brings power and polish to PaaS". JavaWorld. Получено 22 января, 2019.
  119. ^ John Graham-Cumming, Go at CloudFlare
  120. ^ John Graham-Cumming, What we've been doing with Go
  121. ^ "Go at CoreOS". November 25, 2014.
  122. ^ "Couchbase". GitHub.
  123. ^ Patrick Lee, Open Sourcing Our Go Libraries, July 7, 2014.
  124. ^ "dl.google.com: Powered by Go". golang.org.
  125. ^ Matt Welsh, Rewriting a Large Production System in Go
  126. ^ David Symonds, High Performance Apps on Google App Engine
  127. ^ "Mongo DB". GitHub. April 18, 2020.
  128. ^ "The Netflix Tech Blog: Application data caching using SSDs". May 25, 2016.
  129. ^ "golang/go". GitHub. April 18, 2020.
  130. ^ Steven Sacks. "Search & Advances". plug.dj tech blog. Архивировано из оригинал on June 11, 2015. Получено 10 июня, 2015.
  131. ^ Tim Jenkins (March 6, 2014). "How to Convince Your Company to Go With Golang". SendGrid's Email Deliverability Blog.
  132. ^ Peter Bourgon, Go at SoundCloud В архиве November 11, 2013, at the Wayback Machine
  133. ^ "Go at Google I/O and Gopher SummerFest - The Go Blog". golang.org.
  134. ^ TWSTRIKE (April 17, 2020). "CoyIM". ThoughtWorks STRIKE team.
  135. ^ Rhys Hiltner, Go’s march to low-latency GC, July 5, 2016.
  136. ^ "How We Built Uber Engineering's Highest Query per Second Service Using Go". Uber Engineering Blog. February 24, 2016. Получено March 2, 2016.
  137. ^ Simionato, Michele (November 15, 2009). "Interfaces vs Inheritance (or, watch out for Go!)". artima. Получено 15 ноября, 2009.
  138. ^ Astels, Dave (November 9, 2009). "Ready, Set, Go!". engineyard. Получено 9 ноября, 2009.
  139. ^ jt (January 11, 2010). "Google's Go Wins Programming Language Of The Year Award". jaxenter. Получено 5 декабря, 2012.
  140. ^ "TIOBE Programming Community Index for June 2015". TIOBE Software. Июнь 2015 г.. Получено 5 июля, 2015.
  141. ^ Bruce Eckel (August 27, 2011). "Calling Go from Python via JSON-RPC". Получено 29 августа, 2011.
  142. ^ Hundt, Robert (2011). Loop recognition in C++/Java/Go/Scala (PDF). Scala Days.
  143. ^ Metz, Cade (July 1, 2011). "Google Go strikes back with C++ bake-off". Реестр.
  144. ^ Brownlee, John (November 13, 2009). "Google didn't google "Go" before naming their programming language'".
  145. ^ Claburn, Thomas (November 11, 2009). "Google 'Go' Name Brings Accusations Of Evil'". InformationWeek. Получено 18 января, 2010.
  146. ^ а б "Issue 9 - go — I have already used the name for *MY* programming language". Github. Google Inc. Получено October 12, 2010.
  147. ^ а б Yager, Will. "Why Go is not Good". Получено 4 ноября, 2018.
  148. ^ Elbre, Egon. "Summary of Go Generics discussions". Получено 4 ноября, 2018.
  149. ^ а б Dobronszki, Janos. "Everyday Hassles in Go". Получено 4 ноября, 2018.
  150. ^ Fitzpatrick, Brad. "Go: 90% Perfect, 100% of the time". Получено 28 января, 2016.
  151. ^ "Why are there braces but no semicolons? And why can't I put the opening brace on the next line?". Получено 26 марта, 2020. The advantages of a single, programmatically mandated format for all Go programs greatly outweigh any perceived disadvantages of the particular style.
  152. ^ "I want off Mr. Golang's Wild Ride". February 28, 2020. Получено 17 ноября, 2020.
  153. ^ "proposal: os: Create/Open/OpenFile() set FILE_SHARE_DELETE on windows #32088". May 16, 2019. Получено 17 ноября, 2020.

дальнейшее чтение

внешняя ссылка