Re: [心得] Y Combinator 與 Mutual Recursion

作者: scwg ( )   2010-06-04 12:49:38
※ 引述《SansWord (是妳)》之銘言:
: : 解決方法也很簡單,就頭痛醫頭腳痛醫腳,做一個 t 與 t -> a
: : 同構的遞迴型別囉。
: : data Fix a = Rec (Fix a -> a)

Links booklink

Contact Us: admin [ a t ] ucptt.com