[김우열]

어흑 너무 쎄군요 ㅜㅜ

제가 한 숙제6의 알고리즘이 뭔가 맘에 안들어서 -_-;;

이번엔 Skeleton의 알고리즘을 좀 이리저리 해볼라고 했는데......

Gen을 만드려는 중에 ftv(τ)\ftv(Γ)가 나오는 바람에 ㅜㅜ

Skeleton에는 Γ가 함수형태로 되어있어서 Domain을 통해 Γ(x)들을
구할 방법이 없어보입니다 ㅜㅜ

다들 어떻게 해결하셨나요 ㅜ

[김봉수]

힘듭니다...정말로
뭘 어떻게 해야하는지....

[김우열]

음 어찌저찌 다 하긴 했군요 ㅜ

자답하자면 Γ의 Domain을 얻어야 하므로

함수형태로는 불가능하고, List나 Map등을 이용해야 할듯 합니다.

뭔가 숙제를 하면서 매번 느끼는거지만,
하면서는 진짜 힘든데 막상 다 끝나면 뭔가 허무하군요 OTL