Compiling a Lisp: Overture
Many thanks to Kartik Agaram and Leonard Schütz for proofreading these posts. In my last series, I wrote about building a Lisp interpreter. This time, we’re going to write a Lisp compiler. This series is an adaptation of Abdulaziz Ghuloum’s excellent paper An Incremental Approach to Compiler Construction, with several key differences: Our implementation is in C, instead of Scheme Our implementatio
GitHub - froggey/Iota: LLVM to Common Lisp transpiler.
Iota is an LLVM to CL transpiler, similar to emscripten. It converts LLVM bitcode to safe, portable Common Lisp code. Quick Start ----- # You'll probably want to make this available as a quicklisp local project. # Optional, for parallel builds export MAKEFLAGS=-j2 # Clone the LLVM/Clang repos. ./fetch-llvm.sh # Build LLVM, Clang, and the translator. # This will take a long time unless you have a b
Unladen Swallow 回顧録 - YAMAGUCHI::weblog
はじめに QINSB is not a Software Blog: Unladen Swallow Retrospective Unladen Swallowのコミッター、Reid KlecknerによるUnladen Swallowプロジェクト振り返りです。Unladen Swallow自体はPythonの高速化を目指した一大プロジェクトとして一時期かなりPython界を賑わせたわけですが、2009年後半以降はなりを潜めてしまいました。 unladen-swallow - A faster implementation of Python - Google Project Hosting 色々と裏事情があったようですが、メインコミッターのReidがその事情を語ってくれています。 Unladen Swallow 回顧録 これはPyCon参加中に書きましたが、更新は続けました。とにかく、は
Build your own WebAssembly Compiler
Have you ever wanted to write your own compiler? … yes? … of course you have! I’ve always wanted to have a go at writing a compiler, and with the recent release of WebAssembly, I had the perfect excuse to have a go. My original plan was to invent my own programming language, create a compiler that targets WebAssembly, and share my experiences at FullStackNYC. The first part went to plan, I spent m
セルフホスティングCコンパイラを書いた - 茅の下
セルフホスト(自分自身をビルド)できるCコンパイラnoccを書きました。 github.com はじめに 去年の夏あたりからCコンパイラを書くのが流行っていたのでやってみました。 例によって@rui314さんの8cc、9ccと低レイヤを知りたい人のためのCコンパイラ作成入門を参考にしていますが、バックエンドにはLLVMを使用しています。 工夫した点 以下、作る上で工夫した点です。 言語仕様に制限をつける C言語の全仕様を網羅しようとすると到底完成は不可能なのでサポートする言語仕様に制限をつけまくりました。 制限には例えば以下のようなものがあります。 変数宣言が初期値を取れない。 複数の変数をコンマ区切りで宣言できない。 typedef宣言や型のconst修飾などはその語順を固定している。 型解析時は型のconst修飾を無視する。 関数のプロトタイプ宣言はトップレベルでのみ行える。 関数ポイ
Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters
Abstract Tracing and partial evaluation have been proposed as meta-compilation techniques for interpreters to make just-in-time compilation language-independent. They promise that programs executing on simple interpreters can reach performance of the same order of magnitude as if they would be executed on state-of-the-art virtual machines with highly optimizing just-in-time compilers built for a s
転職してからやってること - 兼雑記
転職してからやってるプロジェクトについて何か書いてみようかと思います。 https://github.com/pfnet-research/chainer-compiler/ 公式ぽいブログも書きました。 https://research.preferred.jp/2019/01/chainer%E3%83%A2%E3%83%87%E3%83%AB%E3%81%AE%E3%81%95%E3%82%89%E3%81%AA%E3%82%8B%E9%AB%98%E9%80%9F%E5%8C%96%E3%80%81%E3%83%87%E3%83%97%E3%83%AD%E3%82%A4%E3%81%AE%E7%B0%A1%E4%BE%BF%E5%8C%96%E3%80%81/ あまり綺麗にまとまった文章を書ける気がしないので、つらつらと時系列で思い出して行こうかと思います。 転職前、 define
お薦めのコンパイラの本とか | κeenのHappy Hacκing Blog
κeenです。たまにお薦めコンパイラの本教えてなどのやりとりをTwitterで見かけるのでまとめておきます。 私の主観が入っているので他の方の意見も参考にして下さい。 普通の入門書三書 よく挙げられるのは通称「ドラゴンブック」、「タイガーブック」、「中田先生の最適化なんちゃらの本」です。 このうちのどれかを読むと良いでしょう。 こういう教科書系の本によくあることですが、本だけでなく挙げられている参考文献の情報も重要なので読み終わっても売らないで本棚に残しておくことをお薦めします。 コンパイラ[第2版]～ 原理・技法・ツール ～ いわゆるドラゴンブックです。結構古くからある本です。前半が構文解析の理論で、後半でコンパイラ関連の技法などが載っています。 割と技法の紹介が多く、幅は広いですがそれぞれの説明に割かれた紙面は小さいです。 章分けが雑なので目次だけで内容を判断せず、手にとって確かめたほ
Chainerモデルのさらなる高速化、デプロイの簡便化、可搬性の向上に向けた実験的な取り組みについて - Preferred Networks Research & Development
PFN のエンジニアの浜地です。入社以来取り組んできた実験的なプロジェクト Chainer-compiler を github で公開しました。まだ実運用に投入していける段階では無いですが、面白いものになってきているのではないかと思うので、紹介させてもらいたいと思います。 https://github.com/pfnet-research/chainer-compiler 昨年末、 PFN は ChainerX をベータリリースしました。 ChainerX は Chainer の使いやすさを維持しつつ、 Python で実装されていた部分を C++ 実装で置き換え、以下の3つを実現するものでした。 モデルの実行を高速化する Python の無い環境でもデプロイ可能にする CPU/GPU以外への移植を容易にする Chainer-compiler プロジェクトは ChainerX を利用して、
Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装 - lilyum ensemble
こんにちは､びしょ〜じょです｡ これは言語実装Advent Calendar 2018の9日目の記事です｡ 最初は "変数が全部箱の言語の設計と実装" と題して全部optionにくるまれてる参照とかそういう感じの何かを作ろうとしたけど多分面白くなくなって筆者の熱も醒めると思ったのでやめた｡ またそうこうしてるうちに良い感じのものが作れたので､論理的背景を整理するためにも内容を再考して今回のような内容となりました｡ ほならね早速いってみましょう｡ 1. はじめに Algebraic effects and handlers(以降 "algebraic effects" と省略)は､いわば限定継続を取れる例外である｡ try節をdelimiterとし､例外発生位置から残りの計算を限定継続として受け取り､継続をもちいて例外から復帰したり､単に継続を捨てて例外として扱うこともできる｡ 最近各所で注
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ghc-compiler-notes — ghc-compiler-notes documentation
shinichiro hamaji on Twitter: "つまり任意の Python AST を continue/break/return の無い Python AST に等価変換する感じ"
Canonicalizer Unittests, and Break Canonicalization. by Rishav1 · Pull Request #352 · pfnet-research/chainer-compiler
ロボ太 on Twitter: "「「Twitterでコンパイラの文句を言ってたら『それ、開発者の前でも言えんの？』と本社に拉致られた件」の報告書をMarkdownで書いたらWordにコピペされた件」について、私の報告書をgistに転載しました。また、報告スライド… https://t.co/DV8K8EMSbI"
schism/schism/compiler.ss at master · google/schism
ロボ太 on Twitter: "「Twitterでコンパイラの文句を言ってたら『それ、開発者の前でも言えんの？』と本社に拉致られた件」ですが、報告書が出ました。私は富士通C++コンパイラの問題点や、mallocについての疑問点を報告し、それぞれに富士通からの回答… https://t.co/Zr2ENsCSoW"
herumi on Twitter: "ディープラーニング、JIT、第2世代Xeon-SP、AVX-512、SIMD化されたexp、キャッシュコントロールなどのキーワードに興味があってIntel職人さんのコードを読んでみたい人向け導入記事として書きました。「そこまでやる… https://t.co/eVp6WMXgOJ"
shinichiro hamaji on Twitter: "スライド #chainer_compiler_reading https://t.co/dGPluVLGJB"
GitHub - IUCompilerCourse/Essentials-of-Compilation: A book about compiling Racket and Python to x86-64 assembly
GitHub - cxxxr/cc