C에서 구현 된 OCaml 프리미티브의 전체 목록은 어디에서 찾을 수 있습니까? grep 'CAMLprim' <ocamlsourcetree>/byterun/*.c이면 충분합니까, 아니면 CAMLexport 및 CAMLextern을 찾아야합니까? (참고 : 나는 또한 특별한 %someide 외관에 대한 bytecomp/translcore.ml에 의해 참조 된
나는 REPL에 도서관을 로드를 컴파일 몇 OCaml의 모듈 사이에 퍼져 라이브러리에서 다음 일을 할 노력하고있어 공개 API 실험하기 1과 2를 수행하기 위해 opam 파일과 함께 jbuilder을 사용하고 있습니다. 이제는이 모든 것이 내 라이브러리를 쉽게 컴파일하는 데 효과적이지만 repl에서 테스트하는 데 문제가 있습니다. 현재 나의 접근 방식은 r
나는 프랙탈을 그리려고합니다. 불만이있는 모든 원에 대해 원의 왼쪽과 오른쪽 크기의 반을 그립니다. 여기 내 코드는 다음과 같습니다. let rec drawCircle x y r =
let halfSize = r/2 in
draw_circle x y r;
drawCircle (x+r) y halfSize;
drawC
OCaml 프로그램에서 Sets를 사용하고 있습니다. 그러나 문자열 집합을 단일 문자열로 변환하는 기능을 추가해야합니다. 예 : 세트 "a", "b", "c"은 문자열 "{a b c}"으로 변환됩니다. Set.iter 함수를 살펴 보았지만이를 수행하는 방법을 알 수 없습니까? 도움을 주시면 감사하겠습니다. 당신의 세트는 문자열을 포함하는 경우
Ocaml에서 해시 테이블을 사용하여 시도를 구현하는 방법을 이해하려고합니다. https://www.fun-mooc.fr/에 MOOC "OCaml에서의 기능 프로그래밍 입문"의 연습 문제입니다. 누군가가 내가 명령형 해시 테이블을 사용하여 재귀 적 시도를 구현하는 방법을 이해하도록 도와 주시면 정말 고맙습니다. 과정이 끝났습니다. 이해하기를 원합니다. mo
http://okmij.org/ftp/tagless-final/nondet-effect.html#no-functor에 확장 연습 중 하나를 수행하고 으로 int_t 유형을 바꾸려고합니다. 이 작업을 수행하는 동안, 나는 다음과 같은 오류에 붙어 :는 Values do not match:
val cons : '_a repr -> '_a list_t
Ocaml에 렉서를 구현하려고합니다. 처음에해야 할 일의 일부는 문자열을 가져 와서 문자열 목록으로 나눕니다. 그래서 나중에 그 문자열을 "토큰 화"하여 파서에 넣을 수 있습니다. 공백, 탭, 줄 바꿈 등을 무시하여 기본 운영 지침을 따라야합니다. 예를 들어 문자열의 시작은 여러 가지가 될 수 있다면 "1 + 25 *(6^2)"
예를 들어, 가장 긴 일
OCaml의 디자인과 기본 철학 때문에 이해할 수있는 것처럼, 예를 들어이 하나와 같은 임의의 데이터 구조를 인쇄하는 데 사용할 수있는 범용 인쇄 기능은 없습니다 [([2; 1; 0], 1.); ([2; 1], 0.471206873564138595); ([2; 0], 0.467882609464025379)]
디버깅 용입니다. 모든 데이터 구조를 처리 할
다음 OCaml의 코드를 고려 : 내가 이해에서 let app f y = let x = 4 in (f y)+1 ;;
let proc x = let change z = z-x in app change (x+3) ;;
(proc 2)
는 정적 범위 지정이 경우에, 그래서 x를 교체 할 때, 변수의 값을 결정하는 코드의 구조를 사용 2은 모두 change