PTT
Submit
Submit
選擇語言
正體中文
简体中文
PTT
PLT
Re: [心得] Y Combinator 與 Mutual Recursion
作者:
scwg
( )
2010-06-04 12:49:38
※ 引述《SansWord (是妳)》之銘言:
: : 解決方法也很簡單,就頭痛醫頭腳痛醫腳,做一個 t 與 t -> a
: : 同構的遞迴型別囉。
: : data Fix a = Rec (Fix a -> a)
繼續閱讀
Re: [心得] Y Combinator 與 Mutual Recursion
SansWord
[心得] Y Combinator 與 Mutual Recursion
noctem
Re: [問題] letrec 為何可以成立? (In scheme, ma …
SansWord
Re: [問題] letrec 為何可以成立? (In scheme, ma …
noctem
Re: [問題] letrec 為何可以成立? (In scheme, ma …
noctem
Re: [問題] letrec 為何可以成立? (In scheme, ma …
SansWord
Re: [問題] letrec 為何可以成立? (In scheme, ma …
noctem
Re: [問題] letrec 為何可以成立? (In scheme, ma …
sbrhsieh
[問題] letrec 為何可以成立? (In scheme, maybe...)
SansWord
[問題] 請問Verilog 的 Generate for 用法
kkpopolo
Links
booklink
Contact Us: admin [ a t ] ucptt.com