08/07/28 19:23:34
>>671
計算機の問題は関数型言語で解くのがすごく簡単な場合がある。
それはラムダ計算がTMマシンと同じ計算モデルだから。
これがプログラミングの本質ってやつかな。
代入のないHaskellはそのあたりをすごくビビッドに理解させてくれる。
ここは他の言語で代用がむずかしいところかな。
ごく少数の言語でしか使えない概念だからね。
08/07/28 19:23:34
>>671
計算機の問題は関数型言語で解くのがすごく簡単な場合がある。
それはラムダ計算がTMマシンと同じ計算モデルだから。
これがプログラミングの本質ってやつかな。
代入のないHaskellはそのあたりをすごくビビッドに理解させてくれる。
ここは他の言語で代用がむずかしいところかな。
ごく少数の言語でしか使えない概念だからね。