검색 결과 27 개 일치합니다

합집합인데 순서가 있는 합집합이라고 보면 됩니다..

리스트를 연결하는 느낌이랄까요'ㅁ';

제가 이해하기론

unify-all( a, b )의 의미는
현재 솔루션 셋 b에서 방정식 a가 추가되었을 때의 b에 덧붙여져 추가되는 솔루션 + b인데요.

let T = unify-all ...

제 말도 같은 말이예요..

런타임 타입시스템에서 돌아가는 프로그램이 반드시 심플타입에서 돌아갈 필요가 없다는 말을 하고 싶었던 겁니다.

저는 ...

그럼 런타임 타입체킹 시스템은 사실상 폴리몰픽타입시스템같은 것도 다 잘 지원되는 것을 말하는 것이군요!

6-1번도 엄밀하게 심플타입을 지키도록 런타임 에러를 잘 내주어야 하나요?

예를 들어

let a = malloc 1 in a := "1234" end

이런 프로그램도 걸러� ...

twrite가 뭔가요??;;

재..재미ㅠㅠ

늦었네요 ㅠ

그냥 저지방에서는 자체적으로 타입검사를 하지 않는 것 같아요

모든 케이스를 고려하지 않았다고 워닝이 나는데...
그냥 무시하고 해도 되나요??

let
proc fac(x) =
if not (x < 1) then fac(x-1);(x := x * fac(x-1))
else (1)
;
x := 0
in
write fac(read x)

120이 나와야 합니다ㅠ

bind가 다 해주네요 'ㅁ'해결했습니다 ㅠ

ㅠ_ㅠ
당연히 되겠지 하고 테스트안하고 있었는데

안되네요.. 그러면 이전에 가리키고 있던 값들을 모두 pop하거나 저장해둔 뒤에 call을 해야 한다는 ...

감사합니다..ㅋㅋ

덕분에 테스트 쉽게 해볼 수 있었어요~~

답은 다 똑같이 나왔네요 Smile

알파 컨버젼은 계산 결과에는 영향을 미치지 않기 때문에 알파 컨버젼을 한 결과물의 Id는 어떻게 되어도 상관 없이 Lambda 식의 최종 구조만 같으면 되� ...