ах да, есть ещё "утиная типизация", которую легко спутать с динамической или со слабой

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

ты экстраполировал с одного на другое

Я не экстраполировал, я рассмотрел их общие свойства (которые объективно есть)

что ты имеешь в виду?

В питоне всё что угодно "имеет смысл" в булевом контексте - bool(any) сработает всегда

Ближайшие конференции: Ноябрь ?? - Москва, в Kaspersky https://mobile.twitter.com/cblp_su/status/912940905757396992 Декабрь 2 - Москва fpconf http://fpconf.ru/ Декабрь 17 - F(by) Conf http://fby.by

@cblp "Строгая" == "Сильная" == "Strong" в паре с "типизация", смирись уже (я вот мирюсь) :) "Строгая динамическая типизация" - уже устоявшееся словосочетание, пусть и неверное.

Сильная и строгая разные вещи. Сильная — это когда нет имплицитного каста, строгая, это когда тип вычисляется раз и навсегда (в компайлтайме)

Строгая==Статическая, что ли?

Да.

первый раз такую интерпретацию слышу

зачем называть статическую строгой?

эм?

>>> a = "a" >>> a+1 Traceback (most recent call last): File "<stdin>", line 1, in <module> TypeError: cannot concatenate 'str' and 'int' objects

строгая, динамическая

переменная a имеет "runtime-тип" str

строгая, динамическая

не строгая, а сильная

В питоне переменная не имеет типа. Объект, на который она ссылается, имеет

ок, strong

что такое переменная?

стронгая типизация, ага

имя-ссылка

в строко типизированном языке

String dynamic typing - знакомая штука

врочем сейчас открыл tappl и потом тырнеты и не нашёл на что согласться говоря про строгая

В бейсике, кстати, типизация strong :) Строки с чиселками не складываются ну никак

А вот переменные не знают о типе содержимого, поэтому все ошибки типизации - только в рантайме

ну считать ли теги типами вопрос открытый

и согласно таплу это не хорошо, но исторически сложилось

так что я думаю эту часть дискуссии можно в очередной раз не развивать?

можно не развивать, это правда

https://github.com/mckayb/phantasy-recursion-schemes/blob/master/src/functions.php :D

кто поведает мне о loeb / moeb ? зачем и почему?

в линзах есть cosmos зачем?

там ещё и базар есть :)

в строко типизированном языке

Stringly typed, да 😁

Питон чутка сильнее чем ЖС

До тех пор пока к жс не подключается современный стек

В flowtype мощный статический type inference

Причём выводится без хаков, через честные bounds. Ковариантность, контрвариантность в комплекте. Динамические хаки языка — за бортом

В flowtype мощный статический type inference

В flowtype мощный статический type inference

Это просто в питоне за пределами PyCharm можно сказать нет стат анализа.

Но покуда сам язык слабый, всегда остаётся вероятность пропустить багу из-за недостаточного ума анализатора

Так что "сначала напишем, а потом анализатор прогоним" работает плохо, ибо "потом прогоним анализатор" выливается в "тут-то точно всё ок будет, поэтому поставим игнор-коммент"

Весь код by default считаем забагованным пока не доказанно обратное Так как можно из любого mixed пошагово вывести доказательство корректности любого разумного типа, то это вполне естественная рабочая ситуация

Так что "сначала напишем, а потом анализатор прогоним" работает плохо, ибо "потом прогоним анализатор" выливается в "тут-то точно всё ок будет, поэтому поставим игнор-коммент"

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

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

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

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

Спорно, а хаскель тогда на что менять?

А то unsafeCoerce, не комильфо как-то

да ладно

-defer-type-errors

и вперёд

qnikst@qwork ~ $ cat 1.hs i :: Int i = 1 s :: String s = "s" p :: Bool p = i + s main = print p qnikst@qwork ~ $ ghc 1.hs -fdefer-type-errors -fforce-recomp [1 of 1] Compiling Main ( 1.hs, 1.o ) 1.hs:8:5: warning: [-Wdeferred-type-errors] • Couldn't match expected type ‘Bool’ with actual type ‘Int’ • In the expression: i + s In an equation for ‘p’: p = i + s 1.hs:8:9: warning: [-Wdeferred-type-errors] • Couldn't match type ‘[Char]’ with ‘Int’ Expected type: Int Actual type: String • In the second argument of ‘(+)’, namely ‘s’ In the expression: i + s In an equation for ‘p’: p = i + s Linking 1 ...

Тоже хороший вариант, да)

вон скомпилялось

qnikst@qwork ~ $ ./1 1: 1.hs:8:9: error: • Couldn't match type ‘[Char]’ with ‘Int’ Expected type: Int Actual type: String • In the second argument of ‘(+)’, namely ‘s’ In the expression: i + s In an equation for ‘p’: p = i + s (deferred type error)

ошибки типов в рантайме, все как у взрослых

• Couldn't match type ‘StM m ()’ with ‘()’ Expected type: IO (StM m ()) Actual type: IO () ну вот опять : (

при MonadBaseControl IO m

и StM IO () ~ ()

ошибки типов в рантайме, все как у взрослых

промышленный язык получился, и быстро разработка будет идти

Придётся всё на MLTT переписывать

@qnikst а я правильно понимаю что UnliftIO сномановское решает туже проблему что и MonadBaseControl ?

без понятия

это moand-control без автовывода и только над IO ?

я насчет первого не очень понял

хотя тут ошибка по делу

правда не понимаю почему оно работало до этого

@cblp_su помнишь на на monad-control ругался

я нашёл у себя проблему похоже

правда я теперь не понимаю, почему оно раньше работало

@cblp_su помнишь на на monad-control ругался

не помню

я ещё минимальный case говорил что покажу

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

а, это

ты ругался, что сообщение об ошибке не соответствует реальной ошибке

да

это основной point

он остается

ах да, есть ещё "утиная типизация", которую легко спутать с динамической или со слабой

а утиная типизация это не структурная случайно?

ура

ассемблер — абсолютно слабый

Ну он хотя бы не приводит всё к строке