ocaml

3열

1답변

OCaml의 방법 OCaml의에서 다음과 같은 유형의 정의와 유형 정의에

를 요소에 액세스하려면 : type yearday = YMD of int * int * int 은 어떻게 종류의 서로 다른의 int에 액세스 것인가? 마치 첫 번째 int 값을 원한다면.

1열

1답변

폼 외부에 체크 상자를 만들려고하는데, Lwt_js_events.clicks를 사용하여 JS 함수를 바인드하는 것뿐입니다. bool_checkbox_one을 사용해 보았지만 ~ name : 매개 변수를 생성하는 방법을 알아낼 수 없습니다. 누군가 여기서 설명 할 수있는 게시물을 발견했는데 raw_ 버전을 사용해야하지만 더 이상 존재하지 않는 것 같습니다.

0열

1답변

OCaml의 개인 모듈

OCaml에서 연락 목록을 처리하는 것으로 구성된 학교 프로젝트에 참여하고 있습니다. 문제는 모듈을 만들어야한다는 것입니다. 그러나 어떻게 작동하는지 이해할 수는 없습니다. 나는 의제가있다 .ml, agenda.mli, contact.ml과 contact.mli하지만 내가 agenda.ml을 사용하고 싶을 때 나는 이미 Contact # 함수를 호출했을 때

0열

2답변

예외 : Invalid_argument "String.sub/Bytes.sub"ocaml

let separate = fun formula -> let rec aux = fun counter begin size -> match formula.[begin + size] with | '(' -> aux (counter + 1) begin (size + 1) | ')' -> if (counter - 1) = 0 th

0열

2답변

문자열에 Ocaml에 숫자 문자 만 포함되어 있는지 확인하는 방법

Str.regexp를 사용하고 있습니다. 길이가 결정되지 않은 문자열에 숫자 문자 만 포함되어 있는지 확인하는 방법을 알고 싶습니다. Str.string_match "[0-9]+" "1212df3124" 0;; 문제는 그것이 사실로 평가이지만,해야는 '안양'을 포함하고 있기 때문에 false를 반환 문자열 : 이 내가 뭘하는지입니다. (이것은 C# re

1열

1답변

ReasonML 프로젝트 설정에 종속성을 올바르게 설치할 수 없습니다.

저는 ReasonML을 처음 사용하고 있으며 배우기 시작했습니다. ReasonNativeProject 저장소를 사용하여 새 ReasonML 프로젝트를 설정하려고합니다. opam pin add -y ReasonNativeProject .을 사용하여 opam으로 종속성을 설치하는 단계를 실행할 때 이유를 올바르게 설치할 수 없다는 메시지가 나타납니다. Reas

2열

1답변

OCaml에서 문자열을 Num.num으로 변환하는 방법은 무엇입니까?

십진수의 문자열 표현을 Num.num으로 변환하는 함수를 찾고 있습니다. Num.num_of_string 함수가 있지만, 슬프게도 유효한 정수에서만 작동합니다. 그런 기능 중 하나를 다시 구현하기 전에 묻습니다.

1열

1답변

z3의 상호 재귀 적 데이터 유형과 내장 유형과의 상호 작용

현재 Z3을 사용하여 유형이 다른 언어에 대한 간단한 프로그램 논리를 다형성 목록으로 인코딩하려고합니다. 내가 이해하는 한, the Z3 tutorial by Moura and Bjorner에서 "배열과 같은 다른 유형 안에 재귀 적 데이터 유형 정의를 중첩 할 수 없습니다." 그래서 , 나는 다음과 같은 OCaml의 유형이 있다고 가정 : 내가 사용 Z3

0열

2답변

src 디렉토리에서 bin 디렉토리로 컴파일하는 방법은 무엇입니까?

main.ml 및 compose.ml 파일이 포함 된 src 디렉토리가 있으며 해당 디렉토리에서 컴파일하고 바이너리 결과를 bin 디렉토리에 저장해야합니다. 어떻게 만들 수 있습니까?

1열

1답변

utop을 로컬 ocaml 빌드와 함께 사용 하시겠습니까?

ocaml 4.04.0의 사용자 정의 버전을 컴파일했습니다 (다른 사람이 작성한 버전). 나는 그것을 실행하고 rlwrap과 ledit을 사용하여 그것과 상호 작용할 수있다. 그러나 나는 오히려 그것을 utop과 함께 실행할 것이다. (나는 자동 완성이 필요 없으며, 명령 편집은 rlwrap이나 ledit보다 유토피아에서 더 좋다.) opam switch을