Вопросы с тегом «ocaml»

Я всегда слышал, что C - это язык, который выбирают для встраиваемых систем, или что-то, что должно работать на максимальной скорости. Я никогда не развивал любовь к C, в основном потому, что я не люблю арифметику указателей, а язык едва ли стоит выше ассемблера. С другой стороны, языки ML являются …

86 c  ocaml 

При объяснении Y-комбинатора в контексте Haskell обычно отмечается, что прямая реализация не будет проверять тип в Haskell из-за его рекурсивного типа. Например, из Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining …

21 haskell  type-systems  static-typing  ocaml 

Я полный новичок с OCaml. Недавно я наткнулся на эту страницу со списком критических замечаний по отношению к OCaml. Видя, что эта страница довольно старая (2007 год): какие из перечисленных здесь пунктов пули все еще актуальны сегодня? Например: все еще верно, что невозможно напечатать универсальный объект? Я хочу прояснить, что …

15 ocaml 

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме разработки программного обеспечения стека Exchange. Закрыто 4 года назад . В настоящее время я использую C и немного FORTRAN для численного решения систем дифференциальных уравнений. Я …

10 language-choice  ocaml  numerical-equations