MA
весь деплоймент занял 6 "строк" совпадающих с днями
Size: a a a
2018 April 01
MA
причем Он явно евалил строчки, т.к. после некоторых было сказано "... увидел Он что это хорошо"
MA
отправил в репл и оценил результат... классика лиспа
A
Очень странно. У нас даже на сигнатуры функций ругается.
КложаСкрипт ругется, да. А вот кложа под JVM нифига не ругается.
Y
Я вот тоже столкнулся с недостатком. Но с другим. Когда компилятор никак не помогает делать большие проекты. У нас проект разбит на отдельные библиотеки. И когда в одной меняют название или сигнатуру функции. Все проекты отлично собираются и падают только в рантайме. Компилятор во время сборки даже не может проверить наличие функции. Из-за этого приходится писать тупейшие тесты на вызов функций((
"Статика ничего полезного не проверяет", говорили они
АГ
"Статика ничего полезного не проверяет", говорили они
Но ведь это правда. Статические типы ничего не проверяют. Они вообще не для этого. Они выражают предметную область.
λO
А если область на типы не натягивается?
A
А если область на типы не натягивается?
Хоть один пример привести можешь?
АГ
Область на типы? Наоборот же было: типы на область
АГ
Ну а как мне помогут типы, если я хочу выразить область вне математической логики?
u
Ну а как мне помогут типы, если я хочу выразить область вне математической логики?
А можно пример?
Просто есть ощущение, что "отсутствие математической логики" получается при взгляде на вещи не с того угла
Просто есть ощущение, что "отсутствие математической логики" получается при взгляде на вещи не с того угла
2018 April 02
АГ
А можно пример?
Просто есть ощущение, что "отсутствие математической логики" получается при взгляде на вещи не с того угла
Просто есть ощущение, что "отсутствие математической логики" получается при взгляде на вещи не с того угла
Пример не получится, потому что я не могу даже представить вселенную, где не работает modus ponens. (Незакавыченная цитата)
NP
λO
У меня от этой картинки дико пригорает.
VM
VM
За два с половиной года стало лучше в этом плане?
AP
С чем лучше стало? С подкастом?
VM
С вычислением среднего со сложностью O(1) по памяти.