はてなブックマーク

はじめに 俺々言語を作っていると「やっぱりIDE欲しいよね」ということになります。しかし、IDEを全部作るには人生の余白があまりにも少なすぎます。IDE的なものを作ろうとしたらテキストエディタの拡張を書くのが現実的でしょう。最近流行りのテキストエディタといえば VSCode です(異論はあると思います)。というわけで VSCode で俺々言語モードを作るための最小限の情報とサンプルコードをまとめておこうと思いました。 成果物は https://github.com/usm-takl/vscode-oreore-mode にあります。 スコープ VSCode の拡張の作り方を説明します。 サンプルコードに徹します。 俺々言語の作り方は説明しません。 俺々言語の解析方法は説明しません。 「どうやって VSCode に suggestion を表示させるか」などを説明します。 「どうやって俺々言

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? この記事は「言語実装 Advent Calendar 2018」の22日目の記事です。 はじめに 「関数の最後の処理が関数呼び出しのときは、その関数呼び出しを goto に変換できる」「できねーよ」のやりとりを年一回ぐらいのペースで見かける気がしています。このあたりについて説明しようとすると結構長くなります。何度も同じ話を繰り返すのもなんなので、この手の議論が出てきたら「いろいろあるんじゃよ…いろいろ…」と言えるような記事を残しておこうかと思いました。 というわけで「末尾呼び出し最適化についてあれこれ」です。 言葉の定義 最初に、混乱を

逃げ口上 雑な記事です。 はじめに ときどき「プログラミング言語と呼ぶための条件とは」のような話題が出ることがあります。よくある回答としては「チューリング完全ならプログラミング言語と呼べるんじゃないの」あたりでしょうか。「まあ、それはそうかな」とも思います。しかし、あるときCの言語仕様書を読んでいてふと思いました。 「Cはチューリング完全なんだろうか？」 実は結構怪しいのでは、と思いました。本記事ではなぜ怪しいと思うに至ったか、経緯などをてきとうに書いてみようと思います。 ちなみに自然言語で書かれた701頁に及ぶ仕様書を数学的に厳密に、というのはそもそも無茶な話なので、あまり結論にはこだわってません。というか中途半端な終わり方になっています。「こんなことを考えました」程度のポエムと受け取って頂ければ幸いです。 前提知識 前提知識1. チューリング完全とは チューリング完全 まずチューリング

はじめに プログラムを書いていると、ちょっとした言語処理系を作りたくなることがあります。ちょっとした言語処理系を作ろうとしたとき、OCamlは良い選択肢です。何故良い選択肢なのかはよくわかりませんが、実際書いてみて快適でしたし、えらい人もそう言ってましたし、まあいいや、とにかく良い選択肢です。 しかし、素のOCamlで構文解析器や字句解析器を作るのはしんどいです。手を抜こうと思ったら構文解析器生成器Menhirと字句解析器生成器ocamllexを使うのが常套手段でしょう。 が、普通の人はそう頻繁に新しく言語処理系を作ったりしませんので、 Menhir や ocamllex の使い方を忘れがちです。こうなると困ります。例えば「半年ぶりに言語処理系を作りたい気分になっちゃった」というとき、「あれっ？ Menhir ってどう書くんだっけ？」となり、こうなると気分が重くなり、結果「言語処理系つくら

はじめに 本記事はOCamlで遊んだ記です。 構文木を直接解釈する方式で動的スコープな変数をもつ Lisp インタプリタっぽいものを作ります。このやり方だと非常に簡単に自作言語ができるので、趣味の自作言語の第一歩としてどうでしょう、という感じの記事です。 ソースコードはこちらにあります。空白行含めて331行です。 https://github.com/usm-takl/dynamic-scoping-lisp-in-ocaml 動的スコープとは 動的スコープというのは、雑に言うと「関数内で定義されてない変数を参照するとき、変数の定義を関数呼び出しの深い方から浅い方に向かって探すやり方」です。関数gでローカル変数aを定義して、gの中から関数fを呼び出すと、f内ではgのローカル変数が見えます。perl 5のlocal変数や、emacs lispの変数がこういう動きをします。例を載せておきます。

はじめに これは「言語実装 Advent Calendar 2017」24日目の記事です。 この記事では 64bit版Windows で実行可能な x86_64 のセルフホスティング Forth コンパイラを作ります。 対象読者としては「C言語そこそこわかる」「x64アセンブラに嫌悪感はない」ぐらいの人を想定しています。コンパイラの知識は特に前提としません。 完成品はこちらから取得できます。 bootstrap には C を使います。しかしC言語的にお行儀の悪いことを色々やりますので、バージョンやコンパイルオプション等によっては動かないかもしれません。ご了承ください。一応完成版は以下の環境で動作を確認しています。 Cygwin64 の gcc option: -O3 と -O なし両方 version: 6.4.0 (GCC) target: x86_64-pc-cygwin Msys2