[노건일]

OCaml에서 사용자 input은 어떻게 처리할 수 있나요?

이것저것 열심히 들여다보니, scanf가 유력해보이는데..
scanf 종류도 굉장히 많더라고요.
어떻게 사용하는 것인지도 전혀 감이 오질 않아서
조교님께 도움을 청합니다.

[허기홍]

숙제에는 모든 입력은 int라고 되어있습니다.

[노건일]

매번 감사합니다 조교님
그래도 아직 넘어야할 산들이 너무 많은것 같네요 -_-;;

let f(x) = match x with
A -> a
| B -> b

와 같은 식으로 코딩을 했는데,
A와 B 조건을 각각 OCaml 실행기로 실행해보면 잘 돌아갑니다.
(즉, match x with
. A -> a 만 돌리고, 또 B만 돌려보고~)
그런데 A와 B를 한꺼번에(위와 같이) 써놓고 돌리면
match에 잘못된 type이 들어갔다는 에러가 나오네요...
뭐가 문제일까요? 진짜 몇시간째 고민하고 있습니다ㅠ

------------- 아래는 제 코드와 에러메시지 입니다.-------------
let rec expval (mem, env, expr) = (* expval : mem * env * expression -> value * mem * env *)
match expr with
ADD(e1, e2) -> match expval(mem, env, e1) with
(val1, mem1, env1) -> match expval(mem1, env1, e2) with
(val2, mem2, env2) -> ((Num (value_int val1 + value_int val2)), mem2, env2)
| SUB(e1, e2) -> match expval(mem, env, e1) with
(val1, mem1, env1) -> match expval(mem1, env1, e2) with
(val2, mem2, env2) -> ((Num (value_int val1 - value_int val2)), mem2, env2)


---------------
Characters 529-540:
| (ADD(e1, e2) : exp) -> match expval(mem, env, e1) with
^^^^^^^^^^^
Error: This pattern matches values of type exp
but is here used to match values of type 'a * 'b * 'c

[허기홍]

아.. 이런

중첩된 매치를 쓰셔서 ocaml 컴파일러가 헷갈려하네요.
괄호를 써서 구분해주세요.