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
410
red-paren-scheme-rev-macro.pdf
Niyarin
May 28, 2020
Tweet
Share
More Decks by Niyarin
See All by Niyarin
Scheme用nREPLの開発(エラー出力の改善)
niyarin
0
150
bel lispの紹介
niyarin
0
740
nanopass-compiler-frameworkを使ってみました
niyarin
0
430
Gorgos-parser-combinator-written-in-scheme
niyarin
0
390
outputting-beautiful-s-expression
niyarin
0
390
Serialisp
niyarin
1
660
Mongo DBとS式検索
niyarin
0
320
goodbye-python-repl
niyarin
0
360
SchemeのEphemeronとWeak Pairの説明
niyarin
0
1k
Other Decks in Programming
See All in Programming
Workers を定期実行する方法は一つじゃない
rokuosan
0
140
新しいモバイルアプリ勉強会(仮)について
uetyo
1
250
11年かかって やっとVibe Codingに 時代が追いつきましたね
yimajo
1
240
LLMは麻雀を知らなすぎるから俺が教育してやる
po3rin
3
2k
Comparing decimals in Swift Testing
417_72ki
0
160
自作OSでDOOMを動かしてみた
zakki0925224
0
190
Streamlitで実現できるようになったこと、実現してくれたこと
ayumu_yamaguchi
2
270
DynamoDBは怖くない!〜テーブル設計の勘所とテスト戦略〜
hyamazaki
0
180
CEDEC 2025 『ゲームにおけるリアルタイム通信への QUIC導入事例の紹介』
segadevtech
2
750
Strands Agents で実現する名刺解析アーキテクチャ
omiya0555
1
110
なぜあなたのオブザーバビリティ導入は頓挫するのか
ryota_hnk
5
570
AIコーディングエージェント全社導入とセキュリティ対策
hikaruegashira
16
9.4k
Featured
See All Featured
Rails Girls Zürich Keynote
gr2m
95
14k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
9.6k
GraphQLとの向き合い方2022年版
quramy
49
14k
GraphQLの誤解/rethinking-graphql
sonatard
71
11k
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.8k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.8k
Bash Introduction
62gerente
614
210k
Building Adaptive Systems
keathley
43
2.7k
How STYLIGHT went responsive
nonsquared
100
5.7k
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.4k
A Modern Web Designer's Workflow
chriscoyier
695
190k
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に組み込む ・マクロ情報をユーザが渡さないと使えない → 名前空間からマクロを得る部分が必要 というわけで組み込むのはまだ先 ・マクロ逆展開は実装済み ・信頼性は落ちるのでなんらかのタグをつける
おわり