Lisp Scheme Part41 (809ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
152(1): 2020/02/22(土)21:37:13.68 ID:dEZr6bBq(3/3) AAS
思うんだけどLispというと悟りとか、ゲーデル云々みたいな話がよく言われるけど
Prologではあんまり関連付けて言われないですよね
173: 2020/03/05(木)20:47:20.68 ID:h922Dn8C(10/11) AAS
>>156
Lispはメタプログラミングしやすいって理屈は分かるが
実際にそれでものすごい作業効率が上がるかは疑問だな？
なぜんあらメジャーな言語はライブラリが充実してて
それ使えば最初から書かなくても済むわけだから早い
243(1): ◆QZaw55cn4c 2020/11/04(水)19:46:38.68 ID:P7pHA7N2(1) AAS
>>242
＞これからは一部は Go や Rust に置き換わっていくとは思うけど。
……
C で記述された lib を Go や Rust は気軽にコールできるのですか？
まさか…
300: 2021/01/22(金)02:54:51.68 ID:GlnM3g/q(1) AAS
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とか定義しとくと便利ね
424: 2021/07/15(木)16:15:28.68 ID:MIyHkZEB(3/3) AAS
>>412
sbclが内部でnlet使ってるね
::で参照したりコピペしたりしてるわ
やっぱclに入れた方が良かったな
593: 2023/01/31(火)13:07:01.68 ID:tSjB9eWW(5/7) AAS
>>592
転置されてるのと束縛リストの実行時評価は、おそらくlet風のマクロを書く時に便利だからかな
mapcar #'list let-like-binding-list
がprogvに渡せて、あと欠損値も勝手にnilで埋まる
あと機械的に名前を処理するならgensymもお忘れなく
611: 2023/08/18(金)02:03:46.68 ID:dtVdNVwB(1) AAS
John Cowan 氏が R7RS-large の議長の座を降りることを表明した模様。
これからの体制については現時点は決まっていない。
723(1): 2024/08/31(土)07:41:36.68 ID:jZQQMHu4(1) AAS
おはようございます
貴重でもないし
趣味でもないし
仲間でもないし
仲良くすることもありません
727: 04/08(火)17:02:32.68 ID:dn4YaJk8(1) AAS
>>723
じゃあお前は来なくていいよ
一人でチラシ裏に書いててくれ
756: 07/09(水)15:42:40.68 ID:QwaFNVYh(4/8) AAS
更に、スペシャルフォームはifの様にコンパイラーが特殊なコンパイルをする必要があるので、普通の関数と区別する必要がある点も重要だ
802: 07/15(火)07:32:47.68 ID:M3dXRA34(2/2) AAS
ある状況に最適化するのだから当然だが, 最適化は特定の実行モデルと結び付けると局所的には成功するが往々にして大域的には失敗する
言語設計の巧みさは最適化可能な余地を保ちつつ特定の実行モデルは極力前提にしないところにある. 特定の実行モデルの戦略の失敗が言語の失敗に直結してしまう
これも, はちみつが既に指摘している. 仕様の読み方を学んではどうか. まして独自の言語設計をするならば
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s