입력 된 AST에 OCaml 소스 파일을 구문 분석해야하며 ppx_jane이 작업을 수행하는 데 적합한 패키지라고 생각합니다. opam을 사용하여 설치 한 후에도 어떤 기능을 사용할 수 있는지 알 수 없습니다. opam의 ppx_jane 패키지에 대한 link입니다. 그것은 기본 정보와 의존성을 말해줍니다. Github에서 다른 프로그래머가이 패키지에서 제
어떻게하면 lseq 함수를 호출하여 영원히 작동 할 수 있는지 이해할 수 없습니다. 내가 lseq 5
를 호출하는 경우 type 'a llist = LazyList of 'a * (unit -> 'a llist)
let rec lseq nr =
LazyList (nr, fun() -> lseq (nr+1))
나는이 int llist = L
함수 이름 : 교차 : 모두 예에 나타나는 모든 요소의 두 목록 및 반환 목록 소요 : 1; 2; 2; 삼; 4; 4; 3] [2; 3] → [2; 2; 삼; 3] let rec intersection (l1: int list) (l2: int list) : int list =
begin match l1, l2 with
| hd :: t
이의 말을하자 빈 나무와 N-ary_tree 일치 I는 n 차 트리 형 type tree = Node of (char*tree) list ref;;
와 내가 쓰기 위해 노력하고있어 let empty_tree()= Node(ref[]);;
빈 트리이 대응을 내 나무가 비어 있거나없는 경우에만 보이는 기능과 같은 let checkIsEmpty t = m
ocaml에서 OGDF 외부 C++ 라이브러리와 인터페이스해야하는 프로젝트를 개발 중입니다. 그것은 모두 최대 내 Mac에서 실행하지만 지금은 Windows 용 Ocaml (https://fdopen.github.io/opam-repository-mingw/), Ocaml의 MinGW Cygwin 포트를 사용하여 Windows 버전을 만들려고합니다. 이 버
내가 likeso 역 함수를 정의하는 경우 : 입력 검사를하지 않습니다 let reverse =
let rec helper out = function
| [] -> out
| a :: l -> helper (a :: out) l
in helper []
다음 reverse (List.map reverse xs), 오류를
내가 추적하는 데 문제 추적 : let rec prepend (l: int list list) (x: int) : int list list =
begin match l with
| [] -> []
| hd :: tl -> (x :: hd) :: (prepend tl x)
end
prepend [[]; [2]
ocamlbuild를 사용하여 성공적으로 빌드 한 프로젝트가 있습니다. 그러나, 나는 또한 최고 수준을 통해 다른 모듈에서 프로젝트의 개별 기능과 상호 작용하는 쉬운 방법을 원하지만 ocamlmktop 사용에 대한 나의 시도는 내가 원했던대로 효과가 없습니다. Active Directory에 .cmi 파일을 수동으로 넣지 않으면 "언 바운드 모듈"오류가 발
분명히 아래의 2 가지 유형이 다르지만 그 이유는 무엇입니까? type 'a llist = Nil | Cons of ('a * unit -> 'a llist)
대 type 'a llist = Nil | Cons of 'a * (unit -> 'a llist)
는 Cons는 두 경우 모두 인수로 튜플을하지 않습니다?