OCaml의 타입 설명 (초보자) 나는이 선언이 선언 다음</p> <pre><code>type 'a dict = string -> 'a option val empty : unit -> 'a dict val insert : 'a dict -> string * 'a -> 'a dict </code></pre> <p>, 내가 <code>empty</code>을 어떻게 쓸 수있는

Question

? empty()은 빈 사전 만 반환합니다.

Answer 1

너 자신을 생각한 부분을 단락시키고 싶지는 않다. 여기에 힌트가 있습니다.

1. 사전 형식은 string -> 'a option입니다. 즉, 사전에서 찾고있는 것을 반환하는 함수이거나 문자열이 사전의 값과 연결되어 있지 않은 경우 None입니다. 비어있는 사전과 같은데 문자열이 아무 것도 연관되어 있지 않으므로 함수는 항상 동일한 결과를 반환합니다. 항상 똑같은 것을 반환하는 함수를 작성하는 것은 그리 어렵지 않습니다.

2. 코드가 'a 유형의 값을 반환하지만 'a option 유형을 반환해야합니다. 그렇지 않으면 훌륭한 코드입니다. 당신은 그 점을 파악하고 있습니다 (IMHO).