@nodejs_ru

Страница 492 из 2748
Darth
09.01.2017
16:34:19
Иди погугли и потом вернись

Aleh
09.01.2017
16:34:49
короч ты слился, все ясно

Darth
09.01.2017
16:35:17
Это строгая ДИНАМИЧЕЧКАЯ типизация

Google
Aleh
09.01.2017
16:35:26
строгая

Aleksei
09.01.2017
16:35:26
Пример кода - я то знаю, что это не строгая типизация)
В питоне строгая, просто динамическая и неявная. Это немного разные вещи все

Aleh
09.01.2017
16:35:27
прикинь

я так и написал

лол

Darth
09.01.2017
16:35:55
Это динамика с десятоком строк кода для проверки

Vladimir
09.01.2017
16:35:57
https://docs.python.org/3/library/typing.html

Aleh
09.01.2017
16:35:58
я нигде не говорил про статическую или динамическую

Darth
09.01.2017
16:36:02
Ты сам такую можешь сделать

Просто расширяешь и переписываешь классы или что там в этом демо языке

Aleh
09.01.2017
16:37:04
что ты пытаешь опровергнуть? Что она стргая?

Darth
09.01.2017
16:37:10
Это не строгая типизация - это просто проверки

Google
Aleksei
09.01.2017
16:37:10
> @aleksei0807 В теории можно что угодно говорить, но на практике многопоточность всегда побеждает по скорости эмм, а эвент луп на каждое ядро это не многопоточность?
Многопоточность, но такой подход проигрывает зеленым потокам. Тебе еще на gc, кстати отдельное ядро надо по хорошему. Или будут просадки постоянные

Aleh
09.01.2017
16:37:12
ты вот сам подтвердил, что она строгая

я ничего другого не заявлял

нет
что нет?)

Aleksei
09.01.2017
16:37:34
я так и написал
Пока писал не увидел

Aleh
09.01.2017
16:37:49
Пока писал не увидел
не тебе отвечал)

Мерлин
09.01.2017
16:37:55
почему питон не любят в связке в ангулар/реактом ?
Не любят его жсисты, которых обстоятельства заставляют писать на чём-то, кроме js Ваш кэп

Vladimir
09.01.2017
16:38:10
> @aleksei0807 Многопоточность, но такой подход проигрывает зеленым потокам. без пруфов как то слабо верится

Kirill
09.01.2017
16:38:16
я так и написал
ты не так написал. "я так и написал" значит, что ты указал все части мысли. строгая типизация по умолчанию статическая, для динамической нужно уточнение, иначе будет конфликт понимания.

sanqa
09.01.2017
16:38:30
ну хз обычно кто пишет на питон спа называют геями DD

Aleh
09.01.2017
16:38:36
красное по умолчанию легкое

это разные плоскости

Aleksei
09.01.2017
16:39:25
> @aleksei0807 Многопоточность, но такой подход проигрывает зеленым потокам. без пруфов как то слабо верится
Ну возьми задачу. Напиши ее на го и на js, ну и можешь еще взять какой-то однопоточный асинхронный язык. И глянь

Мерлин
09.01.2017
16:39:32
красное по умолчанию легкое
+ Асинхронность и параллельность - это ортогональные вещи

Aleh
09.01.2017
16:40:01
также как и строгая/слабая и статическая/динамическая, ортогональные вещи

в питоне строгая, и пока что с этим все согласны

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

Darth
09.01.2017
16:40:55
лооол
Еще раз напишу типизация в вашем языке не строгая. Преобразования и типизация это разные вещи. У вас просто проверки на преобразования добавили

Google
Мерлин
09.01.2017
16:41:34
C - слабая статическая Js - слабая динамическая Python - строгая динамическая Rust, Go - как хотите, так и пляшите

Darth
09.01.2017
16:42:41
Боже, жсеры, какой тип типизации в си по вашему?

Aleh
09.01.2017
16:42:50
слабая статическая

тебе ж написали

Kirill
09.01.2017
16:42:55
Мерлин
09.01.2017
16:43:07
В go сильная статическая. И не попляшешь тут
Интерфейсы, пустой интерфейс и unsafe позволяют творить магию :3

Aleksei
09.01.2017
16:43:09
В go сильная статическая. И не попляшешь тут
С выводом типов, следует добавить, а то начнется

Aldar
09.01.2017
16:43:19
Боже, жсеры, какой тип типизации в си по вашему?
ужасная, неявные преобразования типов, null и undefined

Aleh
09.01.2017
16:43:36
Мерлин
09.01.2017
16:43:50
Vasiliy
09.01.2017
16:44:07
жсеры) фигасе тут баталии

Darth
09.01.2017
16:44:27
Если у тебя возможность неявного преобразования пофикшена проверктой это не добавляет строгой типизации - все осталось, как и раньше, просто появились проверки, понимаешь разницу?

Дмитрий
09.01.2017
16:44:27
Вы так жарко спорите

Kirill
09.01.2017
16:44:39
Интерфейсы, пустой интерфейс и unsafe позволяют творить магию :3
и те, кто говорят, что в Go нет адресной математики -- либо неопытные, либо пиздоболы.

Google
Дмитрий
09.01.2017
16:44:40
И забыли, что это сильная, а не строгая

Darth
09.01.2017
16:44:50
Ты можешь сам такое делать

Aleksei
09.01.2017
16:44:54
Интерфейсы, пустой интерфейс и unsafe позволяют творить магию :3
Но типизация-то от этого слабой точно не становится. Да и динамической только при очень извращенных идеях)

Aleh
09.01.2017
16:44:59
И забыли, что это сильная, а не строгая
на русский по-всякому переводят(

но вообще да, сильная

Aldar
09.01.2017
16:45:35
Мерлин
09.01.2017
16:45:59
Но типизация-то от этого слабой точно не становится. Да и динамической только при очень извращенных идеях)
Нууу можно Хотя да, это малоприменимо, так что для большинства случаев таки строгая

Darth
09.01.2017
16:46:57
Это вообще то это и есть строгая типизация, по определению :3
Если я в руби стандартным классам дам методы преобразования, то язык получит слабую типизацию? Нет. Архитектура и костыли - это разные вещи.

Admin
ERROR: S client not available

Aleksei
09.01.2017
16:46:57
Нууу можно Хотя да, это малоприменимо, так что для большинства случаев таки строгая
В гудланге будут динамические типы, но мы пока еще думаем как это лучше организовать, есть несколько вариантов

Мерлин
09.01.2017
16:47:48
Если я в руби стандартным классам дам методы преобразования, то язык получит слабую типизацию? Нет. Архитектура и костыли - это разные вещи.
Да, ты таки получишь слабую типизацию И если ты думаешь, что в архитектурах яп нет костылец - то ты живёшь в прекрасной матрице :3

Aleh
09.01.2017
16:48:00
если преобразования будут происходить неявно

то да, слабая

Мерлин
09.01.2017
16:48:11
Aleksei
09.01.2017
16:48:12
И проблема больше даже не в реализации, а в том как бы не превратить язык в js. Начнут потом складывать лошадь и мягкий

Kirill
09.01.2017
16:48:21
В гудланге будут динамические типы, но мы пока еще думаем как это лучше организовать, есть несколько вариантов
не динамические типы, а динамический объект, внутри которого свойства будут любого типа.

чтобы json было проще декодить и тому подобное.

Мерлин
09.01.2017
16:48:52
не динамические типы, а динамический объект, внутри которого свойства будут любого типа.
Динамическую диспетчеризацию? Нууууууу Это изврат, который я не понимаю То есть зачем? Я понимаю нафига это нужно в том же делфи

Google
Eduard
09.01.2017
16:50:48
А что об этом скажите? http://www.scala-native.org/

Aleksei
09.01.2017
16:50:51
Динамическую диспетчеризацию? Нууууууу Это изврат, который я не понимаю То есть зачем? Я понимаю нафига это нужно в том же делфи
На языке часто пишут бэк, то есть гонять туда сюда json это одна из самых частых задач, а сейчас это дикая боль. И там вообще говоря будут не любые типы, а только такие, которые соответствуют валидному json

Aleksei
09.01.2017
16:52:22
Ну сделайте опциональные типы
Обдумываем алгебру типов. Я вообще реквестирую, чтобы как в flow, но это я

Мерлин
09.01.2017
16:52:47
Прям вкусняшка

Aleksei
09.01.2017
16:53:24
Не знаю как во флоу Очень хочу как в руст
В раст владение. А нам эта концепция не особо нравится

Kirill
09.01.2017
16:53:26
Я кстати запили пропозал ещё две недели назад :3
да, как разберемся с интерфейсами -- запилю

Vladimir
09.01.2017
16:53:49
Мерлин
09.01.2017
16:53:57
В раст владение. А нам эта концепция не особо нравится
Владение - это прекрасно Но к алгебере типов это довольно ортогональная вещь

Aleksei
09.01.2017
16:54:30
А кто обдумывает то? Ты их гугла?
Мы с Кириллом вдвоем сначала, а потом выносим на всеобщее обсуждение

Vladimir
09.01.2017
16:54:49
Ну это, вас нахер пошлют скорее всего

Они даже дженерики родить не могут

Kirill
09.01.2017
16:55:07
Ну это, вас нахер пошлют скорее всего
ну это, если ты не понял, мы пилим форк.

Vladimir
09.01.2017
16:55:16
Это другое дело

Kirill
09.01.2017
16:55:36
они нахер послали thread-safe lock-free мапы, которые я почти доделал

Vladimir
09.01.2017
16:55:52
А лучше не форк, а другой язык с интеропом

Aleksei
09.01.2017
16:56:07
Владение - это прекрасно Но к алгебере типов это довольно ортогональная вещь
Я до раста нормально еще так и не дошел. Пока о нем почитываю, посматриваю, но еще на нем не писал. Я думаю скоро попишу и смогу сказать, у меня еще хаскель на примете. Сейчас я на этапе кложуры

Мерлин
09.01.2017
16:56:33
А лучше не форк, а другой язык с интеропом
Интероп с go без трансляции в go/из go - это лютая боль

Страница 492 из 2748