«ocaml» 태그된 질문

나는 항상 C가 임베디드 시스템에 사용 되는 언어 또는 최대 속도로 실행 해야하는 언어 라고 들었습니다 . 나는 포인터 산술을 좋아하지 않고 언어가 어셈블러보다 약간 렁이기 때문에 C에 대한 애정을 개발하지 못했습니다. 반면에 ML 언어는 기능적이고 가비지 수집 언어이며 OCaml도 객체 모델을 가지고 있지만 C만큼 빠른 것으로 유명합니다. 코드는 고성능 …

86 c  ocaml 

Haskell의 맥락에서 Y 조합자를 설명 할 때, 일반적으로 간단한 구현은 재귀 유형으로 인해 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 a data type (Mu) …

21 haskell  type-systems  static-typing  ocaml 

나는 OCaml의 완전한 초보자입니다. 최근 에이 페이지 에서 OCaml에 대한 비판이 많이있었습니다. 아주 오래된 페이지 (2007) 인 것을보고 : 현재 어떤 글 머리 기호가 여전히 유효한가? 예를 들어 : 일반 객체를 인쇄 할 수 없다는 것이 여전히 사실입니까? 나는 그 안에 표현 된 의견에 대한 토론을 찾고 있지 않다는 것을 …

15 ocaml 

닫은. 이 질문은 주제에 맞지 않습니다 . 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? Software Engineering Stack Exchange에 대한 주제가 되도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 나는 현재 수치 방정식 시스템을 풀기 위해 C와 일부 포트란을 사용하고 있습니다. 나는이 두 언어 모두에 조금 지쳐 있지만 효율적인 코드가 …

10 language-choice  ocaml  numerical-equations