ocaml

2열

1답변

2 개의 목록 ('a list 및 'b list)이 주어진 두 개의 목록의 카디 전 곱인 ('a*'b) list을 반환하는 함수를 만들려고합니다. 나는 이것을 시도했지만, 대신 , 'b과 같음 'a list list을 얻는다. 그래서 누군가가 내가 틀렸고 OCaml이 'a list list을 묻는 이유를 말해 줄 수 있는지 묻습니다. 'a list. let

0열

1답변

OCaml에서 match 문을 사용한 제어 흐름 : 예기치 않은 조기 회신

OCaml match 문에서 표현식이 유효한 대상으로 정의되는 방식에 대한 근본적인 오해가있을 수 있습니다. 이 간단한 예제에서는 프로그램의 제어 흐름 동작을 이해할 수 없습니다. None. Here. string. There. 을하지만 그 대신 진입 점 함수가 printf "There.\n"에 도달하기 전에 조기 반환 open Printf l

0열

1답변

OCaml의에서 재귀 함수를 만들려고 노력

그래서 나는 내가 OCaml의 재귀로 번역하고 싶습니다이 while 루프 개념이 있습니다 의사 코드 : n = read integer from stdin m = 1 while m*(m+1)/2 < n m = m + 1 print m OCaml의 나의 시도 : 를 let n = int_of_string (input_line stdin) in

0열

1답변

정렬 목록 (OCaml)에서 중복 제거

OCaml에서 이미 정렬 된 목록에서 중복 항목을 제거하려고합니다. 이것은 내 코드입니다. let rec remove_dup = function | [] -> [] | hd :: [] -> hd :: [] | hd :: hd2 :: tl -> if (hd == hd2) (remove_dup tl) :: hd else (remove

1열

1답변

언 바운드 레코드 필드 id 오류

나는 Reason-React를 시험 중이다. 구성 요소 중 하나에 키를 추가하려고하면 문제가 발생합니다. 나는 TodoItem의 목록을 상태로 취하는 TodoApp를 보유하고 있습니다. TodoItem에 대한 키가 없으면 응용 프로그램이 제대로 작동합니다. 그러나 내가 그것을 추가하면 컴파일 오류가 발생합니다. 내가 참조를 위해 여기에 파일을 추가하고 :

2열

3답변

- OCaml의를

는 내가 처음 int는 임의의 태그입니다 유형 type lazy_node_t = LazyNode of int * lazy_node_t Lazy.t list;; 의 노드가 (감독) 그래프가 있다고 가정하고, 목록의 목록입니다 현재 노드에서 액세스 할 수있는 지연 노드 변경할 수있는 값을 사용하지 않고 type node_t = Node of int * no

0열

1답변

목록의 요소 시퀀스 번호로 목록의 요소를 찾고 표시합니다.

저는 OCaml의 초급 프로그래머입니다. 목록 번호가 [0;7;8]이고 목록의 두 번째 요소가 필요한 경우이 함수는 다음과 같이 보일 것입니다 : func [0;7;8] 2 ;; 여기서 2는 시퀀스 번호로 목록의 요소를 찾아 표시하는 프로그램을 작성해야합니다. 요소의 일련 번호 그래서 나는이 같은 목록에서 n 번째 요소를 필요로하는 경우 :. [1;2;3;

1열

2답변

우아한 Array.multipick 내가 상상 <code>Array.multipick</code>에 가깝다 뭔가 구현하고 싶습니다 구현

(?) : 내부적으로 Array.multipick : choosers:('a -> bool) [] -> array:'a [] -> 'a [] , 우리는 true을 반환하는 모든 choosers, 첫 chooser 각 배열의 요소를 테스트에서 제거 choosers 배열에 추가하고 결과에 chooser의 인수를 추가합니다. 그 후, 우리는 을 계속 진행하고

1열

1답변

menhir을 사용하여 표현식 목록을 구문 분석하는 방법은 무엇입니까?

다음은 Andrew Appel의 Tiger 언어 (ocaml)에 대한 현재 lexer 및 parser입니다. 나는 현재 상호 재귀 기능을 지원하기 위해 노력하고있어,하지만 다음 파서 코드가 작동하지 않습니다 decs : | l = list(dec) { l } dec : | t = nonempty_list(loc(tydec)) { S.T

5열

1답변

이유와 함께 유형 및 값 표시

OCaml REPL은 모든 표현식의 값과 유형을 표시합니다. 예를 들어, 평가 : let rec map f = function | [] -> [] | x::l -> f x :: map f l;; 을 제공합니다 : val map : ('a -> 'b) -> 'a list -> 'b list = <fun> 이 언어를 가르치는 unval