Scala 3 のマクロを使って Minecraft のプロトコルデコーダを自動導出する - Qiita
諸事情により急に Minecraft のプロトコルを喋る Scala ライブラリが欲しくなった僕は、要求1に合いそうなライブラリが見当たらなかったため仕方なく作ることにしました。 Scala / sbt はそれぞれ 3.0.1 / 1.5.5 を利用します。 今回書いたコードはここに置いています。 Scala 3 のマクロについて Scala 3 でのメタプログラミングで提供されている機構を知らない方は、公式ドキュメントの macro tutorial に目を通すことを推奨します。必要に応じて language reference を参照してください。 この記事で解説するコンパイル時リフレクションは、必要でなければ書かない方が望ましいです。書くことが避けられなさそうな場合は、公式ドキュメントで説明されていないマクロ開発テクニック等を解説している SoftwareMill による記事に目を通
実践Nimマクロ - Qiita
翼を授ける。 Nimの黒魔術、マクロについての解説を致します。強力過ぎて敬遠されがちなところのあるマクロですが、適切に使えばとても面白い機能です。 この記事では私がNimのマクロを使う中で編み出した使用法を紹介しようと思います。そもそもマクロがよく分からないという方はこちらに良記事があるのでそちらをご参照ください。 Nimで始めるマクロ生活① ~超初級編~ 引数の渡され方について 意外とどこにも書いてないのがmacroの引数の渡され方です。引数の型はuntypedで指定していますが、NimNodeKindという型で渡されるようです。引数付きblock系マクロを作る場合、macro側の引数は2つにします。引数なしの場合は1つにします。調査のため以下のコードを書きました。3重のネストまでしか見れませんが、確認用には十分でしょう。 import strformat macro checkToke
Procedural Macros (and custom derive) - The Rust Programming Language
Procedural Macros (and custom Derive) The first edition of the book is no longer distributed with Rust's documentation. If you came here via a link or web search, you may want to check out the current version of the book instead. If you have an internet connection, you can find a copy distributed with Rust 1.30.
Rustマクロの衛生性はどのように実現されているか(1/2) 識別子に関する衛生性 - 簡潔なQ
概要: Rustマクロは2つの意味で衛生的である。その衛生性の説明とともに、それを実現するためのコンパイラの仕組みを説明する。 Rustマクロの2つの衛生性 Rustマクロ (ja) は次の2つの意味で衛生的(hygienic; 健全ともいう)である。 マクロ内で導入される変数名と、マクロ呼び出し側の変数名が衝突しない。(Lispマクロの意味での衛生性) 構文の優先順位の違いによる非直感的な挙動が発生しない。 この記事では、識別子に関する衛生性を説明する。(構文の優先度に関する衛生性については次記事を参照) 識別子に関する衛生性とは 次のようなプログラムが直感的な動作をするのが、識別子に関する衛生性である。 macro_rules! copy_swap { ($x:expr, $y:expr) => {{ let t = $x; $x = $y; $y = t; }}; } fn main
picrinに衛生的マクロを追加しました - wasabizの日記
近頃PicrinというモダンなR7RS処理系を開発しているのはこのブログにも書いたとおりです。PicrinはVM型のインタプリタで正確な GC、フルの継続、グローバル変数を一切使用しないリエントラントなデザインなどを特徴としており、今のところR7RSの85%ほどを実装しています。READMEにR7RS-smallに対する準拠度を示す表を掲載しているので興味があれば是非pull-requestを送ってみてください。picrinでは開発者を募集しています。 https://github.com/wasabiz/picrin さて、picrinの開発を初めてそろそろ2ヶ月になります。これまでVMや継続、GCなど割りと大きめの機能が立て続けに入ってきましたが、ようやくそのラスボスたる衛生的マクロの実装を終えました。衛生的マクロは古典的なLispのマクロに自動的な健全性の保護機構を付け足したものです
Island Life - Schemeのマクロ
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
マクロの健全性または如何にして私はerマクロを使うのをやめsyntax-caseを愛するようになったか
オランダの生活、自身が行っているSagittarius Schemeの開発日誌、 その他雑多なことをつづってます。 メモワール(Memoir)という単語をTwitter上で見かけて、自分も何か(主にあほなこと)を書きたくなっただけ。 Schemeにはhygienic macroなるものがあり、清潔なマクロとか健全なマクロとか訳されるのであるが、それを使うと変数の衝突などの問題をあまり考えなくてもよくなるである。Scheme界では長年このマクロについて議論されてきたらしいのだが、R6RSで終に低レベルかつ健全なマクロの一つであるsyntax-caseが標準に入ることになった。これでマクロ展開時に式変形以上のことができると喜んだのもつかの間、R7RSではまた不便なsyntax-rulesだけに戻されてしまった。理由はよく分からない。風の噂ではR7RS-largeではExplicit Renam
On Lisp日本語訳 草稿置き場
On Lisp邦訳 草稿置き場 Japanese texts only! 代表的LispハッカーのPaul Graham氏がご自分のサイト www.paulgraham.com で公開なさっている著書 "On Lisp" の邦訳を，2007年3月にオーム社から出版しました． On Lisp | オーム社eStore(β) On Lisp サポートページ（practical-schemeに間借り） この"On Lisp"は草稿を公開しながら翻訳を進めてきましたが， 草稿は今後もLaTeXソースおよびPDFファイルとして公開を続けていきます． 書籍の出版に当たっては念入りのレビューにより数多くの誤り等が修正されましたが，この草稿は修正前のものです． とは言え大体は「読める」レベルです． 「いきなり買うのはためらわれるけど流し読みしたい」「内容の一部だけ参考にしたい」等の場合に役立つでしょう．
同時に挿入された識別子 - 主題のない日記
Scheme のローカルマクロについて知った性質があるのでメモしておく。 例えばこのようなプログラムが有った場合に画面に表示されるのは 1, 2, 3 の内のいずれだろうか。 私は 1 が表示されるものと思ったのだが、 3 が正しい挙動とのこと。 (import (scheme base) (scheme write)) (define-syntax bar (syntax-rules () ((_ m body) (let ((m 1)) (body))))) (define-syntax foo (syntax-rules () ((_ m body) (let ((n 2)) (let-syntax ((%body (syntax-rules () ((_) body)))) (bar m %body)))))) (let ((n 3)) (display (foo n (displ
Common Lisp is still hard to satisfy. - Qiita
Abstract マクロは、構文拡張により言語の高い次元の抽象化を行うことができる、Lisp 特有の機能です。マクロは、S式をコンパイルするとき、そのheadがマクロをもつシンボルであったならば、対応する macro-function を呼び出して式を変形させるという動作をします。コンパイルは構文木のrootから順に行われます。 この記事では、マクロ一般の能力ではなく、 現在の Common Lisp におけるマクロシステム について、それが制限を持っているということを示します。また、この制限を克服できる新たなマクロシステムを提案します。 マクロとは (略) マクロに関係するマクロ、関数、変数は以下です。 (defmacro name lambda-list &body body) (macrolet bindigs &body body) (eval form) (compile nam
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
健全なマクロ展開 - reversed syntactic closures (その1) - Tociyuki::Diary
SRFI 211: Scheme Macro Libraries
Rustの全マクロ種別が分かったつもりになれる話! / rust-all-kinds-of-macro
GitHub - shohei909/Haxe-Macro-Book: Haxeのマクロ本
04. マクロ | Introducing Crystal Programming Language - Your awesome subtitle
rfcs/text/2361-dbg-macro.md at master · rust-lang/rfcs
Rustで競技プログラミングの入力をスッキリ記述するマクロ - Qiita
Internal define inserted by a macro is not recognized · Issue #221 · shirok/Gauche
Shiro Kawai on Twitter: "@wasabiz 健全マクロの考え方のひとつは「一回のマクロ展開ごとに、その展開で挿入されたシンボルに新たなマークをつける」というものです。マクロ定義時と展開時の環境だけを見ていると、同じ環境で複数回展開されるときにはまります。Gaucheも実は同じ問題があります。(続)"
nested unhygienic macros broken · Issue #36 · picrin-scheme/picrin
