OCaml Print statements

Question

디버깅/테스트 용 print 문을 코드 블록에 넣을 수 있습니까? 예를 들어, 자바에서는 System.out.println("")을 사용하여 변수 나 다른 것들을 검사 할 수 있지만, OCaml에서는 print_string과 같은 명령을 사용할 수 있습니까? 따라서 단위를 인쇄하는 대신 오류를 발생시키는 단위 유형의 값을 반환하지 않을까요?

Answer 1

인쇄물을 expression sequence에 삽입하면 문제가 없습니다. 위의 대답이 아니라, 링크와 함께 답변 만 좋은 답변이되지 않으며, 오히려 짧고 때문에

UPDATE 여기

는, 구체적인 예이다. 그것은 계승의 고전 꼬리 재귀 공식이다 (예,하지만 익숙한 지루한) : 여기

# let fac n = 
    let rec f i n acc = 
    if i >= n 
    then acc 
    else (Printf.printf "%8d%8d%8d\n" i n acc; f (i+1) n ((i+1)*acc)) 
    in 
    f 0 n 1;; 
val fac : int -> int = <fun> 
# fac 5;; 
     0  5  1 
     1  5  1 
     2  5  2 
     3  5  6 
     4  5  24 
- : int = 120 

당신이 인쇄의 부작용을 볼 수 있습니다,하지만 결과는 여전히 예상대로 (120)으로 밝혀졌다.

Answer 2

OCaml이 순수한 기능 언어가 아니기 때문에, 이것을 할 수있는 많은 방법이 있습니다. 이런 구체적인 코드를 작성하는 방법은 다음과 같습니다.

let rec mylength list = 
(* DEBUG *) 
let() = Printf.printf "mylength here, null list: %b\n%!" (list = []) 
in 
(* DEBUG *) 
    match list with 
    | [] -> 0 
    | _ :: rest -> 1 + mylength rest 

당신이 (* 디버그 *) 주석 내부의 물건을 제거 할 수 있습니다 작동 후.

%! 버퍼를 플러시한다. printf으로 디버깅을 많이한다면, 이것에 대해 배우는 것은 정말 유용합니다. ignore을 사용

let get_a_string = 
    let a_string = "a string" in 
    (* The semicolon causes the return value of the statement to be discarded *) 
    Printf.printf "Debug: %s\n" a_string; 
    a_string 

let() = Printf.printf "Result: %s\n" get_a_string 

함수의 반환 값을 무시하는 또 다른 방법 :

ignore (Printf.printf "Debug info"); 

다음

Answer 3

표현 시퀀스 Ray Toal's answer에서 언급 한 바와 같이 반드시 주위에 괄호를 필요로하지 않는다는 것을 보여주는 간단한 예제