검색 결과 40 개 일치합니다

제출 페이지가 안열려 있는것 같은데요[....]

그런데 이거 PDF로 제출하면 이 파일은 어떤 여행을 떠나게 되나요-_-;

저는 SM5의 런타임에러 예외라고 생각했는데요.

다만
sub less box 등에도 sm5 runtime에러가 나는 조건이 있는데
변환 기법에는 안나와 있긴 해요...

윈도우용 nml을 깔고 해 보시는건 어때요;
굳이 계정은 필요 없는것 같은데 -_-;

바꿔야'만' 하지 않을까요 -_-;;
함수의 도메인이은 그냥 해당 type이 나올 뿐이지 타입의 범위에 대해서는 알 수 없을 것 같은데요.

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=1075

제 코드도 그렇게 알아보기 쉬운건 아니지만 [..]

뼈대코드들을 보면 정말 읽기가 난해한데요 ㅠㅠ

뼈대를 보고 지난번 숙제를 잘 했나 확인해 볼� ...

헷갈릴 수 있는 날짜보다는

수업시간까지라는 구체적인 사실이 더 사실이라고 생각했는데 ㅠㅠ

-_-;;

에세이는 오프라인 하드카피 제출이니

1번은 1.n
2번은 2.n 아닐까용

타입체커에서 프로그램인지 아닌지를 체크해야 한다는 말인가요?

fn x=>x+1

같은 코드의 경우
타입체커는 단지 충실하게 타입을

int -> int ...

강의자료 5-1simple-type 에 있는 unify와,
교재 167페이지 unify에서

unify(t1->t2, t1'->t2') 의 리턴값이 S' S와 S S'로 다릅니다.

차이가 없을거라고 단순하 ...

EQ도 그 문제가 있군요 -.-;;;;
저는 write랑 eq에 들어가는 variable들 리스트로 관리하고 나중에 체크할려구요 [..]

Simple Type Check 쪽 단원을 읽어도 읽어도 WRITE 를 시맨틱스에 있는것 처럼 처리할 수 있는 힌트를 못찾겠는데요 ㅠㅠ

이번 simple type check 에서 WRITE 딱 하 ...

저도 여태까지 윈도우 nml에서 해 왔고
지금도 그러고 있는데 큰 문제 없이 돌아가는데요 --;;

다시한번 설치해보시는건 어떨까요 [..]

그것보다� ...

생성되는 Makefile의 COMPFLAGS 뒤에 -w p 를 붙이면 특별한 처리 없이도 워닝이 뜨지 않네요

오늘 교수님께 여쭤 봤는데 정의 뒷부분에 있는

Supp(T) \ Supp(S) 가 아니고
Supp(S) \ Supp(T) 로 되야 한다고 하셨어요

그러면 그냥 자연스럽게 이해가 � ...