ocaml

    5

    2답변

    a.ml에서 레코드 유형 t가 정의되고 a.mli에서 투명하게 으로 정의됩니다. 즉 d 인터페이스에서 형식 정의가 다른 모든 파일에 을 사용할 수 있습니다. a.ml에는 t의 목록을 반환하는 함수 func도 있습니다. 다른 파일에서 이제 , 내가 FUNC를 호출 해요 b.ml, 지금 분명히 OCaml의 컴파일러는 컴파일러의 단지 목록을 D 목록에 저장된 개

    8

    2답변

    사람들이 OCaml의 "개정 된 구문"을 참조 할 때, 이것은 언어에 대한 새로운 구문이되거나 CamlP4에서 생성 된 대체 구문 일 뿐이라는 것을 의미합니까? 이것이 전자의 경우, "개정 된 구문"은 언제 OCaml의 "공식 구문"이됩니까?

    11

    3답변

    복잡한 산술 연산자를 사용하여 코드를 더 읽기 쉽게 만들어야합니다. Ocaml에는 Complex 모듈이 있으므로 이러한 함수를 호출하는 연산자를 추가하기 만하면됩니다. 나를위한 가장 직관적 인 방법은 '&'을 연산자 기호에 추가하여 모든 일반 연산자를 사용하여 새로운 복합 연산자를 만드는 것입니다. 따라서 + & 및 * &은 복잡한 더하기 및 곱셈이됩니다.

    3

    3답변

    ML에 eval 함수가 있습니까?

    6

    1답변

    에, 내가 지금처럼 include 지시문을 사용하여 기존 모듈을 "확장"싶지 있습니다. 하지만 이제이 모듈의 유형을 명시 적으로 노출하려고합니다 (예 : .mli 파일). 나는 이런 식으로 뭔가 싶어 : module MyString : sig include String val trim : string -> string end 을하지만

    5

    3답변

    저는 지금 ocaml을 배우려고하고 있으며 모든 비트 조합을 생성하는 작은 프로그램으로 시작하고 싶습니다 : [ "0", "0", "0"] [ "0", " 0 ","1 "] ["0 ","1 ","0 "] ... 그래서 내 생각은 다음과 같은 코드에 :하지만 let rec bitstr length list = if length = 0 then

    3

    1답변

    OCaml의 최소 비용 흐름 그래프 문제에 대한 구현을 찾고 있습니다. OCaml 라이브러리 ocamlgraph은 Goldberg algorithm implementation이다. Efficient implementation of the Goldberg-Tarjan minimum-cost flow algorithm이라는 논문은 Goldberg-Tarjan

    0

    2답변

    그래서 멋진 이미지 처리 알고리즘이 있습니다. OCaml에서 작성했습니다. 그것은 잘 수행됩니다. 이제는 C 명령어로 컴파일 할 수 있습니다. ocamlc -output-obj -o foo.c foo.ml (저는 OCaml 컴파일러를 사용하여 제 arcetecture에 대한 내 프로그램을 작성하는 대신, specialy 수정 된 gcc만을 사용할 수 있습니

    3

    4답변

    OCaml에서 파일의 MIME 유형을 어떻게 결정합니까? GtkSourceView 컨트롤의 언어를 설정하려고하지만이를 수행하기 위해 먼저 언어를 결정해야합니다. - 내가 마임 타입을 사용하고이 일을 볼 수있는 유일한 방법은 다음과 같이 올바른 언어를 반환하는 기능이있다 : GSourceView.source_languages_manager#get_langua

    10

    1답변

    나는 ocaml을 빨리 배우는 것에 관심이있다. (그들은 원시 코드로 컴파일 될 수 있다고 말했고) 기능적이다. 그래서 나는 mysql 이벤트 스케줄러를 사용하는 것과 같은 쉬운 것을 코딩하려고 시도했다. #load "unix.cma";; #directory "+mysql";; #load "mysql.cma";; let db = Mysql.quick_