DS
B моей срани тут пыха-ларавель, JS с щепоткой jQuery и легаси говно на Java 5 и C# 4 с винформами
А из этого набора C# уже лучше будет, если там реально джава 5
Size: a a a
2020 March 08
V
Попробуй без HKT (или GAT, если речь про раст) выразить тайпкласс функтора
Что такое "тайпкласс функтора" и зачем мне его выражать?
Т8
Невозможно допустить самый противный вид ошибок - ошибки связанные с memory-safety
мне кажется, этим ошибкам незаслуженно много внимания уделяется
Т8
Алекс походу приверженец скомпилировалась, значит работает
1. либо надо быть чуть ли не академиком, чтобы это обеспечить
2. либо это не так, всё равно надо тестировать и дебажить
2. либо это не так, всё равно надо тестировать и дебажить
r
Т-34 85
мне кажется, этим ошибкам незаслуженно много внимания уделяется
Ну в microsoft - они причина 75% security holes.
DS
Что такое "тайпкласс функтора" и зачем мне его выражать?
class Functor m where
map :: (a -> b) -> f a -> f b
map :: (a -> b) -> f a -> f b
V
Не, тоже замечал пару раз, что на автомате концентрируешься на перепроверках ансейфов, но по факту ошибка в безопасной логике находится потом
Прост за ансейфом следишь внимательнее + его мало. Ну и допустить ошибку реализации или в БЛ тупо проще
Т8
red75prime
Ну в microsoft - они причина 75% security holes.
речь всё-таки про рядовое ПО, а не системный софт
DS
Т-34 85
мне кажется, этим ошибкам незаслуженно много внимания уделяется
Проблема в том, что это одни из самых сложно уловимых и критических в плане поведения приложения ошибок.
В особенности, когда речь именно про порчу своей памяти
В особенности, когда речь именно про порчу своей памяти
V
class Functor m where
map :: (a -> b) -> f a -> f b
map :: (a -> b) -> f a -> f b
А зачем мне его выражать? Прост мне не очень часто приходится писать совсем универсальный код
Т8
Прост за ансейфом следишь внимательнее + его мало. Ну и допустить ошибку реализации или в БЛ тупо проще
+
DS
Т-34 85
речь всё-таки про рядовое ПО, а не системный софт
Как ты думаешь, почему серверный софт в энтерпрайзе в свое время весь прыгнул на managed языки?
DS
А зачем мне его выражать? Прост мне не очень часто приходится писать совсем универсальный код
Тебе не приходится, а библиотекам очень часто нужно.
r
Т-34 85
речь всё-таки про рядовое ПО, а не системный софт
Рядовое ПО, которое иногда падает, а иногда даёт неверные результаты тоже как-то не очень.
DS
Плюс, всё тот же final tagless и т.п., где оно естественно возникает
Т8
Проблема в том, что это одни из самых сложно уловимых и критических в плане поведения приложения ошибок.
В особенности, когда речь именно про порчу своей памяти
В особенности, когда речь именно про порчу своей памяти
да, но обычно это выражается в виде падения программы, поэтому детектится быстро. Плюс всё-таки тут внимательно смотришь, поэтому не так много ошибок такого плана допускаешь
V
Тебе не приходится, а библиотекам очень часто нужно.
А каким библиотекам, кроме Functional extensions for X? Сильно ли это необходимо какой-нибудь ORM или веб-фреймворку? Если необходимо, то можно ли заменить тупо копипастом (рассуждаю как голангер)
DS
Т-34 85
да, но обычно это выражается в виде падения программы, поэтому детектится быстро. Плюс всё-таки тут внимательно смотришь, поэтому не так много ошибок такого плана допускаешь
Нет, ты часто можешь просто попортить свою память даже не узнав об этом.
И это дико важная проблема для серверного софта, как и падения, собственно
И это дико важная проблема для серверного софта, как и падения, собственно
AL
Т-34 85
да, но обычно это выражается в виде падения программы, поэтому детектится быстро. Плюс всё-таки тут внимательно смотришь, поэтому не так много ошибок такого плана допускаешь
Тебя ничего не убедит, да?
Т8
Как ты думаешь, почему серверный софт в энтерпрайзе в свое время весь прыгнул на managed языки?
как минимум - банально меньше ручной работы, быстрее пишешь