1. PTT
  2. PLT

Re: [心得] Y Combinator 與 Mutual Recursion

作者: SansWord (是妳)   2010-06-04 07:38:44
: 解決方法也很簡單，就頭痛醫頭腳痛醫腳，做一個 t 與 t -> a
: 同構的遞迴型別囉。
: data Fix a = Rec (Fix a -> a)
作者: SansWord (是妳)   2010-06-04 07:42:00
我想要被打通任督二脈啊！讀的東西還不能很連貫的互動...
繼續閱讀
[心得] Y Combinator 與 Mutual RecursionnoctemRe: [問題] letrec 為何可以成立？ (In scheme, ma …SansWordRe: [問題] letrec 為何可以成立？ (In scheme, ma …noctemRe: [問題] letrec 為何可以成立？ (In scheme, ma …noctemRe: [問題] letrec 為何可以成立？ (In scheme, ma …SansWordRe: [問題] letrec 為何可以成立？ (In scheme, ma …noctemRe: [問題] letrec 為何可以成立？ (In scheme, ma …sbrhsieh[問題] letrec 為何可以成立？ (In scheme, maybe...)SansWord[問題] 請問Verilog 的 Generate for 用法kkpopolo[問題] 關於coldfusionlouischang

Links booklink

Contact Us: admin [ a t ] ucptt.com