V
угадайте какая статья вторая в гугле по запросу "scala монада и функтор"
Size: a a a
2020 November 21
Oℕ
угадайте какая статья вторая в гугле по запросу "scala монада и функтор"
Ну вот кое-что знает гугл о тебе
АР
АР
Ну вот кое-что знает гугл о тебе
действительно
ΛВ
Ну вот кое-что знает гугл о тебе
у меня так дже
V
о спасибо почитаю
Нема за що, вот какая первая выпадает: https://medium.com/beingprofessional/understanding-functor-and-monad-with-a-bag-of-peanuts-8fa702b3f69e
V
Но я б статью с таким заголовком читать не стал
А⚙
ну вот у меня будет матч неявный, а у тебя явный, а если у меня иерархия из более чем одного силд трейта, добро пожаловать в мир прекрасного ревраппинга ошибок в русте и хочкеле
Насчёт реврапинга ошиок согласен, но вот преимущества неявного матча мне не ясны. Кода-то меньше писать не придётся, даже больше
AT
Не, ну по сравнению с Java это, может быть, и впечатляет, но я не вижу тут чего-то, из-за чего можно сказать "вау"
Ну мы переживем если нонаме из интернета не скажет вау, и будем дальше работать за 300кк наносек, а не за гастрит
w
Ну мы переживем если нонаме из интернета не скажет вау, и будем дальше работать за 300кк наносек, а не за гастрит
Кто понял тот понял, но тот кто не понял - не понял.
Oℕ
у меня так дже
у меня тоже, но это не оч важно
Oℕ
Насчёт реврапинга ошиок согласен, но вот преимущества неявного матча мне не ясны. Кода-то меньше писать не придётся, даже больше
Ну а елизарову не ясны преимущества ХКТ.
Оч люблю Елизарова, можно вообще куда-угодно его пихать
Оч люблю Елизарова, можно вообще куда-угодно его пихать
Oℕ
Если серьезно, то, как верно Редозубов отмечал хороший ГАДТ лучше плохой иерархии
Oℕ
Но в среднем, если брать какие-то сильно простые адт, как русте (простые с точки зрения системы типов), то силд трейты конечно много удобств имеюи
Oℕ
Если брать систему типов, где и полноценные гадт и датакайндс и тайпфемили всех сортов, то уже не особо
Oℕ
Если брать уже какую-то умную систему с завтипами и сортами завтиповой индукции, то такие полуоткрытые определения как силд трейты уже могут быть и вредны
V
А шо такое завтипы?
ΛВ
заведующие типами