Игаль *    (yigal_s) wrote,
Игаль *   
yigal_s

Толком еще ничего не изучив, было б интересно отдельно разобраться, в чем ПРИНЦИПИАЛЬНО различаются системы типов в Haskell, Ocaml, Scala и, если угодно, С++. Какие у них есть ПРИНЦИПИАЛЬНЫЕ ограничения одной относительно другой?

Т.е., например, в Haskell есть Type Class, а в С++ нет (если не будем вспоминать неудавшуюся попытку введения "концептов", или не пытаться смоделировать то же Type Class через C++ SFINAE и прочие хардкорные извращения). Факт наличия Type Class - конечно, интересен, но взятый сам по себе не является принципиальным ограничением С++, скорее уж это структурирующее "ограничение" Haskell. Опять же, кто-то где-то писал о полиморфных константах в Haskell - но и это преспокойно себе моделируется на С++.

В свете вышесказанного, было бы интересно именно понять где мощь одного языка категорически выходит за пределы мощи другого в области системы типов.

Есть ли что-то внятное почитать-посмотреть по данной теме?

В принципе, интересует разница между Haskell, Ocaml, Scala. C++ - это так, опционально )))
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 16 comments