AL
Вода циркулирует по трубам и отдает тепло
Size: a a a
2020 June 28
AL
Правда, не знаю, как это будет работать в отопительный сезон
EG
Хочу синтаксический сахар для вызова функций, у которых в аргументах одна структура
Как в эээ Vlang? кажется
Как в эээ Vlang? кажется
EG
struct ComplexStruct {
a: i32,
foo: String,
}
fn bar(st: ComplexStruct) { ... }
bar(a: 123, foo: "test".into())H
struct ComplexStruct {
a: i32,
foo: String,
}
fn bar(st: ComplexStruct) { ... }
bar(a: 123, foo: "test".into())Можно
bar((123, "test".to_owned()))EG
Можно
bar((123, "test".to_owned()))Можно и просто
bar(123, "test".into()), но это менее читаемо, чем именованные аргументыEG
Особенно для всяких конфигов
EG
Билдер паттерн не всегда приятен
H
А
bar(ComplexStruct { ... }) ?EG
А
bar(ComplexStruct { ... }) ?Некрасиво + длинно
EG
Собственно, сахар в том, чтобы не писать ComplexStruct {}
EG
Компилятор это и так знает с гарантией
VS
Теретья серия третьего сезона «Чёрное Зеркало» просто офигенно. Годный троллинг я шитаю. Яб с удовольствием сам такое бы провернул. 😁
AZ
Погугли общезначимость
ЕС
Вывод же)
ЕС
То что справа выводится из того что слева.
ЕС
Первый пример например следует читать как:
Если x имеет тип A - положение из коллекции положений Г, то из Г можно вывести что x имеет тип А
Это первое правило вывода типов по Хиндли-Миллнеру
Если x имеет тип A - положение из коллекции положений Г, то из Г можно вывести что x имеет тип А
Это первое правило вывода типов по Хиндли-Миллнеру
H
Вывод же)
ага, в другой главе прочитал уже
H
но нотация ппц неочевидная, я еле втюхал что происходит