검색 결과 50 개 일치합니다

무조건 철수 가정은 유효한거겠죠? ^^;;

그럼,

우리편은 무조건 철수라고 가정하나요?

예를 들어, get_ready 단계에서
맵에서 주어진 철수의 입력 타일을
곧바로 리턴하도록 해도 괜찮나요 ...

엇 그렇군요

답변 감사합니다~

그리고,

1.
4page의 trans에 대한 조건을 보면
최종적으로 비교하는 대상이 드브루인식으로만 한정되어 있습니다.

생각해보니, 람다식끼리 비교하려 ...

ex1에서 ,
'주어진 람다식에서 모든 변수식 x는 함수식 내부에서만 사용된다' 는건
1. x
2. (\x.x) z
와 같은 람다식은 다루지 않는다는 말인가요?
(제가 � ...

1. let A' = Rotate(A)
는 그 결과물로 (A'.box)
이미 시계방향으로 한바퀴 돌아간 무늬(모듈)을 내뱉는건가요?

2. 그렇다면 만약 Rotate.rotate A'.box 를 실행한� ...

엇.. 이렇게 깔끔한 방법이 있었군요

제가 만든건~

let alpha_to_beta alpha =
failwith (string_of_int ((fun x -> List.length [x]) alpha))

조교님, 그리고 주어진 예제 sort는

타입체크를 통과해서 제대로 도는 프로그램인가요?

M에서

types 정의에서 타입변수(TyVar)가 없어서
애를 먹고 있는데..

아무래도 이걸 바꿔버리면 좀 곤란하겠죠?

괄호에 의한 계산순서 변경이 발생하나요?

예를들어
e1 e2 e3 와
e1 (e2 e3) 의 리덕션 결과는 달라질 수 있을까요?

아니면 노말오더에 따라
e1 e2를 � ...

아...

진짜 멍청한 질문이었네요 ㅋㅋ

두분 감사합니다~

아 그냥 OCaml 실행기에서

reduce (App((Lam("y" .... ) ;;

이렇게 실행하면

App(Id "z", Id "z") 라는 결과를 뱉어주는데요

run으로 돌� ...

아.. 그렇군요

큰일날뻔했군요

1. (\y.yy)z

2. App((Lam("y", App(Id "y", Id "y"))), (Id "z"))

일단 앞의 과한 욕심은 접고,
1번과 2번이 같은식이길 바라는건 과한 ...

아.. 어렵습니다.

(\s.(\z.(s z))) (z)

얘를 베타 리덕션하면 결과값이

1. (\z.zz) 인가요

2. (\x.zx) 인가요~?

정답이 2가 아니길 바라는건 너무 과한 욕 ...