Lisp Scheme Part21 at TECH

---

[2ch|▼Menu]

■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
300:デフォルトの名無しさん 08/04/17 17:32:41 >>299 (values nil "ttp://www.cliki.net/web%20API" "Clikiにはズバリはないみたいだけど、 cl-ajaxとかでできるのかな。" "よくわからない。") 301:デフォルトの名無しさん 08/04/17 21:12:46 >>247 �d。miniKANRENは徐々に進化しているようでした。 leanTAP⇒KANREN⇒miniKANREN⇒alphaKANREN ttp://www.cs.indiana.edu/~webyrd/alphamk/alphamk.pdf ttp://kanren.sourceforge.net/ ParentheCというパーサー（c⇒scheme）を見つけました。 パターンマッチはolegのものを流用してます。 ttp://www.cs.indiana.edu/classes/b521/newpc/ParentheC.pdf ttp://www.cs.indiana.edu/classes/b521/notes.html Prologもどきと軽く思ってたけどReasoned Schemerって意外に深いのかな。 型推論のHindley-Milner type inferenceとかOCAMLみたいｗ 302:デフォルトの名無しさん 08/04/17 21:27:16 CPSによるパターンマッチのマクロ by Oleg Kiselyov. ttp://www.cs.indiana.edu/l/www/classes/b521/pmatch.pdf

---

次ページ

最新レス表示

スレッドの検索

類似スレ一覧

話題のニュース

おまかせリスト

▼オプションを表示

レスジャンプ

mixiチェック！

Twitterに投稿

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch

---

5386日前に更新/111 KB
担当:undef