💡 Как можно тривиально реализовать типы sum/option на чистом Go, без использования сторонних пакетов или других хаков?
◆ Например, вы захотели, чтобы функция возвращала либо
◆ Тип
📌 Возможно ли это в Go?
◆ Да, но для этого нужно немного изменить концепцию интерфейсов. Интерфейсы описывают общее поведение, перечисляя одну или несколько функций. Каждый тип, который реализует эти функции, является экземпляром этого интерфейса.
◆ Однако тип
◆ Взгляните на этот интерфейс:
◆ Функция
◆ И обратите внимание, что
◆ Два варианта,
◆ Вот и все! Наш тип
◆ Опытные разработчики могут сказать, что возвращать интерфейс считается плохим стилем! И на это есть причина: если вызывающий получает обратно интерфейс, ему придется анализировать возвращаемое значение, чтобы определить конкретный тип за интерфейсом.
◆ Однако этот анализ возвращаемого значения является намеренной частью подхода типа
◆ Не волнуйтесь, определение варианта и действия на его основе требуют только переключения по типу возвращаемого значения и отдельного
◆ Но будьте осторожны: где бы вы ни писали такой переключатель типа
◆ К счастью, для этого есть линтер go-check-sumtype:
#tip
◆ Например, вы захотели, чтобы функция возвращала либо
data value
, либо error
. Вот как это может выглядеть псевдокодом:func f() Option {
result, err := DoSomething()
if err != nil {
return Error("oops:", err)
}
return Data(result)
}
◆ Тип
Option
объединяет два варианта: Data
и Error
. Если все идет хорошо, функция возвращает Data
, в противном случае — Error
.📌 Возможно ли это в Go?
◆ Да, но для этого нужно немного изменить концепцию интерфейсов. Интерфейсы описывают общее поведение, перечисляя одну или несколько функций. Каждый тип, который реализует эти функции, является экземпляром этого интерфейса.
◆ Однако тип
sum
не обязательно имеет какие-либо функции для реализации. Ему нужно только представлять разные виды значений. Поэтому нам придется использовать пустой интерфейс. Но это тоже не сработает: любой тип удовлетворяет пустому интерфейсу. ◆ Взгляните на этот интерфейс:
type Option interface {
isOption()
}
◆ Функция
isOption()
служит только для того, чтобы сделать этот интерфейс отличным от пустого интерфейса. Только типы, реализующие isOption
, являются вариантами Option
.◆ И обратите внимание, что
isOption()
не экспортируется. Это предотвращает добавление вариантов к типу Option
сторонним кодом. Другими словами, эта функция «запечатывает» интерфейс Option
.◆ Два варианта,
Data
и Error
, следовательно, реализуются следующим образом:type Data[T any] struct {
Value T
}
func (Data[T]) isOption() {}
type Error struct {
Err error
}
func (Error) isOption() {}
◆ Вот и все! Наш тип
Option
готов к использованию. Вот функция, которая возвращает тип Option
вместо известной пары (value
, error
):func DoSomething(b bool) Option {
if b {
return Data[int]{Value: 42}
}
return Error{
Err: fmt.Errorf("oops"),
}
}
◆ Опытные разработчики могут сказать, что возвращать интерфейс считается плохим стилем! И на это есть причина: если вызывающий получает обратно интерфейс, ему придется анализировать возвращаемое значение, чтобы определить конкретный тип за интерфейсом.
◆ Однако этот анализ возвращаемого значения является намеренной частью подхода типа
sum
в Go. Разные варианты типа sum
требуют разных действий, поэтому естественной частью обработки типа sum
является ветвление в обработке возвращаемого типа, специфичного для варианта.◆ Не волнуйтесь, определение варианта и действия на его основе требуют только переключения по типу возвращаемого значения и отдельного
case
для каждого из возможных вариантов, вот так:func main() {
opt := DoSomething(true)
switch option := opt.(type) {
case Data[int]:
fmt.Println(option.Value)
case Error:
fmt.Println(option.Err)
}
default:
}
}
◆ Но будьте осторожны: где бы вы ни писали такой переключатель типа
sum
, вы должны включить все варианты как case
.◆ К счастью, для этого есть линтер go-check-sumtype:
//sumtype:decl
type Option interface {
isOption()
}
#tip
GitHub
GitHub - alecthomas/go-check-sumtype: A simple utility for running exhaustiveness checks on Go "sum types."
A simple utility for running exhaustiveness checks on Go "sum types." - alecthomas/go-check-sumtype
🔥11❤6🥱6👍3😁2
🕹💻 Разработка игр на Go для абсолютных новичков
🤔 Чем занимаются разрабы в свободное время, если их изматывают текущие задачи? Ониотдыхают пишут ради удовольствия!
🤩 Miłosz Smółka, кофаундер Three Dot Labs и создатель Watermill, знакомит с фундаментальной игровой механикой 2D-аркады — от простого цикла рисования рамок до управления игровыми объектами, игроками и таймингами. В конце туториала вы узнаете, как написать игру Asteroids с помощью Go, Ebitengine и Donburi.
🤔 Чем занимаются разрабы в свободное время, если их изматывают текущие задачи? Они
🤩 Miłosz Smółka, кофаундер Three Dot Labs и создатель Watermill, знакомит с фундаментальной игровой механикой 2D-аркады — от простого цикла рисования рамок до управления игровыми объектами, игроками и таймингами. В конце туториала вы узнаете, как написать игру Asteroids с помощью Go, Ebitengine и Donburi.
🔥18👍3
⚒ DI и IoC в Go: что это, как работают и почему полезны
В качестве примера автор использует клиент REST API для инструмента мониторинга веб-приложений Monibot.
👉 Читать
В качестве примера автор использует клиент REST API для инструмента мониторинга веб-приложений Monibot.
👉 Читать
🔥12❤2🌚1
Добавление тестов в шаблоны проектов: гайд для Go-разработчика
Недавно автор разбирался с шаблонами проектов Go и тем, как вы можете использовать некоторые из них для быстрого начала работы с Go-проектом (пример шаблона для простого CLI на Go). Данным шаблонам не хватало только тестов👇
🔗 Читать
Недавно автор разбирался с шаблонами проектов Go и тем, как вы можете использовать некоторые из них для быстрого начала работы с Go-проектом (пример шаблона для простого CLI на Go). Данным шаблонам не хватало только тестов👇
🔗 Читать
Thomas Stringer
Creating and Using Go Project Templates
I love writing software in Go. It is by far what I’ve been using for the better part of many years now. Most of us developers (Go or otherwise) fall under one of two categories, or somewhere in between:
🔥8👍2🥱1
❗️Мы запускаем серию исследований — и вы можете нам в этом помочь!
«Библиотека программиста» выпустит несколько статей, в которых мы проведем полноценные исследования.
Помогите нам выбрать интересные темы: может быть, вы давно хотели узнать, как изменилась зарплата у тех, кто релоцировался? Или гадаете, сколько лет нужно, чтобы стать миддлом?
Присылайте интересующие вас темы в комментарии — интересные мы возьмем в работу и поделимся с вами результатами 💙
«Библиотека программиста» выпустит несколько статей, в которых мы проведем полноценные исследования.
Помогите нам выбрать интересные темы: может быть, вы давно хотели узнать, как изменилась зарплата у тех, кто релоцировался? Или гадаете, сколько лет нужно, чтобы стать миддлом?
Присылайте интересующие вас темы в комментарии — интересные мы возьмем в работу и поделимся с вами результатами 💙
👍2🔥2❤1
🤔 Python — лёгкий. Go — простой. Простой != легкий
Статья, посвященная симбиозу, который Preslav Rachev и его команда нашли при использования Python и Go.
Не менее интересно читать обсуждение на Hacker News. Присоединяйтесь!
Статья, посвященная симбиозу, который Preslav Rachev и его команда нашли при использования Python и Go.
Не менее интересно читать обсуждение на Hacker News. Присоединяйтесь!
Preslav Rachev
Python is Easy. Go is Simple. Simple != Easy.
Python and Go have distinct qualities that can complement each other.
🔥9🥱4
Если вы новичок в Go, у вас могут возникать вопросы вроде этих: «Почему функции обычно изменяют мапы и срезы, но не другие типы данных?», «Почему мой срез не изменяется, когда я добавляю к нему элементы в функции?», «Почему присваивание нового значения параметру-указателю не оказывает никакого эффекта за пределами функции?».
Цель руководства — дать понятные ответы на эти и другие вопросы и на простых примерах объяснить не самые очевидные аспекты Go.
Please open Telegram to view this post
VIEW IN TELEGRAM
👍12🥱2❤1🔥1
Друзья, мы хотим делать для вас самый лучший контент — и для этого нам нужно узнать вас получше.
Пожалуйста, ответьте на несколько вопросов — это поможет нам делать более полезные и интересные посты!
Первая часть опроса 👇
Please open Telegram to view this post
VIEW IN TELEGRAM
❤5👍2
Ваш возраст:
Anonymous Poll
3%
Менее 18 лет
24%
18-24 года
39%
25-34 года
24%
35-44 года
6%
45-54 года
1%
55-64 года
3%
65 лет и старше
😁9👍2
😁7👏3🤔3
В каком городе вы живете последние 3 месяца?
Anonymous Poll
25%
Москва
9%
Санкт-Петербург
3%
Краснодар
2%
Нижний Новгород
3%
Минск
2%
Екатеринбург
3%
Киев
1%
Львов
4%
Алматы
48%
Другое
😁8❤6👍1
💡Стек или куча?
🤔 Живет ли переменная на стеке вызовов, или она динамически выделена в куче?
В большинстве случаев вам не стоит беспокоиться об этом. Go собирает мусор и автоматически очищает неиспользуемые переменные.
Однако сборка мусора имеет свою цену, поэтому чем меньше выделений делает ваш код, тем быстрее он может работать.
📌 Как узнать, выделяется ли переменная в куче?
Некоторые операции по умолчанию вызывают выделение памяти в куче и поэтому легко обнаруживаются и исправляются. Вот несколько примеров:
🔸Строковые переменные неизменяемы. Конкатенация двух строк приводит к новой аллокации и сборке мусора. В качестве альтернативы можно использовать
🔸Срезы, которые растут за пределы своей емкости, реаллоцируются. Решение: предварительно выделить срез с помощью
🔸Когда функция создает локальную переменную и возвращает указатель на эту переменную, переменная должна быть выделена в куче.
📌 Однако есть ситуации, когда выделения в куче неочевидны. Подумайте об указателях, скрытых внутри других типов данных, таких как срезы или мапы. Или рассмотрите массивы. Если массив слишком большой, чтобы жить на стеке, он выделяется в куче.
📌 Как найти эти случаи выделения в куче?
Запустите или скомпилируйте свой код с флагом сборки мусора "
#tip
🤔 Живет ли переменная на стеке вызовов, или она динамически выделена в куче?
В большинстве случаев вам не стоит беспокоиться об этом. Go собирает мусор и автоматически очищает неиспользуемые переменные.
Однако сборка мусора имеет свою цену, поэтому чем меньше выделений делает ваш код, тем быстрее он может работать.
📌 Как узнать, выделяется ли переменная в куче?
Некоторые операции по умолчанию вызывают выделение памяти в куче и поэтому легко обнаруживаются и исправляются. Вот несколько примеров:
🔸Строковые переменные неизменяемы. Конкатенация двух строк приводит к новой аллокации и сборке мусора. В качестве альтернативы можно использовать
strings.Builde
r.🔸Срезы, которые растут за пределы своей емкости, реаллоцируются. Решение: предварительно выделить срез с помощью
make(
)
.🔸Когда функция создает локальную переменную и возвращает указатель на эту переменную, переменная должна быть выделена в куче.
📌 Однако есть ситуации, когда выделения в куче неочевидны. Подумайте об указателях, скрытых внутри других типов данных, таких как срезы или мапы. Или рассмотрите массивы. Если массив слишком большой, чтобы жить на стеке, он выделяется в куче.
📌 Как найти эти случаи выделения в куче?
Запустите или скомпилируйте свой код с флагом сборки мусора "
-
m", и команда Go выведет заметку каждый раз, когда переменная перемещается или уходит со стека в кучу:go run -gcflags "-m"
или
go tools compile -m
#tip
🔥61👍9⚡2🎉1💯1
Forwarded from Библиотека программиста | программирование, кодинг, разработка
🏆 Самые популярные языки программирования 2023
Популярность ЯП зависит от нескольких факторов. Мы разобрались с ними, составили сводный рейтинг и обсудили особенности, преимущества, недостатки и причины популярности каждого языка. Заходите и читайте👇
🔗 Читать статью
🔗 Зеркало
Популярность ЯП зависит от нескольких факторов. Мы разобрались с ними, составили сводный рейтинг и обсудили особенности, преимущества, недостатки и причины популярности каждого языка. Заходите и читайте👇
🔗 Читать статью
🔗 Зеркало
🔥7👍2🤔2❤1
Библиотека Go-разработчика | Golang
Продолжаем наш опрос — вторая часть👇
👍3❤1🥱1
В какой стране вы живете последние 3 месяца?
Anonymous Poll
63%
Россия
6%
Украина
3%
Беларусь
5%
Казахстан
1%
Польша
1%
Кыргызстан
2%
Узбекистан
1%
США
2%
Грузия
16%
Другое
😁8🥱6🌚1
Ваш доход в месяц после налогов:
Anonymous Poll
13%
до $500
6%
от $501 до $800
6%
от $801 до $1100
15%
от $1101 до $2000
19%
от $2001 до $3000
15%
от $3001 до $4000
9%
от $4001 до $5001
5%
от $5001 до $6000
12%
от $6001
🥱15😁11❤5🌚2👍1
Какой у вас коммерческий опыт работы в IT?
Anonymous Poll
38%
от 6 лет
21%
от 3 до 6 лет включительно
19%
от 1 до 3 лет включительно
7%
до 1 года
15%
нет опыта
🥱9🔥3❤1👏1
🔧 Существует несколько инструментов, которые позволяют относительно легко получать, запускать и управлять такими моделями локально.
🤩 Например, Ollama (написана на Go) LocalAI (тоже в основном на Go). Eli Bendersky делится опытом использования Ollama для локального запуска модели, взаимодействия с ней с помощью API и интеграции ее в Go-проект с помощью LangChainGo.
Please open Telegram to view this post
VIEW IN TELEGRAM
👍10🤔2
Библиотека Go-разработчика | Golang
Продолжаем наш опрос — вторая часть👇
Продолжаем наш опрос — последняя, третья часть👇
👍6