本記事では型クラスを導入する動機をオーバーローディングの観点から紹介した後、Wadlerの型クラスを発展させたJonesのconstructor classをベースにした本記事独自の体系の形式化を試みる。

cccは、自分がセキュリティ・キャンプ2019に参加した際に開発したコンパイラだ。 C11のサブセットをコンパイルする事ができ、暗黙の型変換や初期化子、宣言子に代表される複雑な言語機能を規格に忠実に実装している。 さて、cccは効率の良いコードに効率よく…

セキュリティ・キャンプ全国大会2019に参加しました

明日(2019/8/13)からセキュリティ・キャンプ全国大会2019に参加してきます*1。私は「Y-Ⅱ Cコンパイラを自作してみよう！」ゼミに参加します。 セキュリティ・キャンプ全国大会って何？ セキュリティ・キャンプ全国大会2019は、セキュリティ・キャンプのメイ…

自作OCamlコンパイラの実装の詳細をまとめました。

ここ最近作っていたOCamlコンパイラmlmlでセルフホストを達成しました。

独断と偏見しかない (なぜか下書きに埋もれていたので投稿) USBテザリングができるようにする 皆さんご存知の通りRPiのWifiは弱い 外出先の大事なデモの直前にWifiに繋がらないみたいな手遅れにならんように、USBでiPhoneと繋げばすぐネットワークに繋がって…

この記事では、現在(2019/1/19)新規プロジェクトでC++17を気軽に使い始めて困らないかということを、主に標準ライブラリに焦点を当てて考察する。 C++17は2017年に標準規格化されたC++バージョンだ。C++14、C++11と比べるととても使いやすくなっているので自…