Программирование[11]

GoldRobot написал 2 минуты назад:

Дуит на основе их наличия думал что питон статически типизированный язык, потому что увидел в документации к софтине static.

Теперь пытается выкрутиться и налить нам воды, как он делал это всегда до этого. В конце пукнет снова "Я прихожу сюда просто посрать. Хочу и пизжу", или как он тогда сформулировал.

Складывается впечатление, что ему не хватает понимания, как все реализуется на низком уровне. Как та же динамическая типизация реализована и как статическая. И из-за этого он несет какую-то дичь.

Grohuf написал 3 минуты назад:

GoldRobot написал 7 минут назад:

Дуит на основе их наличия думал что питон статически типизированный язык, потому что увидел в документации к софтине static.

Теперь пытается выкрутиться и налить нам воды, как он делал это всегда до этого. В конце пукнет снова "Я прихожу сюда просто посрать. Хочу и пизжу", или как он тогда сформулировал.

Складывается впечатление, что ему не хватает понимания, как все реализуется на низком уровне. Как та же динамическая типизация реализована и как статическая. И из-за этого он несет какую-то дичь.

чел

ты детали реализации конкретного компилятора сюда приписываешь

у тебя крыша (абстракции) текут)))

статическая типизация позволяет реализовывать оптимизации, типа выделения памяти не в общем виде, а в соответствии с типом - кто с этим спорит?

только если это в конкретном компиляторе не реализовывать это не значит что вдруг язык/код стал динамическим

ау блять

ты конкретно плюсовый компилятор, с его конкретными фишками и правилами, обобщаешь на все понятие статической типизации

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

тоесть статическая типизация - это наличие информации о типах на этапе до исполнения. а дальше как ты эту информацию используешь - твое право. хочешь доки генерируй, хочешь типы проверяй, хочешь оптимизации вкорячивай в компилятор

Grohuf said 29 minutes ago:

А как интерпретатор питона может проверить типы статически? Вот я указываю, что моя функция принимает int. Туда передается переменная, полученная из какой-то библиотеки. Как статически понять, что тип передаваемый в функцию некорректен?

у тебя в этой либе должны быть описаны типы.

например в тайпскрипте если либа не будет описана типами то ты получшиь any и нужно писать интерфейс адаптер (если у тебя strict non-any policy стоит). с текущим уровнем тс экосистемы 99% популярных либ уже идут с вшитыми типами или есть дополнительная либа с типами для либы, устанавливаешь через package manager либу и lib@types

Just.Doit написал 2 минуты назад:

Grohuf написал 3 минуты назад:

GoldRobot написал 7 минут назад:

Дуит на основе их наличия думал что питон статически типизированный язык, потому что увидел в документации к софтине static.

Теперь пытается выкрутиться и налить нам воды, как он делал это всегда до этого. В конце пукнет снова "Я прихожу сюда просто посрать. Хочу и пизжу", или как он тогда сформулировал.

Складывается впечатление, что ему не хватает понимания, как все реализуется на низком уровне. Как та же динамическая типизация реализована и как статическая. И из-за этого он несет какую-то дичь.

чел

ты детали реализации конкретного компилятора сюда приписываешь

у тебя крыша (абстракции) текут)))

статическая типизация позволяет реализовывать оптимизации, типа выделения памяти не в общем виде, а в соответствии с типом

только если это в конкретном компиляторе не реализовывать это не значит что вдруг язык/код стал динамическим

ау блять

Ну джастдуит опять случайно обосрался. Подпрыгивать, чтобы реализовать, нужно для динамической типизации. Для статической все просто. И если ты будешь писать код на ассемблере или машинных кодах, то первоначально у тебя получится код как со статической типизацией.

бля я думал вы там плюсовики умные. но кроме как двигать поинтер вправо нихуя не понимаете

Цитата

А как интерпретатор питона может проверить типы статически? Вот я указываю, что моя функция принимает int. Туда передается переменная, полученная из какой-то библиотеки. Как статически понять, что тип передаваемый в функцию некорректен?

ты удивишься, но это легко сделать если ты предоставишь информацию о типах откудато еще

например в TS это сделано через возможность описания дефициний типов, которые применяются в API библиотек джаваскриптовых - и это отлично работает

есть подход compile the whole world - подаешь библиотеки в виде исходников и анализатор из исходного кода выводит типы

вариантов масса

то что вы даже не можете представить как это может работать говорит что вы нихуя кроме плюсов и не пониматее даже, пиздец

Just.Doit написал 13 минут назад:

я прав во всем

вот вам компилятор питона в натив который делает оптимизации на основе информации о типах

https://cython.readthedocs.io/en/latest/src/quickstart/cythonize.html

то что он называется цайтон - это название компилятора, язык там "pure python" работает, такой же как в "обычном" питоне

цайтон это тоже самое что не плюсы а gcc 

Just.Doit написал 29 минут назад:

да просто кажется в 2к23 это дефолт уже примерно везде а говорится как будто невиданная инновация

вон у них даже в плюсах это есть, со слов байтоебов

В смысле корутины на многопоточке под абстракцией везде можно замутить, а вот наоборот напрямую работать с посикс тредами не везде без пердолинга возможно

Just.Doit написал Только что:

вот вам компилятор питона в натив который делает оптимизации на основе информации о типах

https://cython.readthedocs.io/en/latest/src/quickstart/cythonize.html

то что он называется цайтон - это название компилятора, язык там "pure python" работает, такой же как в "обычном" питоне

цайтон это тоже самое что не плюсы а gcc 

Ты же понимаешь, что это уже не питон? Также как C++ - это не C? 

Grohuf написал 4 минуты назад:

Ты же понимаешь, что это уже не питон? Также как C++ - это не C? 

я все описал насчет питон это или не питон

там такой же питон код используется как и в интерпретаторе "стандартном" питона

сравнение плюсов и си не корректно тк язык такой же - питон

сравнение корректно как у двух разных компиляторов - Microsoft Visual C++ compiler / GCC

да питон заебись на самом деле. раньше сам не мог на нём писать. а сейчас втянулся. + РАБот очень много за нормальный кэш. вроде даже в некоторый HFT шопах на питоне пишут. офк, не хай перформанс алгоритмы, но дефолт инфру и apis.

тупо в ноль размотал, плюсовики ебаные САСАТЬ

Just.Doit написал 1 минуту назад:

тупо в ноль размотал, плюсовики ебаные

их уже жизнь размотала 

Just.Doit написал 2 минуты назад:

там такой же питон код используется как и в интерпретаторе "стандартном" питона

Жалко что в питоне, как в языке программирования, отсутствует информация статическая о типах.

А есть только подсказки о типах. Которые цизону даже не обязательны.

И вообще, у луа тоже есть интерпретаторы которые могут из коментария подсмотреть тип. Итого: Луа статически типизированный язык.

Всем на этом спасибо, все свободны, расходимся.

Какой язык самый дорогой на рынке?что востребовано для галер, продукта?

GoldRobot написал 1 минуту назад:

Just.Doit написал 9 минут назад:

там такой же питон код используется как и в интерпретаторе "стандартном" питона

Жалко что в питоне, как в языке программирования, отсутствует информация статическая о типах.

А есть только подсказки о типах. Которые цизону даже не обязательны.

 

И вообще, у луа тоже есть интерпретаторы которые могут из коментария подсмотреть тип. Итого: Луа статически типизированный язык.

 

Всем на этом спасибо, все свободны, расходимся.

ну вот это собственно мой поинт был

на питоне можно писать также как на любом другом статически типизированном языке

но он им не является.

почему?

также как на хаскеле и скале можно писать с динамической типизацией. но они статически типизированные

почему?

потому что есть понятие основных юзкейсов

вот с байтоебством плюсов также. он байтоебный потому что это основной фокус. а джава не байтоебная, даже если там можно ебаться с байтами и даже ходить в натив, но основные юзкейсы не такие

в этом и был поинт, макаки вы плюсовые

sB.Raven написал 1 минуту назад:

Какой язык самый дорогой на рынке?

бычий

GoldRobot said 1 minute ago:

Just.Doit said 9 minutes ago:

там такой же питон код используется как и в интерпретаторе "стандартном" питона

Жалко что в питоне, как в языке программирования, отсутствует информация статическая о типах.

А есть только подсказки о типах. Которые цизону даже не обязательны.

 

И вообще, у луа тоже есть интерпретаторы которые могут из коментария подсмотреть тип. Итого: Луа статически типизированный язык.

 

Всем на этом спасибо, все свободны, расходимся.

тока этого хватает для работ.

и без проблем можешь в юса 250к+ получать в год на питоне.

опять же. всем в целом похуй на чём ты пишешь -- если это не спец проект который под перфоманс заточен. уже несколько лет обороты набирают интервью типа проектирования системы. собственно это та область которую сейчас нужно оттачивать и неплохо было бы экосистемы какого-нибудь дефолтного клауд провайдера знать. чтобы понимать как че работает и как всё вместе интегрировать. с текущим уровнем llm код можно в 5-10 раз быстрее писать. надо просто знать че писать и где писать.

В стандарте питона нет статических типов https://docs.python.org/3/reference/datamodel.html

Так тчо если какие-то реализации сделали статическую типизацию, то это будет расширение питона с обратной поддержкой (хотя вряд ли бы получилось её сделать, тогда бы крашились программы, где у переменных менялся тип)

sB.Raven said 1 minute ago:

Какой язык самый дорогой на рынке?что востребовано для галер, продукта?

go/python/typescript

языка мало. нужно экосистему знать.

выбери чё-та одно и учи дефолтные либы.

JuJeu написал Только что:

GoldRobot написал 4 минуты назад:

Just.Doit написал 13 минут назад:

там такой же питон код используется как и в интерпретаторе "стандартном" питона

Жалко что в питоне, как в языке программирования, отсутствует информация статическая о типах.

А есть только подсказки о типах. Которые цизону даже не обязательны.

 

И вообще, у луа тоже есть интерпретаторы которые могут из коментария подсмотреть тип. Итого: Луа статически типизированный язык.

 

Всем на этом спасибо, все свободны, расходимся.

тока этого хватает для работ.

и без проблем можешь в юса 250к+ получать в год на питоне.

опять же. всем в целом похуй на чём ты пишешь -- если это не спец проект который под перфоманс заточен. уже несколько лет обороты набирают интервью типа проектирования системы. собственно это та область которую сейчас нужно оттачивать и неплохо было бы экосистемы какого-нибудь дефолтного клауд провайдера знать. чтобы понимать как че работает и как всё вместе интегрировать. с текущим уровнем llm код можно в 5-10 раз быстрее писать. надо просто знать че писать и где писать.

байтоебы не поймут твоих высоких абстракций

у них кешлинии и размеры инта в ячейке памяти

все что крупнее - не существует