검색 결과 67 개 일치합니다

안녕하세요 조교님.
파싱에 관해 질문이 있습니다.

hw6의 정의를 보면, 람다식 \var.E의 E에 임의의 람다식이 들어갈 수 있는데요,
\x.(y z) 를 파싱하면, ...

* 모든 질문에 답은 챌린지 도큐먼트에 다 있습니다.
* 없는 것 같다면, 스스로 판단해서 해내고 싶은만큼 하시면 됩니다.

여러분이 100점 받기위해� ...

내게 직접 제출해주세요.
302동 428호. 내가 없을땐 문 옆의 IN box에 넣어놓고 가면 됩니다.

-K

원칙: 새 방법이 실제로 유용하고 믿을만한 확장인지 확인하기.

점수를 따려고 문제를 풀기보다는,
유용한 확장을 고민해보는 재미를 겪어보라고 � ...

raise는 try~handle~ 에서만 있나요?
만약 그렇지 않다면, try~handle안에 있지 않은 raise는 어떤 작용을 하나요?

그 raise식이 실행되면 미리 장착된 handle 식� ...

ㅠㅜ

아 그리고 에세이 보내야 하는 사람은 교수님 메일로 에세이 보내는 건가요..?

내게 직접 email로 보내기 바랍니다. kwang@ropas.snu.ac.kr

-K

한 가지 더 질문인데요
1번에서 read_type이라고 나와 있는데 read_tape이 맞는 것인가요?
그리고 match_rule 함수에서 ruletable에서 조건에 맞는 rule을 찾지 못� ...

module 내에서 정의한 타입을 그냥 사용하니 unbound constructor라고 뜨네요.

module 내에서 정의한 타입을 쓰려면 일일히 let으로 다 정의해 주어야 하나요?
...

김군 신통방통합니다.
귀국행 공항대합실에서 급박히 올려놓고는
비행기탑승후 화일을 다시보고 아차차
집에 도착해 수정하려는 찰나
여길 확인� ...

수업시간에 했던 증명들이 포함된 슬라이드가 새로 올랐습니다.

Enjoy,

-K

교재 189쪽에 보면 expansive(E1 E2) = true라고 돼 있는데

이해가 안됩니다

expansive(E1) or expansive(E2)가 아닐런지,,,

예를들어
f 10
이라는 식을 생각해 � ...

#1
변환 규칙이 조금 부족한 것 같습니다.

{x->L1}λx.L 의 경우에 대해 명시되어 있지 않네요.

scope가 가려지므로 아무런 변환도 하지 않는 것이 맞� ...

기한은 11월 27일 까지입니다.

http://ropas.snu.ac.kr/~kwang/4190.210/09/hw6.pdf

11월 25일 까지입니다.

숙제 다시 내려받으세요.

Enjoy,

-K

부지런한 윤용호군
미안하게 됬습니다.
새로운 hw1을 공지했습니다.
다시 받아가기 바랍니다.
문제가 줄고 변경되었습니다.

Enjoy!

Start early.
Enjoy,

-K