Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
red-paren-scheme-rev-macro.pdf
Search
Niyarin
May 28, 2020
Programming
0
390
red-paren-scheme-rev-macro.pdf
Niyarin
May 28, 2020
Tweet
Share
More Decks by Niyarin
See All by Niyarin
Scheme用nREPLの開発(エラー出力の改善)
niyarin
0
140
bel lispの紹介
niyarin
0
690
nanopass-compiler-frameworkを使ってみました
niyarin
0
410
Gorgos-parser-combinator-written-in-scheme
niyarin
0
370
outputting-beautiful-s-expression
niyarin
0
360
Serialisp
niyarin
1
640
Mongo DBとS式検索
niyarin
0
290
goodbye-python-repl
niyarin
0
340
SchemeのEphemeronとWeak Pairの説明
niyarin
0
950
Other Decks in Programming
See All in Programming
ステートソーシング型イベント駆動の視点で捉えるCQRS+ES
shinnosuke0522
1
300
AtCoder Heuristic First-step Vol.1 講義スライド
terryu16
2
940
ベクトル検索システムの気持ち
monochromegane
28
7.9k
読もう! Android build ドキュメント
andpad
1
190
英語文法から学ぶ、クリーンな設計の秘訣
newnomad
1
260
複数ドメインに散らばってしまった画像…! 運用中のPHPアプリに後からCDNを導入する…!
suguruooki
0
400
goにおける コネクションプールの仕組み を軽く掘って見た
aronokuyama
0
110
CRE Meetup!ユーザー信頼性を支えるエンジニアリング実践例の発表資料です
tmnb
0
150
フロントエンドテストの育て方
quramy
8
2.2k
複雑なフォームと複雑な状態管理にどう向き合うか / #newt_techtalk vol. 15
izumin5210
4
2.4k
爆速スッキリ! Rspack 移行の成果と道のり - Muddy Web #11
dora1998
0
130
Denoでフロントエンド開発 2025年春版 / Frontend Development with Deno (Spring 2025)
petamoriken
1
1.3k
Featured
See All Featured
Dealing with People You Can't Stand - Big Design 2015
cassininazir
366
25k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
176
52k
[RailsConf 2023] Rails as a piece of cake
palkan
53
5.4k
How STYLIGHT went responsive
nonsquared
99
5.4k
The Straight Up "How To Draw Better" Workshop
denniskardys
232
140k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
2.9k
Statistics for Hackers
jakevdp
797
220k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
14
1.1k
For a Future-Friendly Web
brad_frost
176
9.6k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
331
21k
Why Our Code Smells
bkeepers
PRO
336
57k
Transcript
Scheme用Linterの改良 (マクロ逆展開を可能なかぎりやる?) Niyarin
Scheme用Linter、Red-parenについて ◦パターン列挙型のLinter Red-paren (apply append (map some-proc (foo x))) ソースコード
((apply append (map f ls …)) (append-map f ls …)) … 略) パターン(rules+) (append-map some-proc (foo x)) と書けるよ niyarin/red-paren
Red-parenのちょっとした問題 ◦マクロに対して弱い 例) threading macro (ネストした式を平らにする) (->> some-list (filter (λ
(x) (not (some-pred? x))) ) … ) (->> some-list (remove some-pred?) …) と動いてほしい (filter (lambda (x) (not (pred x))) ls) このマクロを使うとremoveのルールにマッチしない removeのルール
マクロが問題になるケースは多いのか? 普通のマクロは問題ない ◦ 問題の原因の多くは手続き適用を壊すマクロ ・ threading macro ・ condp ◦レアケースと思って良さそう(たぶん)
※これらが悪だとは言っていない(私はcondpが好きです)
マクロ展開→ Lint適用 (->> some-list (filter (λ (x) (not (some-pred? x))))
なにか1 なにか2 なにか3) (なにか3 (なにか2 (なにか1 (remove some-pred some-list)))) マクロ展開+Lint ◦ マクロを使うとすり抜けるのでマクロ展開してからLintを書けてみる ☓ これは求めていたものとは違う(ちょっと不親切)
マクロを逆展開する機構が欲しい (->> some-list (remove some-pred) なにか1 なにか2 なにか3) (なにか3 (なにか2
(なにか1 (remove some-pred some-list)))) ◦ マクロを逆展開する操作があれば理想的な指摘コードが得られる マクロ逆展開 前ページの例の続き
syntax-rulesって逆にしても使え”そう” Schemeの標準(R7RS)のマクロシステム ◦ let → lambdaの例 lambda → let も逆からマッチさせることでできそう
(syntax-rules () ((let ((name val) ...) body1 body2 ...) ((lambda (name ...) body1 body2 ...) val ...)))
syntax-rulesって逆にしても使え”そう” そう簡単にはいかない (1) ruleに同じ変数を含んではいけない → これは同じ変数が同じものにマッチしているならよいことにする (2) 2回以上のellipsis → backtrack+最短マッチで妥協する?
(3) ruleだけに存在する変数や_ → あきらめる(ほとんどないケースだと思う) (4) ruleは上からマッチする仕様だが、逆は必ずしもそうではない → 次のページ (5) hygenic性とか先頭がsymbolでないことも目をつぶる
復元できそうなものを全列挙する (->> (a b) c) (->> (->> (a b) c))
(->> b a c) (->> b (a) c) 決定的に出せないので全列挙 → どれか1つが理想的なもの
逆展開例 (->> なにか1なにか2 (なにか3 なにか4) (filter (lambda (x) (not (some-pred?
x)))) なにか5) (->> なにか1 なにか2 (なにか3 なにか4) (remove some-pred?) なにか5) (->> なにか5 (->> (remove some-pred? (なにか3 なにか4 (なにか2 なにか1))))) (->> なにか1 (なにか2) (なにか3 なにか4) (remove some-pred?) なにか5) 理想 不自然なコード(正しく動作はする) 理想と近いが正しく動作しない 元のコード
どのように理想的なコードを見つけるのか 適当な評価式を与えて最もポイントが高いのを選択する ◦ (同じ要素が同じ順序で含む数 , - 最大の深さ , - 式の長さ
) ・一応、threadingマクロ例の理想コードはこれでとれはする 理想:(5 -2 -6) 不自然なコード:(1 -5 -3) 動作しないコード:(4 -2 -6) ・てきとうなので改良はいる
sexp-diffとかもよいかもしれない ・Racket系のs式diff #:newと#:oldを付けて差分が分かる > (sexp-diff '(->> some1 some2 (some3 some4)
(filter (lambda (x) (not (some-pred? x)))) some5) '(->> some1 some2 (some3 some4) (remove some-pred?) some5)) '((->> some1 some2 (some3 some4) #:new (remove some-pred?) #:old (filter (lambda (x) (not (some-pred? x)))) some5))
Red-parenに組み込む ・マクロ情報をユーザが渡さないと使えない → 名前空間からマクロを得る部分が必要 というわけで組み込むのはまだ先 ・マクロ逆展開は実装済み ・信頼性は落ちるのでなんらかのタグをつける
おわり