Запитання з тегом «ocaml»

Я завжди чув, що 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 

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

10 language-choice  ocaml  numerical-equations