검색 결과 5 개 일치합니다

새로 나온 뼈대코드에서 union_ftv 함수가 제가 이해한 것이 맞다면 두 리스트의 합집합(?) 을 구해야 하는데

let union_ftv ftv_1 ftv_2 =
let ftv_1' = List.filte ...

답을 key의 크기에 따라 정렬된 상태로 출력해야하나요?

{-, (-, -)} 를 {(-, -), -} 와 같이 출력해도 상관없는지 궁금합니다.

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

이 글을 보고 질문드립니다.

bft 함수의 구현을 위해 필요한 다른 함수들을 bft 바깥에 정의하면 안되는건가� ...

http://ropas.snu.ac.kr/~ta/4190.310/15/document/K_doc/k-.pdf

5페이지 제일 위에 있는 EQUALT 오른쪽에 보시면 v1이랑 v2가

1. Num이면서 같거나
2. Bool이면서 같거나 ...

2014 김현우