А⚙
:(
Есть опыт с ним?
Есть опыт с ним?
Нет, не тыкал
Size: a a a
2020 July 15
VL
Нет, не тыкал
Вот и я не тыкал, и знаю 1.5 человека кто это делает
MB
Dmitry Bushenko
Апач, ты видел доклад Брагилевского про Idris? Во где система типов могучая. Но по факту — абсолютно бесполезная. Но там дааааааааа, не сделаешь рандомного изменения не сломав ничего...
А почему абсолютно бесполезная? Я не влезал, но мне казалось, что поинтереснее, чем хаскель позволяет штуки делать
𝛈µ
А почему абсолютно бесполезная? Я не влезал, но мне казалось, что поинтереснее, чем хаскель позволяет штуки делать
Тому що ты говоришь с поехавшим киберватником у которого деды-то без верификации в космос запускали
MB
Тому що ты говоришь с поехавшим киберватником у которого деды-то без верификации в космос запускали
Да у меня с типизацией сложные отношения тоже) Уж лучше без типизации, чем как в яве
𝛈µ
Почему лучше?
𝛈µ
Кому лучше?
𝛈µ
Чем лучше?
MB
Мне, очевидно
Д
Да у меня с типизацией сложные отношения тоже) Уж лучше без типизации, чем как в яве
а почему ты именно к яве отсылаешь, а не к млькам, например?
𝛈µ
Окей. "Мне уж лучше" тогда надо сказать
MB
МЛьки норм, на хаскеле в прод не писал, мне кажется слишком много возни с монад трансформерами будет
Д
а почему именно хаскель, а не фшарп, например?
MB
Как верифицировать, что веб сервер не падает под высокой нагрузкой?
MB
В общем, я клонил к тому, что интересные вещи слишком сложно статически доказать
𝛈µ
Как верифицировать, что веб сервер не падает под высокой нагрузкой?
Как верифицировать, что веб-сервер не падает если ебнуть кувалдой по CPU?
MB
Как верифицировать, что веб-сервер не падает если ебнуть кувалдой по CPU?
Отличный пример)
𝛈µ
Если для тебя это отличный пример - тебе надо голову в порядок привести
MB
Типы это хорошо, особенно для чисто вычислительных задач, где важна корректность
MB
Как типы помогают с I/O я пока не вижу