coord_ecoord_e
(alumni) エンジニアインターン
プログラミング言語の理論と実装に興味がある
...
magicpak: 静的リンクなしで小さなDockerイメージを作る
実行に必要なファイルだけをうまく集めれば、静的リンクせずとも小さなDockerイメージを作ることができます。 本記事では、実行可能ファイルの実行時の依存ファイルを解析して集めるツール magicpak を作ったので、紹介します。 magicpak を使うと、ほとんどの実行可能ファイルから静的リンクを用いずに小さなDockerイメージを作ることができます。
...
型クラスのご紹介
本記事では型クラスを導入する動機をオーバーローディングの観点から紹介した後、Wadlerの型クラスを発展させたJonesのconstructor classをベースにした本記事独自の体系の形式化を試みる。
...
cccコンパイラのバックエンド
cccは、自分がセキュリティ・キャンプ2019に参加した際に開発したコンパイラだ。 C11のサブセットをコンパイルする事ができ、暗黙の型変換や初期化子、宣言子に代表される複雑な言語機能を規格に忠実に実装している。 さて、cccは効率の良いコードに効率よくコンパイルすることをテーマに開発を行った。 そのテーマのもと、出力コードの効率を高めるためにcccに実装した技術についてこの記事では説明する。 最後にベンチマークの結果を示し、実装の効果を確かめる。