검색 결과 12 개 일치합니다

let val f = (fn z => z) in f 3; f end

위의 프로그램이 polymorphic type check system 에서 int->int 로 결과를 낸다는 것은

polymorphic한 함수의 타입은 가장 마지 ...

교재 128 쪽에 보면

두 개의 치환 S,T 를 나란히 S T 라고 했을 때 이를 다음과 같이 정의하고 있습니다.

ST = {x -> S(T(x)) | x ∈ Supp(T)} v {x -> S(x) | ...

저도 똑같이 나오네요
감사합니다!!

같은 이름을 가진 안내판이 여러개 나오는 인풋은
테스트 케이스로 사용하지 않는다고 조교님께서 답변 주셨지만
어쨌든 그런 경우에 대해서도 결� ...

테스트 케이스 중에서

Guide ("1", Branch (Guide ("1", End (NameBox "1")), End (StarBox)))

같은 이름을 가진 안내판이 여러개 나올수도 있� ...

모든 안내판의 이름은 모두 다르다.

라고 스펙문서에 적혀있는데요.

이름이 같은 안내판이 여러개 나오는 인풋은 아예 고려하지 않아도 된다는 의 ...

Guide ("x", e) 가 있을 때는 e 안에 반드시 x 가 존재한다고 가정합니다.

Guide("x", e) 바깥쪽 어딘가에 "x" 가 있을 수 있나요?

예� ...

감사합니다!

2008-11727
조주연

신청합니다.

신청합니다.

안녕하세요. 조교님

5-2.ppt
http://ropas.snu.ac.kr/~kwang/4190.310/10/5-2.ppt

5-2curryhoward.pdf
http://ropas.snu.ac.kr/~kwang/4190.310/10/5-2curryhoward.pdf

이 두 파일이 열� ...

'node가 빈 리스트를 받으면 빈 나무를 만든다' 고 나와있는데요

빈리스트와 빈나무가 헷갈려서 질문드립니다 ㅠ

1. ()뿐 아니라 (()())이나 ((())) 이� ...