мне бы эту статью лет 5 назад, было бы вообще заебись. А так, кое в чём автор неправ: не всегда adt = нерасширяемые. В окамле есть полиморфные варианты, очень даже годная штука на случай добавления новых вариантов и не только (и всякие expression problem решаются спокойно, где-то даже готовые решения видел).
мне бы эту статью лет 5 назад, было бы вообще заебись.
А так, кое в чём автор неправ: не всегда adt = нерасширяемые. В окамле есть полиморфные варианты, очень даже годная штука на случай добавления новых вариантов и не только (и всякие expression problem решаются спокойно, где-то даже готовые решения видел).
да, странно, что автор про них не вспомнил.
особенно учитывая его спасибы господину olivier danvy, который раньше кое-что на окамле таки лепил.
читал джва часа, голова опухла нахуй
лайкну, но не рекомендую.
пукан бамбанул))