
KlonD90
09.01.2017
16:34:18

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
Это динамика с десятоком строк кода для проверки

Kirill
09.01.2017
16:35:57

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

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

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

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

Aleh
09.01.2017
16:38:25

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

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

Aleksei
09.01.2017
16:39:25

Мерлин
09.01.2017
16:39:32

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

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

Aleh
09.01.2017
16:41:06

Google

Alice
09.01.2017
16:41:17

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

Aleh
09.01.2017
16:41:57
а то тут люди прям путаться начали

Aleksei
09.01.2017
16:42:21

Мерлин
09.01.2017
16:42:22

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

Aleksei
09.01.2017
16:43:09

Aldar
09.01.2017
16:43:19

Мерлин
09.01.2017
16:43:33

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

Google

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

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

Aleksei
09.01.2017
16:44:54

Мерлин
09.01.2017
16:44:59

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

Admin
ERROR: S client not available

Aleksei
09.01.2017
16:46:57

Мерлин
09.01.2017
16:47:48

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

Aleksei
09.01.2017
16:48:59

Google

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

Aleksei
09.01.2017
16:50:51

Мерлин
09.01.2017
16:51:18

Aleksei
09.01.2017
16:52:22

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

Aleksei
09.01.2017
16:53:24

Kirill
09.01.2017
16:53:26

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
А лучше не форк, а другой язык с интеропом

Мерлин
09.01.2017
16:55:59

Aleksei
09.01.2017
16:56:07

Мерлин
09.01.2017
16:56:33