나는 많은 사람들이 나에게 준 권장 사항에 따라 graphviz을 사용했지만 문제가 발생했습니다. 에 ocaml이라는 점을 쓰고 싶습니다. int*char*int의 목록과 int 목록으로 표시되는 최종 상태로 표시되는 전환을 포함하는 자동 완성을 정의하는 다섯 개의 필드가있는 레코드가 있습니다. 첫 번째 필드는 초기 상태이며 하나는 int입니다. 필자는 매
에 오류를 받고, 하스켈에 OCaml로/F 번호에서 형식 정의를 변환하려고? 현재 하스켈 코드 : data Func sa sb =
Empty
| Leaf Int * (sa * sb) List
| Branch Int * Int * (Func sa sb) * (Func sa sb)
OCaml의 : type ('a,'b)func =
C 라이브러리와 Ocaml 프로그램간에 바인딩을 만들려고합니다. Gc와 인터페이스 할 때 문제가 발생했습니다. 문제를 재현 할 수있는 작은 프로그램을 만들었습니다. 목적은 C 프로그램에 할당되어 있고 C 구조체의 포인터를 포함하는 custom_block을 Ocaml의 주 프로그램에 전달하는 것입니다. 그런 다음 클리닝 (GC 호출을 강제 실행) 전에이 메서
나는 lwt의 대기 함수에 대한 질문을 가지고 있는데, 어떻게하면 Lwt.t 스레드를 리턴 할까? 먼저 예제를 보여 드리겠습니다. 내가 전화 위의 함수에서 open Lwt_io
open Lwt.Infix
let i, o = Lwt_io.pipe()
let get_int() =
let t, w = Lwt.wait() in
(*wha
OCaml에 배열이 있으면 배열의 크기를 먼저 가져 와서 배열 요소의 크기를 가져 오려고합니다. # let element_type = Array.element_type arr;;
# let element_size = of_int (sizeof element_type);;
그러나 Array.element 함수는 더 이상 사용할 수없는 것 같습니다. 그
내 프로그램에서 Sexplib을 사용해야합니다. 시도했지만 ocamlc sexplib.cma prog.ml
Error: Unbound module Sexplib
나는 오류가 발생했습니다. 내가 처음 패키지를 ppx_sexp_conv로드하는 경우하지만 최상위에 Sexplib를 사용할 수 있습니다 #require "ppx_sexp_conv";;
open
내가 OCaml의에서 통역을 쓰기 위해 노력하고있어에서 통역을 구현하지만이 프로그램의 오류를 해결 모른다 : SYNTAX
type ide = string
type exp =
| Eint of int
| Ebool of bool
| Den of ide
| Sum of exp * exp
| Diff of exp
나는 세 개의 파일이 있습니다. 예를 들어, 나는 시도했다 : $ ocamlc -a lib.ml -o lib.cma
$ ocamlc -a lib.cma desk.ml -o desk.cma
$ ocamlc desk.cma test.ml -o test.byte
불행하게도, 당신은 test.ml을 변경하는 경우 Lib.myfunction()로, 같은 컴파
나는 목록에서 n 번째 자리에 정수를 삽입하는 함수를 작성하고 있었고, 난이 목록의 끝에 정수를 추가하려고 할 때 나는 처음에 오류가 발생 할 let rec insert x n l =
match l with
|[] -> [x]
| h:: t -> if n = 0 then x :: l else h :: insert x (n-1) t
이을 썼다. le