Lisp Scheme Part41 (809ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
152: デフォルトの名無しさん [sage] 2020/02/22(土) 21:37:13.68 ID:dEZr6bBq 思うんだけどLispというと悟りとか、ゲーデル云々みたいな話がよく言われるけど Prologではあんまり関連付けて言われないですよね http://mevius.5ch.net/test/read.cgi/tech/1531587928/152
173: デフォルトの名無しさん [sage] 2020/03/05(木) 20:47:20.68 ID:h922Dn8C >>156 Lispはメタプログラミングしやすいって理屈は分かるが 実際にそれでものすごい作業効率が上がるかは疑問だな？ なぜんあらメジャーな言語はライブラリが充実してて それ使えば最初から書かなくても済むわけだから早い http://mevius.5ch.net/test/read.cgi/tech/1531587928/173
243: ◆QZaw55cn4c [sage] 2020/11/04(水) 19:46:38.68 ID:P7pHA7N2 >>242 ＞これからは一部は Go や Rust に置き換わっていくとは思うけど。 …… C で記述された lib を Go や Rust は気軽にコールできるのですか？ まさか… http://mevius.5ch.net/test/read.cgi/tech/1531587928/243
300: デフォルトの名無しさん [sage] 2021/01/22(金) 02:54:51.68 ID:GlnM3g/q consesのカッコのネストを無視して初めのシンボルを返すffは、左端の簡約だけで導出が決まる特性を持つコンビネータ計算(SKなど)にとても重宝する関数だよ applyを.と見なせば(論理学記法で)SKx = ((S K) x)はcons((S . K) . x)と等価 . / \ . x / \ S K (ff ((S . K) . x)) ; => S ffでSを得て、そこへのaccessor は(dfs 'S '((S . K) . x))で4行程度で実装出来る、carで潜る時にはpush 'car、cdrならpush 'car、その枝で見つからなかったときにはpopでSへのアクセサ(car car)が得られて、そのノードを公式に従ってsetf '公式すれば導出完了 lispと言えばラムダってイメージあるとおもうけど、むしろコンビータと相性が良い、特にclのラムダは細かなコントロールを求めた代償として明示的なapply/funcallが必要だからなあ あとdotprintとか定義しとくと便利ね http://mevius.5ch.net/test/read.cgi/tech/1531587928/300
424: デフォルトの名無しさん [sage] 2021/07/15(木) 16:15:28.68 ID:MIyHkZEB >>412 sbclが内部でnlet使ってるね ::で参照したりコピペしたりしてるわ やっぱclに入れた方が良かったな http://mevius.5ch.net/test/read.cgi/tech/1531587928/424
593: デフォルトの名無しさん [sage] 2023/01/31(火) 13:07:01.68 ID:tSjB9eWW >>592 転置されてるのと束縛リストの実行時評価は、おそらくlet風のマクロを書く時に便利だからかな mapcar #'list let-like-binding-list がprogvに渡せて、あと欠損値も勝手にnilで埋まる あと機械的に名前を処理するならgensymもお忘れなく http://mevius.5ch.net/test/read.cgi/tech/1531587928/593
611: デフォルトの名無しさん [sage] 2023/08/18(金) 02:03:46.68 ID:dtVdNVwB John Cowan 氏が R7RS-large の議長の座を降りることを表明した模様。 これからの体制については現時点は決まっていない。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/611
723: デフォルトの名無しさん [sage] 2024/08/31(土) 07:41:36.68 ID:jZQQMHu4 おはようございます 貴重でもないし 趣味でもないし 仲間でもないし 仲良くすることもありません http://mevius.5ch.net/test/read.cgi/tech/1531587928/723
727: デフォルトの名無しさん [sage] 2025/04/08(火) 17:02:32.68 ID:dn4YaJk8 >>723 じゃあお前は来なくていいよ 一人でチラシ裏に書いててくれ http://mevius.5ch.net/test/read.cgi/tech/1531587928/727
756: デフォルトの名無しさん [sage] 2025/07/09(水) 15:42:40.68 ID:QwaFNVYh 更に、スペシャルフォームはifの様にコンパイラーが特殊なコンパイルをする必要があるので、普通の関数と区別する必要がある点も重要だ http://mevius.5ch.net/test/read.cgi/tech/1531587928/756
802: デフォルトの名無しさん [] 2025/07/15(火) 07:32:47.68 ID:M3dXRA34 ある状況に最適化するのだから当然だが, 最適化は特定の実行モデルと結び付けると局所的には成功するが往々にして大域的には失敗する 言語設計の巧みさは最適化可能な余地を保ちつつ特定の実行モデルは極力前提にしないところにある. 特定の実行モデルの戦略の失敗が言語の失敗に直結してしまう これも, はちみつが既に指摘している. 仕様の読み方を学んではどうか. まして独自の言語設計をするならば http://mevius.5ch.net/test/read.cgi/tech/1531587928/802
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s