type t (* void *)

ソフトウエアのこととか

2015-12-01から1ヶ月間の記事一覧

コンパイラ: min-camlをJVMバックエンドに移植した話

この記事は言語実装アドベントカレンダー21日目、MLアドベントカレンダー21目の記事です min-camlのJVMバックエンドを作ったという話を前に書いたのですが、 それの詳細を書きたいと思います。 前の話はこの辺にかかれています。 JVMバックエンドに移植する…

git: 独りで使うgit入門

この時期大学四年生は卒論の時期で、今まで論文やサーベイだったのが 自分で手を動かすフェイズになっていることでしょう。 その際にバックアップというのは重要になります。 例えば研究用のソースコードを改造していく途中でプログラムを壊してしまって 元…

OCaml: 中間言語をダンプするオプションたち

この記事はML Advent Calendar 20153日目のために書かれました。 短いライトな話を。ocamlにはコンパイラ開発者のデバッグ用にドキュメント化されてあいオプションがいくつかあります。 これは中間言語のダンプを吐かせる機能です。OCamlコンパイラを理解す…

SML: 入門記事を書きました

この記事はML Advent Calendar 20152日目の記事です。

コンパイラ: JVMバイトコードへのコンパイル

言語処理系 Advent Calender1日目の記事です。 初日なのであまりハードルを上げすにライトなネタを。