Aleksei
Пример кода - я то знаю, что это не строгая типизация)
В питоне строгая, просто динамическая и неявная. Это немного разные вещи все
Ale
прикинь
Ale
я так и написал
Ale
лол
Nikolay
Это динамика с десятоком строк кода для проверки
Vladimir
https://docs.python.org/3/library/typing.html
Ale
я нигде не говорил про статическую или динамическую
Nikolay
Ты сам такую можешь сделать
Nikolay
Просто расширяешь и переписываешь классы или что там в этом демо языке
Ale
что ты пытаешь опровергнуть? Что она стргая?
Nikolay
Это не строгая типизация - это просто проверки
Aleksei
> @aleksei0807 В теории можно что угодно говорить, но на практике многопоточность всегда побеждает по скорости эмм, а эвент луп на каждое ядро это не многопоточность?
Многопоточность, но такой подход проигрывает зеленым потокам. Тебе еще на gc, кстати отдельное ядро надо по хорошему. Или будут просадки постоянные
Ale
ты вот сам подтвердил, что она строгая
Ale
я ничего другого не заявлял
Ale
нет
что нет?)
Aleksei
я так и написал
Пока писал не увидел
Ale
Пока писал не увидел
не тебе отвечал)
Мерль
почему питон не любят в связке в ангулар/реактом ?
Не любят его жсисты, которых обстоятельства заставляют писать на чём-то, кроме js Ваш кэп
Vladimir
> @aleksei0807 Многопоточность, но такой подход проигрывает зеленым потокам. без пруфов как то слабо верится
Kirill
я так и написал
ты не так написал. "я так и написал" значит, что ты указал все части мысли. строгая типизация по умолчанию статическая, для динамической нужно уточнение, иначе будет конфликт понимания.
sanqa
ну хз обычно кто пишет на питон спа называют геями DD
Ale
красное по умолчанию легкое
Ale
это разные плоскости
Aleksei
> @aleksei0807 Многопоточность, но такой подход проигрывает зеленым потокам. без пруфов как то слабо верится
Ну возьми задачу. Напиши ее на го и на js, ну и можешь еще взять какой-то однопоточный асинхронный язык. И глянь
Мерль
красное по умолчанию легкое
+ Асинхронность и параллельность - это ортогональные вещи
Ale
также как и строгая/слабая и статическая/динамическая, ортогональные вещи
Ale
в питоне строгая, и пока что с этим все согласны
Ale
я уж думал мне тут будут показывать какие-то страшные кейсы
Nikolay
лооол
Еще раз напишу типизация в вашем языке не строгая. Преобразования и типизация это разные вещи. У вас просто проверки на преобразования добавили
Мерль
C - слабая статическая Js - слабая динамическая Python - строгая динамическая Rust, Go - как хотите, так и пляшите
Ale
а то тут люди прям путаться начали
Nikolay
Боже, жсеры, какой тип типизации в си по вашему?
Ale
слабая статическая
Ale
тебе ж написали
Мерль
В go сильная статическая. И не попляшешь тут
Интерфейсы, пустой интерфейс и unsafe позволяют творить магию :3
Aleksei
В go сильная статическая. И не попляшешь тут
С выводом типов, следует добавить, а то начнется
Алдар
Боже, жсеры, какой тип типизации в си по вашему?
ужасная, неявные преобразования типов, null и undefined
Anonymous
жсеры) фигасе тут баталии
Nikolay
Если у тебя возможность неявного преобразования пофикшена проверктой это не добавляет строгой типизации - все осталось, как и раньше, просто появились проверки, понимаешь разницу?
Дима
Вы так жарко спорите
Kirill
Интерфейсы, пустой интерфейс и unsafe позволяют творить магию :3
и те, кто говорят, что в Go нет адресной математики -- либо неопытные, либо пиздоболы.
Дима
И забыли, что это сильная, а не строгая
Nikolay
Ты можешь сам такое делать
Aleksei
Интерфейсы, пустой интерфейс и unsafe позволяют творить магию :3
Но типизация-то от этого слабой точно не становится. Да и динамической только при очень извращенных идеях)
Ale
И забыли, что это сильная, а не строгая
на русский по-всякому переводят(
Ale
но вообще да, сильная
Мерль
Но типизация-то от этого слабой точно не становится. Да и динамической только при очень извращенных идеях)
Нууу можно Хотя да, это малоприменимо, так что для большинства случаев таки строгая
Nikolay
Это вообще то это и есть строгая типизация, по определению :3
Если я в руби стандартным классам дам методы преобразования, то язык получит слабую типизацию? Нет. Архитектура и костыли - это разные вещи.
Aleksei
Нууу можно Хотя да, это малоприменимо, так что для большинства случаев таки строгая
В гудланге будут динамические типы, но мы пока еще думаем как это лучше организовать, есть несколько вариантов
Мерль
Если я в руби стандартным классам дам методы преобразования, то язык получит слабую типизацию? Нет. Архитектура и костыли - это разные вещи.
Да, ты таки получишь слабую типизацию И если ты думаешь, что в архитектурах яп нет костылец - то ты живёшь в прекрасной матрице :3
Ale
если преобразования будут происходить неявно
Ale
то да, слабая
Aleksei
И проблема больше даже не в реализации, а в том как бы не превратить язык в js. Начнут потом складывать лошадь и мягкий
Kirill
В гудланге будут динамические типы, но мы пока еще думаем как это лучше организовать, есть несколько вариантов
не динамические типы, а динамический объект, внутри которого свойства будут любого типа.
Kirill
чтобы json было проще декодить и тому подобное.
Мерль
не динамические типы, а динамический объект, внутри которого свойства будут любого типа.
Динамическую диспетчеризацию? Нууууууу Это изврат, который я не понимаю То есть зачем? Я понимаю нафига это нужно в том же делфи
А ВОТ ТЕПЕРЬ ПАБЛИК
А что об этом скажите? http://www.scala-native.org/
Aleksei
Динамическую диспетчеризацию? Нууууууу Это изврат, который я не понимаю То есть зачем? Я понимаю нафига это нужно в том же делфи
На языке часто пишут бэк, то есть гонять туда сюда json это одна из самых частых задач, а сейчас это дикая боль. И там вообще говоря будут не любые типы, а только такие, которые соответствуют валидному json
Aleksei
Ну сделайте опциональные типы
Обдумываем алгебру типов. Я вообще реквестирую, чтобы как в flow, но это я
Мерль
Прям вкусняшка
Aleksei
Не знаю как во флоу Очень хочу как в руст
В раст владение. А нам эта концепция не особо нравится