- 集合論に基づいた言語を作りたい
700 ：デフォルトの名無しさん[sage]：2014/11/08(土) 19:53:04.25 ID:LHO3gvAT - >>693
プログラミングパラダイムごとに得意な領域、不得意な領域が存在するのに、なんで例題一個だけで言語を判断しようとするの？短絡的すぎない？
全部Prologで書くのはきついものがあるけど、部分的にPrologを採用してるプロジェクトはあるよ
(とはいえPrologがconnect4を作るのに向いているかどうかで言えばたぶん向いてないとは思うけどね)
|
- 集合論に基づいた言語を作りたい
705 ：デフォルトの名無しさん[sage]：2014/11/08(土) 21:35:40.48 ID:LHO3gvAT - >>701
まあ実を言うとPrologについてそんなに詳しくはないので、文法とWIkipedia程度の知識しかない
歴史的には定理自動証明の分野で使われてきていて、
最近ではIBMの例のワトソンのコアに使われてたりするとか、まあやっぱ知識処理なのだろうか
あとユニフィケーションと並列化の相性がよく、派生言語がいくつか出てるらしいね、Erlangとか
>>702のスレも業務への適用の話とかしててまだ途中だけど読んでて結構おもしろい
まあ言いたかったことは、他のパラダイムは切り捨てるより取り入れたほうが自分の糧になるよということで
以前関数型あたりも簡単に切り捨ててたから、それじゃもったいないよ
|
- 【入門】Common Lisp その11【質問よろず】
67 ：デフォルトの名無しさん[sage]：2014/11/08(土) 21:45:50.89 ID:LHO3gvAT - >>53
Schemeはいい言語だけど、何かをやろうとするとちょっとめんどいことが多いかな
完全な主観で言えばCommon Lispが好きだけど、
何かやりたいことがあってそれを実現したいのならClojureが一番楽だとは思う
|