Маjко
Ну nll не только геттерами полезен :)
Vladimir
программист сам должен знать как скобочки расставлять
Vladimir
в наше время такого не было, вот пусть и у других не будет
Маjко
Кого там опускали, я пропустил
Anonymous
Кого там опускали, я пропустил
Ты по-любому в этот момент в го чатике был)
darkmentat
Там его попускали за то, что он жалуется что борроучекер не позволяет часть структуры одолжить, пообещав, что в другую не будет смотреть
darkmentat
Ну вот потому я и не жаловался х)
Loyd
Ты бы усложнил синтаксис вместо того, чтобы декомпозировать?
Loyd
Вообще для меня вот предоставление частей структуры воняет как из помойки. Либо это объект и ты инкапсулируешь всё, предоставляя определённое поведение. Либо это просто структурки и тебе вообще не нужны никакие методы на нём
darkmentat
Прост сейчас часто нельзя передать структуру в функцию, а надо передать 6 её полей как параметры
Loyd
Я бы улучшил BorrowCk
Он работает до сигнатур
Маjко
Нц одалживание частей то не только в методах надо
Loyd
Либо ты позволяешь ему лезть внутрь (не всегда можно, дохуя медленно и неочевидно), либо ты усложняешь синтаксис
Маjко
Так что сигнатуры ни при чем
Loyd
Не знаю, о каком кейсе говоришь ты, то в том кейсе, всё было именно про это
Маjко
Да я уже и без этого привык бить то, что надо на подструктуры и отдельно потом раздавать полностью декомпозируя исходную структуру
Loyd
он хотел get_mut_a() и get_mut_b()
darkmentat
Ну это тоже, прост солидарен я именно про то, что сказал
Маjко
он хотел get_mut_a() и get_mut_b()
Ну если раст научится смотреть еще и внутрь и проверять, что нет мутации общих частей — я буду только рад
Сережа
что сможешь драться на бумажных мечах полчаса, пока компилируется как диды в 80?
Маjко
Квантовые компы грядут
Маjко
Всё уже спланировано
Маjко
Их же к Rust 2.0 делают
Маjко
Неужели неочевидно
Loyd
xd
Vladimir
Ну если раст научится смотреть еще и внутрь и проверять, что нет мутации общих частей — я буду только рад
ну это же херня, ну. Если ты сделаешь такой глубокий анализ, то есть вероятность, что маленький рефактор кода, сможет сломать большое дерево которое опиралось на такое правило, достаточно добавить где-то дополнительное заимствование
Маjко
Хаскеллисты живут с глобальным выводом типов и не жужжат
Маjко
Хотя так то та же херня
Сережа
и с аутизмом
Сережа
да и у них есть возможность явно указать тип
Маjко
Так то когда меняешь сигнатуру иммутабельной функции тоже ой сколько всего менять приходится
Loyd
В общем, опираться на интерфейс это хорошо
Loyd
Опираться на хуй пойми какой неявный вывод. Нет, спасибо
Маjко
А причём тут это?
При том что та же история: вывод типов не ограничен сигнатурой и неявен
darkmentat
У них вроде в кодстайле сказано, что надо писать типы
Loyd
да и у них есть возможность явно указать тип
Вообще там как бесппрактик идёт всё-таки указание
Сережа
Опираться на хуй пойми какой неявный вывод. Нет, спасибо
а как же языки успешных господ, жс, питон, руби?
Loyd
Она и выводится
Маjко
У них вроде в кодстайле сказано, что надо писать типы
Ты же знаешь где оказываетс кодстайл когда язык адаптируют в крупном интерпрайзе
Маjко
При выводе нет сигнатуры
Я об этом и говорю
Маjко
И где там вывод?
Он видимо про дактайпинг
Сережа
типы есть, но они запрятаны, я думал там как раз вывод
Сережа
что у тебя в переменной лежит, попробуй угадай, строка или нумбер
Loyd
Нет там вывода. С каждым объектов идёт тег, указывающий на тип. В рантайме
Маjко
Не, я на самом деле против всей этой неявной хуйни
Маjко
Интерфейс должен быть
Loyd
Это и есть интерфейс
Сережа
Опираться на хуй пойми какой неявный вывод. Нет, спасибо
такой интерфейс, который проверяется предположением что его соблюдают, ничем не лучше чем вывод
Сережа
а только хуже, вывод проверяется, будет сообщение об ошибке, а тут если в рантайме до этого дойдет то будет ексепшн
Loyd
Ну, я не защитник динамики, если чо
Loyd
Я и в жс на flow/ts пишу
Крылатый
Сережа
я мысль просто свою объясняю, мне полезно тренироваться
Loyd
У тебя Оля на аватарке
Marat
Non lexical lifetimes
Marat
Очередная фича в найтли, которую в стейбл не скоро завезут
doc
все ж на найтли
Marat
все ж на найтли
На alpine нету найтли
Marat
И rustup не работает
Loo
А на арчике есть
Marat
А на арчике есть
Игрушечный язык для игрушечного дистрибутива
Kerrigan
хочу написать игрушечный сервис
Kerrigan
какой там есть неигрушечный парсер хтмл
Kerrigan
который умеет в xpath или хотя бы селекторы какие
Loo
какой там есть неигрушечный парсер хтмл
quick-xml хайперформанс, ни в то ни в другое не умеет