KV
Yuki Rito
или взять функтор. Ну как нормальный человек может придумать такое?!
Нормальный слишком тупой для этого!
Size: a a a
2020 October 17
X
Yuki Rito
или взять функтор. Ну как нормальный человек может придумать такое?!
List<> в C# тоже функтор
KV
В общем описании не виден смысл.
m a -> (a -> m b) -> m b, что?Ну я очевидно не это имел в виду, а то так ещё можно из теории категорий опереление показать
YR
Нормальный слишком тупой для этого!
слишком прагматичный он, нормальный. И фигней псевдонаучной не мается
N
В общем описании не виден смысл.
m a -> (a -> m b) -> m b, что?что
E
Мне кажется, человеки при изучении чего-нибудь гораздо легче идут от частного к общему, находя взаимосвязи в разных штуках, чем от общего к частному, сразу берясь за абстрактные определения. Поэтому понять, что такое «монада вообще», сходу сложно.
++
KV
Yuki Rito
слишком прагматичный он, нормальный. И фигней псевдонаучной не мается
Да, всем бы так, а не вот это всё
YR
List<> в C# тоже функтор
ээ, не, не надо притягивать за уши.
X
Yuki Rito
ээ, не, не надо притягивать за уши.
И в джаваскрипте список тоже функтор
N
но это все выглядит как один большой костыль. Языку 30 лет, нет собственной IDE
O
List<> ещё и монада!
O
и from in в шарпе с монадами работает
X
но это все выглядит как один большой костыль. Языку 30 лет, нет собственной IDE
leksah🌚
YR
но это все выглядит как один большой костыль. Языку 30 лет, нет собственной IDE
в Хаскеле-то? В нем есть свое ИДЕ, тебе оно не понравится
N
Yuki Rito
в Хаскеле-то? В нем есть свое ИДЕ, тебе оно не понравится
почему не понравится
KV
И в джаваскрипте список тоже функтор
Это не содержательное утверждение, если нет полиморфного мапа, а его нет (ну или есть в каких-то обскурных библиотеках, которые делают страдающие фпшники)
Y
Ну я очевидно не это имел в виду, а то так ещё можно из теории категорий опереление показать
Можно и всё определение тайпкласса дать, и даже снабдить пояснениями про «перегруженные цепочки вычислений», оно всё равно мммаксимум абстрактно и безжизненно выглядит
N
Можно и всё определение тайпкласса дать, и даже снабдить пояснениями про «перегруженные цепочки вычислений», оно всё равно мммаксимум абстрактно и безжизненно выглядит
безжизненно, говорю как изучающий человек
X
Это не содержательное утверждение, если нет полиморфного мапа, а его нет (ну или есть в каких-то обскурных библиотеках, которые делают страдающие фпшники)
Но мап же есть и он работает, как мап
KV
но это все выглядит как один большой костыль. Языку 30 лет, нет собственной IDE
Нафига нужна иде, если можно сделать language server и пользоваться им из любого понравившегося редактора