集合論に基づいた言語を作りたいat TECH
集合論に基づいた言語を作りたい - 暇つぶし2ch706:1
14/11/08 21:55:42.68 vsjOn1b1.net
>>704
You can't connect the dots looking forward. You can only connect them looking backwardsだよ!

>>705

>あとユニフィケーションと並列化の相性がよく、派生言語がいくつか出てるらしいね、Erlangとか

ErlangってPrologの派生だったの?
なんか並列化が得意らしいというのは聞いたことがあったが。

> >>702のスレも業務への適用の話とかしててまだ途中だけど読んでて結構おもしろい

そういやPrologスレちゃんと読んでないな。読んでみるか。

>まあ言いたかったことは、他のパラダイムは切り捨てるより取り入れたほうが自分の糧になるよということで
>以前関数型あたりも簡単に切り捨ててたから、それじゃもったいないよ

またまたぐう正論ですな。
気を付けます。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch