История изменений
Исправление alysnix, (текущая версия) :
Для OCaml рекурсивные типы очень даже помогают в одной из основных областей его применения - написании компиляторов.
два вопроса :
-
сколько компиляторов написано на OCaml, тех что в продакшене, а не на коленке в гитхабе. Там кроме инфраструктуры самого OCaml вроде пересчитать по пальцам одной руки.
-
и зачем рекурсивные типы для компиляторов? чему они помогут?
Исходная версия alysnix, :
Для OCaml рекурсивные типы очень даже помогают в одной из основных областей его применения - написании компиляторов.
два вопроса :
-
сколько компиляторов написано на OCaml, тех что в продакшене, а не на коленке в гитхабе. Так кроме инфраструктуры самого OCaml вроде пересчитать по пальцам одной руки.
-
и зачем рекурсивные типы для компиляторов? чему они помогут?