Сообщение Re[2]: Уровень языка (впечталения после пары дней с Haskell) от 05.09.2019 6:51
Изменено 05.09.2019 6:56 Shmj
Re[2]: Уровень языка (впечталения после пары дней с Haskell)
Здравствуйте, HrorH, Вы писали:
HH>Немного ближе к практике из этих языков Idris (там нет ленивости).
Idris немного читал на Хабре. Помоему похож на Haskell.
Coq смотрел для общего развития. Емнип, с ним те так все просто — ту же Великую Теорему (ее доказательство) так и не смогли выразить в Coq
, хотя попытка такая есть.
HH>P.S. А так да, нужно математику хотя бы немного изучить. Если нужен список книг по математике могу написать
Нет денег для этого
Немного по работе сталкивался с математикой. Было сложно, но когда все получилось — очень большая радость на душе.
HH>Немного ближе к практике из этих языков Idris (там нет ленивости).
Idris немного читал на Хабре. Помоему похож на Haskell.
Coq смотрел для общего развития. Емнип, с ним те так все просто — ту же Великую Теорему (ее доказательство) так и не смогли выразить в Coq
, хотя попытка такая есть.HH>P.S. А так да, нужно математику хотя бы немного изучить. Если нужен список книг по математике могу написать
Нет денег для этого
Немного по работе сталкивался с математикой. Было сложно, но когда все получилось — очень большая радость на душе.
Re[2]: Уровень языка (впечталения после пары дней с Haskell)
Здравствуйте, HrorH, Вы писали:
HH>Немного ближе к практике из этих языков Idris (там нет ленивости).
Idris немного читал на Хабре. Помоему похож на Haskell.
Coq смотрел для общего развития. Емнип, с ним те так все просто — ту же Великую Теорему (ее доказательство) так и не смогли выразить в Coq , хотя попытка такая есть.
HH>P.S. А так да, нужно математику хотя бы немного изучить. Если нужен список книг по математике могу написать
Нет денег для этого
Немного по работе сталкивался с математикой. Было сложно, но когда все получилось — очень большая радость на душе.
Сейчас я если что-либо изучаю, то только как часть проекта. Т.е. когда есть конкретная цель это использовать и знаю что получу. Может, если бы жил при коммунизме, то ради души бы изучал (а может быть и в потолок бы плевал — не знаю).
HH>Немного ближе к практике из этих языков Idris (там нет ленивости).
Idris немного читал на Хабре. Помоему похож на Haskell.
Coq смотрел для общего развития. Емнип, с ним те так все просто — ту же Великую Теорему (ее доказательство) так и не смогли выразить в Coq
, хотя попытка такая есть.HH>P.S. А так да, нужно математику хотя бы немного изучить. Если нужен список книг по математике могу написать
Нет денег для этого
Немного по работе сталкивался с математикой. Было сложно, но когда все получилось — очень большая радость на душе.
Сейчас я если что-либо изучаю, то только как часть проекта. Т.е. когда есть конкретная цель это использовать и знаю что получу. Может, если бы жил при коммунизме, то ради души бы изучал (а может быть и в потолок бы плевал — не знаю).