G72K
Яснее не стало :) не дорос
Денис
думаю это можно перевести как "непротиворечивость"
Andrei
here, I've googled it for you — https://dev.to/rosstate/java-is-unsound-the-industry-perspective
Денис
Яснее не стало :) не дорос
там есть поясняющий пример в разделе "Validation vs. soundness"
qthree
Αλεχ
Вообще учитывая эту фразу The converse of soundness is known as completeness.
Αλεχ
и вспомниая теорему Геделя, можно предположить, что это непротиворечивость всё же
Денис
и вспомниая теорему Геделя, можно предположить, что это непротиворечивость всё же
ну я как раз из таких соображений и исходил
Ignat
У нас в курсе матлога/теории типов называли непротиворечивостью
Αλεχ
что ему не нравится? https://play.rust-lang.org/?gist=aec7fff4708f95d8a835643cf6e9fef6&version=stable&mode=debug&edition=2015
Αλεχ
про ptr ладно, а про sized?
Αλεχ
я ж написал Sized
კაცი
where T: Sized тоже не хочет, странно
պլհկ
Object safety rules читайте
kitsu
вброс-time
kitsu
Поддержка фортрана и в clion'е есть. То есть перспективность и распространенность фортрана примерно как у раста :-)
Денис
так-то я думаю фортран более распространён, чем раст)
Victor
Перспективность врятли, а вот распространённость у Фортрана всяко больше.
Victor
вброс удался )
Денис
=))
Berkus
Перспективность врятли, а вот распространённость у Фортрана всяко больше.
больше даже чем у с++
Berkus
йеп, там ОЧЕНЬ много математики написано
stalkerg
йеп, там ОЧЕНЬ много математики написано
только уже не очень актуально, актуально только жля очень узких задачь
stalkerg
а так счас python всех бьёт ;)
Vladislav
а так счас python всех бьёт ;)
Ну не может язык программирования считаться полноценным, если в качестве отделения блоков кода используется whitespace символы)
stalkerg
stalkerg
но вообще главное упущение раста это {}
Pavel
вот да, сделали бы как в окамле, читалось бы намного чище
Денис
вы каналом не ошиблись?)
doc
Vladislav
легко отстрелить себе ногу)
Mikhail
а так счас python всех бьёт ;)
так в составе numpy некоторые алгоритмы реализованы на фортране, с биндингом из питона к библиотеке.
Денис
разве numpy — это не сишная либа с питоновским интерфейсом?
Vladislav
когда я писал на плюсах в буржуйской конторе, у нас кодстайлом было прямо запрещено писать без {} - типа однострочных циклов
stalkerg
так в составе numpy некоторые алгоритмы реализованы на фортране, с биндингом из питона к библиотеке.
есть такое. К слову там что то с патентами есть
Денис
как — легко) случайно пропускаешь или добавляешь отступ в каком-нибудь цикле и приезжаешь
doc
как — легко) случайно пропускаешь или добавляешь отступ в каком-нибудь цикле и приезжаешь
ни разу не стрелял) вообще не понимаю проблемы людей с отступами
Mikhail
случайно пишешь инструкцию не в том блоке кода в каком-нибудь цикле и приезжаешь
doc
видно же все хорошо, особенно если норм IDE
Vladislav
особенно было круто кодить под дос) когда при стечении обстоятельств комп вис намертво
Денис
ни разу не стрелял) вообще не понимаю проблемы людей с отступами
аа, ну раз ты ни разу не стрелял, значит проблемы ни у кого не может быть, всё хорошо )
doc
аа, ну раз ты ни разу не стрелял, значит проблемы ни у кого не может быть, всё хорошо )
ну я ж не говорю, что скобочки плохо
Денис
имхо скобочки это хорошо )
stalkerg
ни разу не стрелял) вообще не понимаю проблемы людей с отступами
и я... редактор часто ещё не позволяет
Vladislav
я не люблю два языка - питон и паскаль) и оба языка за блоки кода)
stalkerg
случайно пишешь инструкцию не в том блоке кода в каком-нибудь цикле и приезжаешь
.нету такого, это надуманные страхи
Mikhail
а с отступами - не надуманные?
Berkus
как?)
в одном месте н пробелов, а дальше вместо них 1 таб, и это выглядит одинаково, а на деле разные отступы. взрывает всё
stalkerg
ещё раз, проблем и ошибок с отступами нету, вообще. У меня их не было даже в 2003 году когда я начал питон учить
Vladislav
бгг))
stalkerg
после си++
Berkus
ни разу не стрелял) вообще не понимаю проблемы людей с отступами
анекдотал евиденс, когда выстрелишь, расскажи
Berkus
(не если, а когда)
Vladislav
хорошо сейчас в модных ide)
Vladislav
можно на хабре почитать блог про статический анализатор - они там регулярно такое выкладывают в опенсорсных проектах
kitsu
в одном месте н пробелов, а дальше вместо них 1 таб, и это выглядит одинаково, а на деле разные отступы. взрывает всё
да ладно, неужель кто-то не включает print invisible symbols?
Vladislav
если один пишешь код - то как хочешь, так и дрочешь. а если команда, то код должен быть максимально понятным в любых условиях
Αλεχ
особенно когда правлю где-нибудь по ssh в виме скрипт
Αλεχ
и у меня нет ни подсветки нормальной, ни мышки
Αλεχ
что далеко от разработки?
Αλεχ
на проде взорвался скрипт
Αλεχ
понял в чем дело
Αλεχ
нужно поправить на месте
Αλεχ
точнее на тесте, но не важно
stalkerg
особенно когда правлю где-нибудь по ssh в виме скрипт
без подсветки и скрытых символов, это точно вим а не ви?
Αλεχ
но по сравнению с pycharm просто нулевая
Αλεχ
и там постоянно invalid syntax или еще какое-то говно
doc
Могу на скобочки накинуть, но не буду. Обе подхода нормальные