OR
До них уже сделали, вот и страдают
Size: a a a
2020 July 15
DB
кстати да, они сюда набежали или СБЕЖАЛИ?))))
Oℕ
Dmitry Bushenko
кстати да, они сюда набежали или СБЕЖАЛИ?))))
набежали после перла про рандом в идрисе
DB
чо, парни, задолбало доказательства теорем писать?)))
AG
это второе пришествие из Scala User Group, ну нравится им потроллить, что теперь, Тинькофф банку привет.
OR
Да толстые какие-то
OR
Видно за километр
OR
Ох, опять толстых обидел
Oℕ
Dmitry Bushenko
чо, парни, задолбало доказательства теорем писать?)))
если честно - нет
KR
видно за километр, а спорите
DB
если честно - нет
так чо ты тогда? иди, доказывай, не все еще подаказывал)
Oℕ
это второе пришествие из Scala User Group, ну нравится им потроллить, что теперь, Тинькофф банку привет.
нет, это не из скала юзер групп, ну и тинёк ни при чём
AK
Опять же со вторым ещё можно как то соотнести ожидание/реальность, но ускорение разработки то...
𝛈µ
Dmitry Bushenko
Макс, это вообще не про то. Есть же разные области индустрии типа атомной энергетики или медицины, где статика имеет смысл. Есть проекты, которые длятся десятилетиями и у них гигантская кодовая база — там тоже все это имеет смысл больше, чем динамика. Но вот так вот обобщать, как Апач, на все подряд...
Я правильно понимаю, что ты такой больной, шо щитаешь статическую типизацию пригодной только для разработки скад для атомных станций?
M
Dmitry Bushenko
Апач, ты видел доклад Брагилевского про Idris? Во где система типов могучая. Но по факту — абсолютно бесполезная. Но там дааааааааа, не сделаешь рандомного изменения не сломав ничего...
Только подумал о Виталии, когда читал про типы :)
DB
Anton Karpov
Опять же со вторым ещё можно как то соотнести ожидание/реальность, но ускорение разработки то...
Ну как.. если проекту уже лет 10, покрытие тестами слабое, доки нет, ваще хер разберешься, тогда стоимость одной строки кода в статически типизированном языке будет сильно меньше, чем в динамически типизированном
Oℕ
Dmitry Bushenko
так чо ты тогда? иди, доказывай, не все еще подаказывал)
очень странная реплика
DB
Я правильно понимаю, что ты такой больной, шо щитаешь статическую типизацию пригодной только для разработки скад для атомных станций?
я правильно понимаю, что мы уже перешли на личности, и можно начинать оскорбления?
Oℕ
Dmitry Bushenko
так чо ты тогда? иди, доказывай, не все еще подаказывал)
вы пытаетесь меня лично оскорбить, или намекнуть, что доказательства бесполезны?
𝛈µ
Dmitry Bushenko
Ну как.. если проекту уже лет 10, покрытие тестами слабое, доки нет, ваще хер разберешься, тогда стоимость одной строки кода в статически типизированном языке будет сильно меньше, чем в динамически типизированном
А почему именно такой набор условий? Почему именно десять лет?