関数型言語Part IV
レス数が950を超えています。1000を超えると書き込みができなくなります。
0980t ◆SQYzTdSfUA
2009/09/09(水) 01:16:48>>974
あぁ、やっぱり劣化は余計でした
優劣が主題じゃないんです
私が言いたいのは、S式やLispは歴史もあるしハッカーなイメージである種特別視したくなるけど、
コンピューターサイエンス(?)の枠組で冷静に捉え直す視点を持つべきだという事です
本当はLispに留まらず、言語に関係すること全部です(特に"オブジェクト指向"とかも)
λ計算をはじめ、計算論、オートマトン、型理論、述語論理、圏論...
道具立ては揃っています
これらの言葉を借りて捉え直せば、立ち位置が分かって、クリアな議論ができるようになるはずです
レス数が950を超えています。1000を超えると書き込みができなくなります。