How to Go wrong
1.55K subscribers
11 photos
1 video
190 links
Download Telegram
👍18👎1
Создатель Rubinius’а внезапно среди авторов нового поста: https://go.dev/blog/wasi
👍2👎1
Интересный, конечно, способ репортить ошибки – именем пакета: https://github.com/golang/go/blob/master/src/cmd/dist/notgo120.go
👍5
Кен Томпсон всё-таки встроил бэкдор в компилятор Go… (нет)
Восхитительная статья. Даже не верится, что тот самый код только сейчас нашли и разобрали.

https://research.swtch.com/nih
3👍6
NilAway: Practical Nil Panic Detection for Go

Конечно, все любители Rust’а уже опять написали какой у них прекрасный язык
👍10
Open Source Supply Chain Security at Google: https://research.swtch.com/acmscored
👍2👎1
Forwarded from Go Update
🔒proposal: Tuple Types for Go

Я наконец оправился после конференции, а ребята из Go Core Team ненадолго вернулись к обсуждениям после ноябрьских праздников в США, перед тем как снова уйдут уже на рождественский отдых.

Итак, на повестке дня у нас новый тип - кортеж. Вообще кортежи много где встречаются - от sql до python. Идея проста: нужно хранить несколько значений друг с другом в одной конструкции и иметь доступ к ним по индексу. Условно говоря это такой массив фиксированной длины, у которого элементы могут быть разного типа.

И тут появляется традиционный вопрос - а зачем? Их много раз предлагали, но каждый раз упирались в вопрос "А чем мало простых структур?". И ведь правда, обычно структур должно хватать за глаза, а там где очень хочется можно притянуть множественный возврат из функции (тоже, кстати, своего рода кортеж). Но сила кортежей не в инновациях, а в облегчении каждодневной разработки. А именно в этих двух вещах:

• Для кортежа не нужно создавать отдельный тип (но можно). Ближайший аналог это анонимная структура, только в случае кортежа не нужно указывать имена полей.

• Для распаковки и упаковки кортежей в несколько переменных в язык добавляются специальные конструкции.

Посмотря на количество предложений, ребята наконец назрели и решили провести эксперимент по итогу которого сделали свое предложение: в их случае синтаксис выглядит как-то так:


val := (1, "foo", false)
x, y, z := val...
fn(val...) // вызываем функцию в которую распаковываем кортеж

func fn(int, string, bool) { ... }


Так-же можно получить конкретный элемент:


val := (1, "foo", false)
x := val.0 // получаем первый элемент


Функции тоже могут возвращать кортежи, но выглядит это немного странно (по причине обратной совместимости):


func f() ((int, int)) { // обратите внимание на двойные скобки


Однако по мнению Go Core Team это не настолько нужно, чтобы внедрять принципиально новый тип в язык. Поэтому сам proposal это даже не предложение, а скорее заметка о том, какое исследование они провели внутри Google и какие выводы сделали. Выводы кстати простые: делать они эту фичу не будут.

На мой взгляд, здесь они правы, так как для полноценного внедрения кортежей нужно было бы решать вопрос с возвратом функций без этих ужасных двойных скобок. Да и анонимные структуры решают 80% описанных проблем. Однако само исследование породило интересные выводы о том как можно улучшить язык не внедряя новые типы. Об этом мы поговорим в следующий раз.

P.S. И да я очень надеюсь вывести количество заметок хотя-бы до трех в месяц 😆️️️️️️
👍20👎1
На Хеллоуин не успели, но лучше поздно, чем никогда: https://go.dev/blog/deadcode
👍12👎1