15/05/20 19:48:41.11 XsmEqg/3.net
>>327
> ラムダ計算で作れるデータ構造は大体 (->) で出来ている
> (->) で作れる型はあれもこれもモナドだった
これはどういうことを言ってるの？
15/05/20 19:48:41.11 XsmEqg/3.net
>>327
> ラムダ計算で作れるデータ構造は大体 (->) で出来ている
> (->) で作れる型はあれもこれもモナドだった
これはどういうことを言ってるの？
15/05/20 19:48:41.11 XsmEqg/3.net
>>327
> ラムダ計算で作れるデータ構造は大体 (->) で出来ている
> (->) で作れる型はあれもこれもモナドだった
これはどういうことを言ってるの？