검색 결과 40 개 일치합니다

밑에 글이랑 모순되는 부분이 있는것 같아서 확인차 다시 질문드려요.

아래 글에서는 시그니쳐 부분은 수정할 수 없고, 모듈만 수정 가능하다고 하� ...

1.

l ∈/ DomM′
semantics에서 letv의 위 문장이 뜻하는건 뭔가요?

sigma (X, X+10, 3)

이것의 계산 결과는 33인가요?

그리고 위 식에서처럼 구간에 X가 들어갈 경우 X를 정수라고 생각하면 되나요?

그렇다면 증명규칙의 의의는 무엇인가요?

각각의 규칙들의 증명방식 같은 것은 대략 이해가 가는데 증명규칙을 왜 배우는지 궁금합니다.

pl-book-draft 31페이지의 증명 규칙에서요
귀납 규칙들을 분수로 표현하고 그에 대한 설명이 다음과 같은데요.

(Γ,f)쌍들의 집합을 만드는 규칙들이다. ...

int * int → int
이므로
natadd (a,b)와 같이 사용됩니다.

natadd a b로 사용하려면
int → int → int 형으로 정의해야 합니다.

참고로 natadd와 natmul은 int*int� ...

hw1

let _ =
let print_bool x =
print_endline (string_of_bool x) in
print_bool (385 = sigma (1, 10, (fun x -> x * x)));
print_bool (0 = sigma (3, 1, fun x -> x * x));
...

nat는 자연수를 귀납적으로 정의한 걸거에요.
(SUCC n)은 n+1이라고 생각하심 됩니다.
SUCC (SUCC ZERO)는 2가 되구요

따옴표 붙이니까 잘 되네요

감사합니다^^

http://ocaml.org/learn/tutorials/modules.ko.html

위 사이트에 나온 것처럼 제가 만든 ml 파일을 open을 이용해서 열려고 하는데요.

Unbound module [모듈명]

위와 � ...

몇시에 진행하나요?

클레임 결과는 언제 반영되나요?

아직 반영이 안된것 같아요

ZEXPR 모듈을 정의할 때

signature ZEXPR =
sig
...
end

이런 식으로 정의되어 있는데 signature라는 문법이 따로 존재하나요?

서로 호출하는 함수를 정의할 땐 어떻게 해야 하나요?

let h x =
g x ...
let g x =
h x ...

위와 같이 g에선 h를, h에선 g를 호출하는 경우는 어떻게 � ...