Lisp Scheme Part41 (858ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
14: デフォルトの名無しさん [sage] 2018/10/09(火) 08:07:54.35 ID:dwdUWAaf(1/2) AAS
依存型についてのテキストが出てるよ。
Daniel P. Friedman, David Thrane Christiansen "The Little Typer"
Boro Sitnikovski "Gentle Introduction to Dependent Types with Idris"
Edwin Brady "Type-Driven Development with Idris"
Adam Chlipala "Certified Programming with Dependent Types"
Aaron Stump "Verified Functional Programming in Agda"
Idris と Pie言語 ではλ関数とπ関数が同じように導入されているので相互に勉強できるのがいい。
32(2): はちみつ餃子 ◆8X2XSCHEME [sage] 2019/02/08(金) 19:33:54.35 ID:U10rELvE(1) AAS
界隈でなんだかちょっとだけ ISLISP の人気が出てきてるというか
ここ最近になっていくつか新しい実装が発表されてるんだけど、
使ってみた人いる？
73: はちみつ餃子 ◆8X2XSCHEME [] 2019/06/17(月) 21:26:53.35 ID:PcIXrAci(1) AAS
サポートは永遠ではないんやで。
96: デフォルトの名無しさん [sage] 2019/10/04(金) 01:18:49.35 ID:8amtWMNV(1) AAS
>>9595(1): デフォルトの名無しさん [sage] 2019/10/03(木) 21:39:01.39 ID:5qBGt8Nl(1) AAS
jpドメインは拒否されてるのかもね
契約してる激安海外VPS経由でアクセスしたら見れたけど、プロバイダ経由だとpingも通らんわ
私の場合は日本のISP（海外の出版社のサイトとかでアクセスした側の国を自動判別している場合は日本と判定される形の接続法）で
インターネット接続しているけれどwww.call-cc.orgのHPやその下の様々なページは普通に見えるよ
177: デフォルトの名無しさん [] 2020/03/10(火) 18:23:23.35 ID:BcZoFSIR(1) AAS
hy
マクロの入力にpair入れたのに
マクロ実行時にunquoteするとlistに化けるバグがある気がする
297: デフォルトの名無しさん [sage] 2021/01/17(日) 23:38:13.35 ID:4VqziDiv(1) AAS
>>296296(1): デフォルトの名無しさん [sage] 2021/01/17(日) 22:27:16.25 ID:MtDeBO+C(2/2) AAS
deftypeしたtypeはclassじゃないからdefmethodできない
コンパイラマクロはプログラムの意味をかえたらいかんし
パッチするなら別定義のファイルを追加でloadすれば上書きされるのでコンパイラマクロする意味0
嘘ノウハウいらないです・・・
そうだっけ、ごめん確認してきます
437: デフォルトの名無しさん [] 2021/07/18(日) 22:33:40.35 ID:3JZJIWfz(1) AAS
×うる覚え
○うろ覚え
557(2): デフォルトの名無しさん [sage] 2023/01/10(火) 02:33:32.35 ID:/i8qCr3o(1/2) AAS
>>553553(2): デフォルトの名無しさん [sage] 2023/01/09(月) 03:51:35.47 ID:0CyucYY1(1/3) AAS
触ったことないのでeclがどの程度cltl/ANSI/clhs等の標準をリスペクトしてるのかも分からないのだが
とりあえずgoogle play storeからeclのandroidポートらしいeql5 replを入れてみた
(list ;; attempt to shadow cl:cons
(flet ((cons (x y) (cons y x)))
(cons 'co '?ns))
(let ((cons (lambda (x y) (cons y x))))
(funcall cons 'co 'ns)))
((CO . NS) (NS . CO))
fletは謎挙動だね…
* shadowしない名前(xcons)ならok
* (flet ((cons (x) (1+ x))) (cons 42))がアリティ不一致で怒られる
から推測するに、普通cl packageの関数なんて弄られないだろうと踏んで、関数の名前解決を手抜きして最適化してるんだろう
値の名前解決は特に弄る意義もないので、scheme風にlambdaをletで値として束縛して呼べば問題ない
clを名乗る以上はオプションで切れるくらいの配慮はあるだろうから、eclにこだわるならマニュアル読んでみては
少なくともclhsはリスペクトしてないね
...flet can locally shadow a global function name, ...
外部ﾘﾝｸ[htm]:www.lispworks.com
特定の名前の解決を決め打つ言語は多いし、そういうポリシーもありだと思う
普通でないのはcondition(warning)を挙げないところ
決め打つ名前(locked package?)が分かってる限りは、flet/labelsのレキシカル束縛リストから拾った名前がbody内の呼び出しformのcarに存在するか、ランタイムコストの無い自明な静的解析でconditionを挙げられるはず
568: デフォルトの名無しさん [sage] 2023/01/11(水) 03:56:23.35 ID:/IOcm4EW(4/8) AAS
defmacro/macroexpand方式だと特にだけど、(let ((0 1)) 0)みたいな残骸から推論する技能はとても大事に思う
書く時もそうだけど、人が書いたモノの後始末なら前提知識が無いのでなおさら
これだけ想像を膨らませてくれる貴重な(let ((0 1)) 0)すら消し飛ばされるならもうお手上げ
なんて文句を言いつつ、schemeでもついslibのdefmacroに手が伸びてしまうのだが
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s