псы в рапиде » from archive
В статье употребляются термины, и не разъяснено, что вы под ними понимаете. Например, «морфизм», «Частично упорядоченное множество». Также, приводятся безлдоказательные двусмысленные утверждения, например: > «Любая группа может быть рассмотрена как категория: группа элементов это морфизмы над единственным объектом.» Почему группа элементов это морфизмы над единственным объектом? Это вы сами так придумали? ‎- псы в рапиде
А вообще, основная беда таких разделов математики в том, что они используют неизвестные из обычной практики слова — монады, морфизмы, функторы… наблы там всякие… Эти все слова не имеют известного и привычного смысла в обычной жизни, и потому очень затрудняют понимание предмета. ‎- псы в рапиде
Почему бы просто не назвать вещи, естественными для ИТ словами: Callback, анонимный делегат, перегрузка оператора класса? ‎- псы в рапиде
если уж браться объяснять Хаскелл, то можно обойтись без математики и без категорий, гораздо логичнее объяснить как там все это на низком уровне реализовано (т.е. как код понимает компилятор — это самое важное) ‎- мяу-фактор
дада, "А объяснить на уровне указателей, куч, стеков и т.д.". я представляю себе объяснение хаскеля через STG-машину! ‎- псы в рапиде
^^^ "на коленке", наконец ‎- из-за разнузданности гламурной