ocaml

2열

1답변

저는 최근에 OCaml을 배웠습니다. 그리고 이제는 다음 유형이 무엇인지 나타내는 컴파일러에서 화살표가 사용 된 것처럼 보입니다. 예를 들어, int -> int -> <fun>은 정수를 반환하는 정수로, 함수를 반환합니다. 그러나 OCaml 코드에서 네이티브 방식으로 사용할 수 있는지 궁금합니다. 또한 누군가가 적절한 이름을 알고있는 경우. 고맙습니다.

1열

2답변

변경 가능한 필드가있는 레코드는 항상 '참조로 전달'됩니까?

지금까지 살펴 봤지만 변경 가능한 필드가있는 레코드는 항상 참조로 전달되는 것처럼 동작합니다. 예를 들어 함수에 레코드를 전달하거나 데이터 구조에 저장하면 레코드가 프로세스에서 복사되지 않습니다. 예를 들어,이 코드 : type t = { mutable t_val: int } let() = let ht = Hashtbl.create

0열

1답변

OCAML stdin에서 여러 인수를 가져 와서 하나씩 차례대로 실행합니다.

ocamllex와 ocamlyacc를 사용하여 인터프리터를 작성했지만 렉서와 파서가 올바르게 작동하지만 현재는 모두에 대해 반대로받은 마지막 .txt 인수 만 구문 분석합니다. 그들을 차례로. 예를 들어, ./interpret one.txt two.txt three.txt은 one.txt을 파싱하는 것에 반대하여 three.txt만을 구문 분석 한 다음 t

0열

1답변

Oasis와 함께 Ocamlbuild 플러그인 사용하기

Ocamlbuild-protoc과 같은 Ocamlbuild 플러그인을 Oasis가 관리하는 프로젝트에 통합하는 적절한 방법은 무엇입니까? 수동으로 myocamlbuild.ml을 편집하여 플러그인을 호출하는 방법을 알고 있지만 적절한 태그가 설정되지 않았으므로 충분하지 않습니다. 이 특정 플러그인 문서에 따르면, 다음 명령을 호출 할 필요가있다,하지만 난 오

-3열

2답변

꼬리 재귀 Ocaml 프로그램

나는 꼬리 - 재귀 하나에 기능을 met_devant_et_acc 돌고 싶지만 어떻게 다시 쓸 수 있는지 모르겠다. met_devant_et_acc l h은 목록 l의 모든 목록과 첫 번째 요소로 h 요소가있는 이러한 모든 동일한 목록을 포함하는 목록을 반환합니다. 예는 : met_devant h [ [ ]; ['x';'e']] 반환 [ ['h'] ; ['

0열

1답변

인라인 된 레코드 유형이 이스케이프 처리 될 수 있으므로 양식을 사용할 수 없습니다.

type 'a queue = Q of {estack : 'a list; dstack : 'a list} | Empty let enqueue d q = match q with | Empty -> Q {estack = d; dstack = []} | _ -> Q {q with estack = q.estack :: d} 컴파일

0열

1답변

입력 오류 추상 구문 트리와 선돌을 무장 할 때

편집 : 내 아래의 질문은 여전히 유효하지만 난 그게 코드의 더미를 통해 선별하지 않고 대답하기 어렵다 것을 감사드립니다. 따라서 다소 유사한 질문을하기 위해 누구나 ASH를 구현하는 데 Menhir을 사용하는 예가 있습니까? 계산기와 같은 "장난감"프로젝트가 아닌 것이 좋지만 도움을 얻을 수 있으면 감사하겠습니다. 원래 질문 : 나는 선돌을 사용하여

2열

2답변

다형성이있는 Functor 기반의 집합으로 구성된 집합

Jane Street Core는 다형성 Pervasives.compare을 기반으로하는 다형성 집합 인 매우 편리한 'a Core.Set.Poly.t을가집니다. 예를 들어,이 세트는 을 매핑하는 map 함수가 있습니다. 비교 표준 OCaml 세트는 펑터 기반이며, map 함수 맵 'a -> 'a 인 단일 형태 집합을 생성합니다. 표준 라이브러리 만 사용하여

0열

1답변

재귀 호출이 경우 식 - OCaml의

module Dfs = struct let rec dfslsts g paths final = let l = PrimePath.removeDuplicates (PrimePath.extendPaths g paths) in let f elem = if (List.mem "%d" (List.flatten fin

3열

1답변

OCaml - int 배열과 가비지 콜렉션

double_array_tag 및 unboxed float를 런타임에 float array으로 표시하므로 가비지 수집기가 스캔하지 않습니다 (double_array_tag >= no_scan_tag). 하지만 int array은 무엇입니까? OCaml 가비지 컬렉터는 필드를 스캔하지 않는 것을 어떻게 알 수 있습니까?