1
를 제거 할 때 합금에 다음과 같은 사양을 고려 빈 세트를 가져옵니다 :합금 - 객체
우리가 대학 = {책 $ 0 책 $ 1, 책 $ 2} $을 $있는 인스턴스를 가지고 있다고 가정sig Books {}
fun f[b:Books] : Books {
{b':Books | b' = Books -b }
}
run show {}
. $ 0 $ 대신 $ {책 $ 1, 책 $ 2}의 빈 세트 $ 책 f를 함수를 산출 평가 $ :
f[Books$0]
{}
왜 어떤 아이디어가?