Так у Антона нет подхода, это просто троллинг, это было видно по его идее про map, он предложил эту идею, ни секунды не подумав, какой это подход-то, цель была очевидна - устроить срач и приятно провести время, смотря на горящие жопы
За столько времени это уже можно было понять, он особо и не скрывает, фразы "нет ты" неужели не понятны?
Фразы вида "нужно сказать эвану" тоже об этом говорят, скорее всего до этого сообщения он ничего говорить и не собирался, цель была - доказать всю свою серьезность громкими словами. Ну то есть возможно он и верит в свою идею, но цель написания его сообщений совсем не в этом
Серьёзная цель одна:
Эльм существует, это хороший язык для входа в ФП-мир (как и Лисп например), я бы в жизнь не пошёл смотреть ничего про Хаскель, не попробуй я Эльм.
При этом он зашёл в этот ФП-мир чуть глубже чем Скала [подставьте ещё языки], ну или с другого края если хотите. И если его переусложнить и переабстрагировать, то получится ещё один Хаскель или PureScript, которые уже существуют, и это прекрасно, но зачем нам ещё один такой же-то? И все обсуждения абстракций типа "мапнуть Maybe потому что он функтор, или свернуть Maybe, потому что он Foldable" — это прекрасно и красиво, но это как раз именно то, что меня отпугивало от Хаскелей изначально, и я это помню. И я думаю я не один. И в этом понимаю Эвана.
Поэтому я считаю ,что эти абстракции в языке Elm не нужны, иначе он не будет приятной, не слишком высокой, ступенью, на которую может наступить почти каждый из мира "обычных языков", на пути в более сложный мир тайпклассов, или просто с намерением остаться, а будет такой же высокой недоступной заносчивой ступенью, как и Хаскель и его родственники.
Аминь.