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