1. PTT
  2. 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 RecursionSansWord[心得] 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

Links booklink

Contact Us: admin [ a t ] ucptt.com