이 이진 트리 type 'a btree = Empty
|Node of 'a * 'a btree * 'a btree
let rec treemap t f = match t with
|Empty -> Empty
|Node(root,left,right)-> Node(root f, treemap left f, treemap righ
궁극적으로는 1) 모듈 (따라서 mli 파일)에 대한 가시성을 제한하고 2) 인수가 "canonical 구현 "은 ml/mli 쌍으로 존재하며 인수는이 표준 구현과 동일한 모양을 유지한다고 주장합니다. 가정하자 내가 문자열 연결 (* concat.ml *)
type t = string
let concat x y = x^y
에 대한 하나의 함수를 포함
이 두 함수의 형식이 잘 지정되었는지 어떻게 증명할 수 있습니까? 나는이 질문으로 조금 잃었다. 문제는 할당과 같은 이후 let rec reduce f lst u =
match lst with
| [] -> u
| (h::t) -> f h (reduce f t u)
let rec forall2 p l1 l2 =
mat
아래와 같이 비교 세트를 쓰고 싶습니다. signature COMPARABLE_SET=
sig
type 'a set
val empty: 'a set
val insert: 'a * 'a set -> 'a set
val member: 'a * 'a set -> bool
end
난 비교 가능하도록 설정 유형 '의 요소를
: 나는 BuckleScript FFI manual을 읽는 동안이 우연히 type a_type
type b_type
let a : a_type = (* ? *)
. JS 객체에 바인딩에 대한 코드는 다음과 같다 : type t
external create_date : unit -> t = "Date" [@@bs.new]
let date = cr
어떤 정수 목록이 더 큰지 알아 내려고하고 있습니다. [1;2;3]의 표시는 실제로는 123입니다. 그래서 두 개의 정수 목록이 주어 지므로 각 요소를 비교하여 끝에있는 숫자가 더 큰 지 확인하려고합니다. 1이면 list1 > list2, -1 인 경우 list1 < list2 및 0이면 동일 함. 이것은 내가 지금까지 가지고있는 것이지만, 그것을 실행하려
"이질적인 나무"를 모델링하려고합니다. 노드가 다른 "종류"가 나무와 각각의 "종류"가 포함될 수 있습니다 아이들의 "종류"에 제한 : type id = string
type block
type inline
type _ node =
| Paragraph : id * inline node list -> block node
| Stro
OCaml에서 간단한 범위 함수를 구현하려고하는데 다른 arity 호출에 대해 어떻게 할 수 있는지 궁금합니다. let range_aux ~start ~stop ~step =
let rec aux start stop step acc =
match (start, stop, step, acc) with
| (start,stop,ste
나는 힘을 찾는 함수를 썼다. 하지만 마이너스 1의 힘 함수를 찾기 위해 프로그램하고 싶습니다. 어떻게해야합니까? 예를 들어 전원 3 4 = 80, 전원 여기서 2 3 = 7 에 대한 코드 let rec power m n =
if n = 0 then 1
else m * power m (n-1) ;;
비어 있지 않은 목록의 List.max_elt의 결과를 언 랩핑하려고 했으므로 항상 존재해야합니다. 따라서 Option.value_exn이 올바른 도구라고 생각했습니다. 하지만 이상한 오류로 실패합니다 : # List.range 0 10 |> List.max_elt ~cmp:compare;;
- : int option = Some 9
# Option.