내 merge 함수가 해당 형식에 대해 불만을 표시하는 이유는 무엇입니까? 내 x이 (가) type 'a seq이 아닌가요? type 'a seq = Stop | Cons of 'a * (unit -> 'a seq)
let rec linear start step= (*builds a seq starting with 'start'*)
Cons (
그래서이 각 요일의 사용자 정의 데이터 유형의 날입니다 (예 : 등 일요일, 월요일) let is_weekend_day (d:day) : bool =
begin match d with
| Sunday -> true
| Saturday -> true
| _ -> false
end
코드를 응축 할 수있는 방법이
소스 코드에서 Ocaml을 컴파일 할 때 /boot/ocamlc을 사용하여 .ml 파일을 컴파일합니다. 그래서 ocaml은 자체적으로 ocamlc를 사용하여 빌드합니다. 첫 번째 ocamlc 파일의 출처는 어디입니까? 첫 번째 ocamlc 바이너리를 /boot/ocamlc없이 컴파일하려면 어떻게해야합니까?
내가 명령 opam install ocamlbuild을 실행하고 내가 여기 ocamlopt 에 어떤 문제가 보인다는 opam가 나에게 말하고있는 것이다 (나는 그냥 내 4.04을 좋아하지 않는다 같은데요 버전) ### stdout ###
# [...]
# mkdir -p tmp
# ocamlopt.opt -pack src/const.cmx src/lo
패스이 Binary Tree 통해 아래 함수 : let rec inorder(t:tree) : int list =
begin match t with
| Empty -> []
| Node (left, x, right) -> inorder left @ (x :: inorder right)
end
왜 결과 [1 2 3 4
Ocaml을 사용하여 모의 통역사를 구현하고 있습니다. 모의 기능 중 하나는 패턴 일치를 사용하여 구성된 표현을 평가하는 것입니다. 문제는 간단하고 확실하게 고칠 수 있지만, 좀 더 우아한 방법을 찾으려고 노력하고 있습니다. 그래도 여전히 관심이 있다면 읽어보십시오! 내 사용자 정의 형식의 코드 조각은 다음과 같습니다 물론 type value =
OCaml 프로그램의 문자열을 mmap의 메모리 영역 (Genarray.file_map을 통해 얻을 수 있음)으로 가능한 한 효율적으로 복사하고 싶습니다. 내 목표는 최소한의 오버 헤드로 OCaml 프로세스가 실행되는 동안 다른 프로세스가이 공유 메모리에서 읽도록 허용하는 것입니다. 완전한 동시성 기능은 필요하지 않습니다. 단 하나의 작성자와 하나의 판독기
나는 렉싱의 개념에 새로운 오전 다음 예제 입력을 읽어 OCaml의에 렉서를 작성하는 것을 시도하고있다 : (blue, 4, dog, 15)
는 기본적으로 입력이 어떤 임의의 문자열 또는 정수의 목록입니다. 대부분은 계산기를 모델링했기 때문에 int 기반 입력에 대한 많은 예제를 찾았지만 예제를 통해 지침을 찾지 못했거나 렉싱 문자열에 대한 설명서를 찾
I가 2 컴파일러 버전 : opam 스위치 목록 -i 4.04.0 C 4.04.0 Official 4.04.0 release
system I system System compiler (4.02.3)
질문 : OPAM 시스템 컴파일러는 무엇입니까? "기본"컴파일러에 대한 또 다른 단어입니까?
OCAML의 문자열 설정 모듈의 기본 구현 형식은 다음과 같습니다. ["here"; "is"; "a"; "set"] 그러나 내 세트의 형식은 {"here", "is", "a", "set"}입니다. 다시 쓰기 전체 모듈을하지 않고 간단하게 내 형식에 맞게 모듈을 변경하는 방법 (그래서 []가 {}에 해당 될 것입니다 및 ,에 해당 ;)이 있습니까? 그리고 만