B
Товарищи линуксоиды, какое у кого значение сваппинес?
cat /proc/sys/vm/swappiness
Size: a a a
2021 March 02
B
У меня по дефорту было 60, что меня довольно смутило, все процессы лезли в свап и на гибернацию места не оставалось
m
Переслано от Αλεχ Zhukovsky
You can point to all of the papers you want. But all I can do is point to my very large, very clean code base that makes very good use of exceptions. If other people can't use them correctly, that's a problem with them, not with exceptions.
Эксепшены были бы норм, если было бы обязательным декларировать, что функция их бросает (и какие конкретно). Тогда компилер при необходимости мог бы подсказать, что ты не всё поймал
H
Exceptions are merely untyped algebraic effects after all.
в идрисе и typed exceptions есть
H
с такими исключениями я даже не могу никаких проблем подметить, включая и производительность (алг. эффекты можно реализовать на Duff's device)
m
в идрисе и typed exceptions есть
Идрис готов для продакшена? Есть пакетный менеджер, популярные фреймворки, компилятор под разные платформы?
H
makoven
Идрис готов для продакшена? Есть пакетный менеджер, популярные фреймворки, компилятор под разные платформы?
нет)
H
"популярные фреймворки на идрисе" имеют 30 звёздочек на гитхабе и заброшены в 17 году
m
"популярные фреймворки на идрисе" имеют 30 звёздочек на гитхабе и заброшены в 17 году
А почему так, интересно
ΑZ
makoven
Эксепшены были бы норм, если было бы обязательным декларировать, что функция их бросает (и какие конкретно). Тогда компилер при необходимости мог бы подсказать, что ты не всё поймал
В джаве они есть, не получилось
ΑZ
Exceptions are merely untyped algebraic effects after all.
Вот это merely умиляет
ΑZ
makoven
А почему так, интересно
Потому что ресерч язык
H
Вот это merely умиляет
само слово или значение?
ΑZ
Контекст
ΑZ
Как в меме 'нужно всего лишь'
DS
makoven
Эксепшены были бы норм, если было бы обязательным декларировать, что функция их бросает (и какие конкретно). Тогда компилер при необходимости мог бы подсказать, что ты не всё поймал
Для такого норм подходят всякие MonadError и т.п.
RB
makoven
Эксепшены были бы норм, если было бы обязательным декларировать, что функция их бросает (и какие конкретно). Тогда компилер при необходимости мог бы подсказать, что ты не всё поймал
не все ловить - это фича.
m
Roman Blog
не все ловить - это фича.
Опциональная возможность поймать всё - тоже. Почему мы и любим раст
RB
makoven
Опциональная возможность поймать всё - тоже. Почему мы и любим раст
Нет, поймать всё не фича, к тому же она существует итак.
RB
makoven
Опциональная возможность поймать всё - тоже. Почему мы и любим раст
Аналогично в расте нету "поймать всё", потому как этот подход слишком несостоятелен. Потому везде box dyn err