ocaml

0열

2답변

OCaml의 그래프에게 내가 서명 정점 일부 그래프를 볼 심지어 내 자신과 함께 온 정점 모듈

감독 : module type VERTEX = sig type t type label val equal : t -> t -> bool val create : label -> t val label : t -> label end 을하지만 모듈로 구현하는 방법을 완전히 아무 생각이 없다. 어떤 종류의 라벨을 부

1열

1답변

Jbuilder로 Ocaml 코드의 디버그 빌드 만들기

Ocaml 언어 및 Jbuilder 튜토리얼을 읽었습니다. 공식 튜토리얼에서는 ocamldebug를 실행하기 위해 ocamlc를 사용하여 one must compile Ocaml code using the '-g' flag을 표시합니다. Jbuilder 설명서에서 디버그 빌드에 대한 언급을 찾을 수 없습니다. 가까운 부분은 https://jbuilder.r

0열

1답변

모듈을 사용하는 BST - OCaml

OCaml의 BST에 대한 기본 작업을 위해 모듈/인터페이스를 만들려고합니다. (언어가 어떻게 새로워 졌는지 정확히 알지 못합니다.) 내 목표는 다음과 같은 일을하게 해주는 구현을하는 것이다. T.create();; T.push(2);; T.push(3);; T.push(5);; 2,3,5로 구성된 BST 트리를 얻으려면. 나는 이런 식으로 할 필

2열

1답변

실행 파일 경로 찾기

PATH 환경 변수 (예 : /bin/sh의 환경 변수 기반)를 기반으로 실행 파일의 절대 경로를 찾는 방법은 무엇입니까? 예를 들어. "/usr/bin/cal"을 반환하는 program_path ("cal")? 이 질문에 대한 이유 : OCaml 라이브러리의 일부 함수 (예 : Unix.execvp)는 프로그램의 이름 만 취할 수 있으며 함수는 독자적으로

4열

2답변

모듈러 파서 사양에서 "결코 유용하지 않은"선행 경고를 표시하지 않습니까?

menhir에서 사용하지 않은 우선 순위 경고를 억제 할 수 있습니까? 배경 : 내가 몇 가지 규칙을 핵심 파서 Lib.mly이 별도로, Lib.mly에서 정의를 사용하여 추가 파서 (A.mly, B.mly, ...)의 호스트. 모든 언어에 대해 단일 렉서 사용을 지원하려면 모든 토큰이 Lib.mly에 정의되어 있으며 _tags에 external_token

0열

2답변

emacs ocaml REPL : "프로그램 검색 중 : 해당 파일이나 디렉토리가 없습니다."

나는 VirtualBox의 Ubuntu 16.04.3에서 OCaml을 설정하려고합니다. 나는 그들 모두에게 새로운 사람이다. 내 무지를 용서해주십시오. 나는 wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin 를 사용하여 opam를

2열

2답변

"사각형"튜플에 대한 Ocaml 패턴 일치?

Ocaml과 함수 언어를 일반적으로 배우려고 시도하면서 패턴 일치를 조사했습니다. this documentation을 읽고 나서 다음 연습을 직접 해보기로 결정했습니다. 4-tuple의 각 요소가 동일하도록 정수 4- 튜플이 입력되면 true으로 평가되는 식을 만듭니다. (4, 4, 4, 4) ->true (4, 2, 4, 4) -> I 찾을 false 그

2열

1답변

`printf.sprintf` 함수를 다른 함수로 작성하기

나는 Printf.sprintf의 결과를 다른 함수 (예 : f)에 끼워 넣는 경우가 많이 있습니다. 나는 다음과 같이 두 가지의 구성 printf을 정의하기 위해 노력 해왔다 : let printf : 'a 'b. ('a,unit,string) format -> 'b = (fun fmt -> Printf.sprintf fmt) |> f 그러나

1열

1답변

ocamlfind 컴파일이 "install -m 0755 ocaml-stub"에서 실패했습니다.

OCaml을 처음 사용하고 cohttp을 설치하려고합니다. Xcode 라이센스 계약 (OS X Sierra 10.12)을 수락하지 않았기 때문에 실패한 후 실패했습니다. 패키지 관리자 (opam)는 하위 의존성을 설치하려고하는 동안 0.6) 나는 오류가 발생 ocamlfind =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-

1열

3답변

OCaml에서 중첩 된 선택 사항의 값을 쉽게 변경하는 방법은 무엇입니까?

I 항목의 스택 countain 수있는 재고 할 수 블록의 다음과 같은 데이터 구조를 가지고 : type item = Stone | Sand type stack = { item : item; size : int } type inventory = { inA : stack option; inB : stack option