自作言語

Qiita に書きました。 qiita.com

Qiita に書きました。 qiita.com

Qiita に書きました。 日本語プログラミング言語「なでしこ」 Advent Calendar 2021 の 13日目です。 qiita.com

追加機能など main ブランチにはマージせずにブランチで個別に試しています。 真偽値リテラル true, false break while文の最後にジャンプ if/else lexer で case 文に書き換えるだけの簡易実装 単項演算子 - Ruby っぽい見た目に func を def にして、 { ... } をやめて end で閉じるようにしたもの これだけでも結構 Ruby っぽい雰囲気になる リファクタリング 関数コンテキストオブジェクトの導入 fn_arg_names, lvar_names を愚直に渡していたところを context オブジェクトとしてまとめて渡す形に書き…

移植一覧に戻る OCaml 版を書いた勢いで Haskell にもババッと移植しました。いつもの通りでライフゲームのコンパイルだけ通ればヨシ、という程度の非常に雑なものです。 github.com 移植元 memo88.hatenablog.com github.com ライフゲームのプログラムだけコンパイルできれば OK という、ゆるくて簡単なコンパイラです。Ruby 版だとコンパイラ部分だけで 1000行くらい。 ベースになっているバージョンは ステップ 58 のあたり。 作り方はここに全部書いています（Ruby 版のものですが）: vm2gol v2 製作メモ メモ 主な部分のサイズ（行…

移植一覧に戻る いつもの通りでライフゲームのコンパイルだけ通ればヨシ、という程度の雑なものです。 github.com 移植元 memo88.hatenablog.com github.com ライフゲームのプログラムだけコンパイルできればOKという簡単なコンパイラです。Ruby 版だとコンパイラ部分だけで 1000行くらい。 ベースになっているバージョンは ステップ 58 のあたり。 作り方はここに全部書いています（Ruby 版のものですが）: vm2gol v2 製作メモ メモ 主な部分のサイズ（行数）はこんな感じ。 $ wc -l *.ml lib/{utils,types}.ml 40…

Qiita の方に書きました。 qiita.com

ちは Cコンパイラの自作に入門してみた感想です。 参考文献 なぜ作ろうと思ったのか 環境 成果 反省 感想 参考文献 こちらのサイトを参考に実装を進めました。 www.sigbus.info ステップ12以降は執筆途中(221207)とのことですが， ここまでの知識と提供されているソースコードを確認しながら進めれば問題なくセルフホストのCコンパイラを作成できると思います。 参考ソースコードはこちら github.com なぜ作ろうと思ったのか プログラマがコンパイラを作るのは当然のこと・・・ アセンブラの知識があまりにも未熟で自作OSの入門書が読めなかったことが始まりで， 楽しく手を動かしてア…

これは相互再帰ではないですが、let main = id(3);let id(n) = n;のようなプログラムの時に、main: Int -> Int, id: a -> aと型推論したいのですが、現在(単相型推論)の場合構文解析時にトップレベルで定義された変数名を記録しておいて、型推論時に予め型環境に上記変数名とフレッシュな型変数続き— taka2 (@Jj1Fxh) December 8, 2022 こちらの話が大変興味深かったのでOCamlでどうなっているか試した。 結論からいうと、順序関係なく単相化されてしまう： utop # let rec id x = x and main () …

TeX & LaTeX Advent Calendar 2022 TeX界における年末の恒例イベントとなったといっても過言ではないことにしたいアドベントカレンダーが今年も始まりました。今年は11回目の開催となります。 重点テーマ 今年の重点テーマはコレです。 やっぱりTeX言語(とか)しましょう！ イロイロと事情があってTeX言語・expl3・WEB言語の普及を図る必要があったため昨年の重点テーマを継続しています。とはいえ「やっぱりTeX言語しましょう！」ではなくて「やっぱりTeX言語(とか)」になっています。つまり、やっぱり対象範囲はTeX言語のみには限りません。 やっぱりTeX言語しましょ…

【感想】『手を動かして考えればよくわかる高効率言語 Rust 書きかた・作りかた』：クジラ本でRustの世界へ 今年2022年1/21に出た、ほとんど最新のRust言語本の読書記録です。

AWS LambdaにはFunction URLsという機能がある。提供されたのはわりと最近 (2022年4月) のことだ。 AWS Lambda Function URLs の提供開始: 単一機能のマイクロサービス向けの組み込み HTTPS エンドポイント | Amazon Web Services ブログ Function URLsを使うとAPI Gatewayを噛ますことなくLambda関数にHTTPSエンドポイントを用意することができる。API Gatewayが有料なのに対してFunction URLsは無料だ！いやLambdaの使用分の課金があるが、リクエスト毎月100万件まで無期限…

新型コロナ禍による自粛もだいぶ緩和されてきた昨今、リモートワーク続きで人と会えてないなあ……などと思いながらいつものように三条通りを散歩していた時でした。 副業のプログラミング教育でTypeScriptを教えている 荘子万能さんにばったりローソンに遭遇。後ろから「水島さん？」と声をかけられて、ビクンと振り返るとそこには何度もお会いした見慣れた顔があったのでした。それをきっかけに、荘子さんの会社であるBonBon株式会社のオフィスが自宅から徒歩10分くらいの古民家にあることが判明。 オフィスを案内してもらった後に、荘子さんから「せっかくですし、会社のオフィスを使って何かイベントやりません？」とい…

Graydon Hoareが2019年にカナダのブリティッシュ・コロンビア大学でコンパイラ関連のゲスト講義した時の資料21 compilers and 3 orders of magnitude in 60 minutes - a wander through a weird landscape to the heart of compilationを読んだら大変面白かったのでメモ。 作者 Graydon HoareはMozillaでRustを開発したことで有名。その後Rustの開発もMozillaも離れて（というかRustの開発からは2013年に離れたようだ）、一時期AppleでSwift開…

星にゃーんはセキュリティキャンプ全国大会2019の卒業生です。Cコンパイラを作るもくもく型のゼミに参加して、hoc_nyanというCコンパイラを書きました。 セキュリティキャンプ勢？の中の慣例として、応募課題を晒す流れがあります。僕も公開したかったのですが、どうしても応募課題のテキストファイルが見つからなかったため断念しました。 ……時は流れ、2022年。普通にMacのメモ（iCloudに保存されるやつ）にあるのを見つけたので、落ちた2017年、2018年のものも含めて公開します。 2017年は言語自作ゼミ、2018年と2019年はCコンパイラゼミに応募しました。 今も言語作ったりコンパイラ書…

CPS形式のコンパイラIRについて調べていてORBITというコンパイラについての話が出てきたので、1986年に出た論文ORBIT: An Optimizing Compiler for Schemeを読んでみた。 ORBITはGuy SteeleのRABBITというScheme Compilerから「CPS形式をIRとして使う」というアイデアを受け継ぎ、さらにそのIRに対して最適化を行うことでより実用的なコンパイラを目指したもの。Yale大学で研究が行われていたらしいLisp方言T Programming Languageのコンパイラとして実装された。T Programming Languag…

最近@karino2さんのポッドキャスト「プログラム雑談」のバックナンバーをいろいろ聴いている： anchor.fm 二週間ほど前に書いた聴いてるポッドキャストの記事ではまだ「気になっている」という分類だったのだけど、聴き始めたらいい感じにゆるいのと技術的な内容が面白いのと（そして本人の技術や生活に関する哲学が見えるのも）で、続けて聴いている。 2020年あたりの「ストラウストラップ本のエピソード」で： anchor.fm 「iostreamの<<構文を導入した人は何十年かに渡って『やっちまった』と思っているはず」という話があった。 ここら辺の： www.cplusplus.com のoper…

個人的に作りたい自作言語の構想というのは結構昔からあって、ありていに言ってしまえば「Pythonチックなインデントベースでスッキリした構文でモジュールまで含めたMLの意味論を持つ言語」となる。 ただしMLのような式ベースの言語が破綻しない構文というのは少し考えどころで、年単位で寝かせていたのだけど（ML言語を実装する実力がなかったというのもある・・・）。 最近Shrubberyという記法に関する資料を目にして、これをある程度転用できないかと考えている。 Shrubberyは出てきた経緯も含めてなかなか面白いので紹介してみたい。 コトの発端 2019年7月14日、RacketConにてRacke…

自作言語熱が高まっていて、バックエンドをLLVMでやりたいと思っている。 OCamlでLLVMというとLLVMプロジェクト公式のKaleidoscope言語をOCamlで実装するチュートリアルが有名、なのだが、10年近く前に壊れたAPIを使っていたりと実際に使えるものではなく、最近のチュートリアルサイトからは消されている。 最大の問題はJITコンパイルするためのAPIが変更され、コンパイルされた結果を実行するためにはC関数ポインタを返すLlvm_executionengine.get_function_addressを使って、FFIでその関数を呼び出す必要があるようになった点。 FFIするため…