Ну, если говорить о JS, то у меня там линтер запрещает:
1) Юзать мутабельные переменные, если значение никем не меняется. Да и кейс мутабельности просто почти отсутствует.
2) Затенять переменные. Создавай переменную с другим именем. Иначе потом запутаешься.
3) Если, не дай Бог, затеняешь, делай это вначале блока, чтобы было видно. И только в том случае, если нигде не используешь значения затеняемых переменных.
В жс термина "затенение" нет, но он очень удобный. =)
хм. запутаешься? у тебя ничего не скомпилится же
Loo
доня.
И, т.е.
let x = foo();
let x = x.bar();
let x = x.bax();
Это безопасный код?
настолько же безопасный, как и до того как ты исправил)
Alex
компилятор дает скомпилировать? значит безопасный
Alex
хороший ли это уже другой вопрос.
Alex
в расте безопасность это немного другое )
Anonymous
Ну, т.е. можно написать безопасный код, но отстрелить ногу?
պլհկ
раст не спасает от логических ошибок (ВНЕЗАПНО)
Anonymous
=))
Alex
Ну, т.е. можно написать безопасный код, но отстрелить ногу?
отстрелить ногу логической ошибкой можно
Alex
но с затенением ногу отстрелить ... можно конечно, но ненужно
Loo
ушёл ебашить на stage-0
доня.
Anonymous
Вот. И у меня прямо на пороге возникло опасение, что увлечение затенением может подтолкнуть к логической ошибке. Но это чисто мои мысли.
Alex
Вот. И у меня прямо на пороге возникло опасение, что увлечение затенением может подтолкнуть к логической ошибке. Но это чисто мои мысли.
увлечение программированием опасно для вашей жизни.
Alex
я просто в математике ни бум бум
Евгений
Types are expressions, functions are proofs
Anonymous
кто тебе сказал что у меня их нет? ))
Ну, ты выглядишь адекватнее, а адекватный человек не может обижаться на язык программирования.
Alex
Ну, ты выглядишь адекватнее, а адекватный человек не может обижаться на язык программирования.
your assumptions all wrong
Евгений
Типа можно нахурять тип "для любого н натурального существует группа г, такая что..."
Alex
Типа можно нахурять тип "для любого н натурального существует группа г, такая что..."
блин, было бы круто конечно.
Евгений
https://github.com/rust-lang/rfcs/issues/1930
Alex
Я слышал что сейчас формально верифицируемый софт очень дорогой.
պլհկ
Типа можно нахурять тип "для любого н натурального существует группа г, такая что..."
можно, но не нужно (в русте)
Евгений
Я слышал что сейчас формально верифицируемый софт очень дорогой.
Ну тип ничего тебя не заставляет верифицировать абсолютно всё. Плюс большая часть тайп-сейфити раста это разновидности формальной верификации
Alex
> Ну тип ничего тебя не заставляет верефицировать абсолютно всё
Я читал это в контексте военных вертолетов
պլհկ
для экспериментов с системами типов есть х-ль уже и идрис
Anonymous
Эм... Замыканием может быть только анонимная ф-ция? Именованая им не является, и, соотв., не видит окружения?
Anonymous
И можно ли именованную объявлять внутри другой ф-ции?
պլհկ
да
Anonymous
Мне не оторвёт голову от такого?
let mut num = 1;
let oops = |x: i32| {
num = num + x;
};
Anonymous
Не, я такое писать не буду, конечно же.
Anonymous
fn _<F>(f: F) -> () where
F: Fn() -> () {
}
Anonymous
берет и поинтер на функцию и замыкание
Anonymous
Ойёй. С типами пока очень сложно читать.
Anonymous
Мутации через замыкания раст (компилятор) не запрещает?
Anonymous
let mut x = 1;
(|| x = 2 )();
Anonymous
ты про это?
Anonymous
работает
Anonymous
ага
Anonymous
У, я вижу, здесь можно понаделать кучу плохих вещей.
Anonymous
🤔
分解物質
Anonymous
определи слово "плохих"
Да нет определения чёткого. Заехал в хату, выясняю, как здесь жить принято.
Anonymous
я тоже если честно не понимаю о чем ты
доня.
У, я вижу, здесь можно понаделать кучу плохих вещей.
ну лол, ты создал мутабельную переменную и удивляешься, что её можно менять
не нужны мутации - не создавай мутабельных переменных, всё просто же
Anonymous
асинхронно ты ничего не сломаешь
Anonymous
ну лол, ты создал мутабельную переменную и удивляешься, что её можно менять
не нужны мутации - не создавай мутабельных переменных, всё просто же
Ну, это логично. Я просто задаю тупые вопросы и пока ничего не знаю, всему удивляюсь и везде тычу пальцем. Это нормально.
Anonymous
Через пару дней прекращу, честно.
Anonymous
* здесь просто нет чатика для новичков, так что извитите, если что.
Мерль
http://blog.jeffsmits.net/compsci/2017/08/06/a-stratego-interpreter-in-rust/
Safort
доня.
Да все норм, просто этот краб не распознал новичка)
да распознал я, он же уже писал что новичёк)
я ж это, без наезда, если вдруг показалось иначе - сорян
でゲソ
кстати
извините за наброс, господа, да и наверняка 100500 раз уже тему обсудили, но все же - почему для такого прекрасного раста так мало вакансий?
Очевидно потому что он даже полгода ещё не прожил после стабилизации?
でゲソ
Сколько сторонних либ/фреймворков с тех пор достигли стабильной версии?
でゲソ
Я один только alto и знаю
Anonymous
да распознал я, он же уже писал что новичёк)
я ж это, без наезда, если вдруг показалось иначе - сорян
Всё ок. Я осторожничаю, т.к. не знаю политику в отношении нубов. В для, например, ЖС специально нубский чат есть, ибо заебли. Но там сообщество — орда, и все устали от вопросов.
Anonymous
serde
Anonymous
лоллл
でゲソ
Он кстати ведь любой формат может кушать, если научить, да?
でゲソ
Или только жсон/хмл?