Building the fastest Lua interpreter.. automatically!
This is Part 1 of a series of posts. Part 2 is available here: Building a baseline JIT for Lua automatically It is well-known that writing a good VM for a dynamic language is never an easy job. High-performance interpreters, such as the JavaScript interpreter in Safari, or the Lua interpreter in LuaJIT, are often hand-coded in assembly. If you want a JIT compiler for better performance, well, you’
Lispを実装したくなったら読んでほしい本６選 - Arantium Maestum
言語実装 Advent Calendar 2022の１日目の記事として書いた。 Lisp Advent Calendar 2022でも枠が空いていたのでダブル投稿。 プログラミング言語を実装してみたい！と思ったらまずは簡単なLispインタプリタから始めるというのは一つの王道だと思う。 複雑な構文解析は要らず最低限の再帰下降法パーサで手に入る構文木を、そのまま再帰的な関数で実行していくtree walking評価器。メモリ確保もヒープにそのまま置いていって、メモリ解放は実装言語のGCに任せるなりプログラムの終了時までやらなかったり。そんなインタプリタを作る経験から得られるものは非常に大きく、どんなプログラマでも一回は試してみてもいいのではないか？と思っている。（個人的な感想です） そんな簡易Lispを実装してみて沼にハマってしまい、より精緻な言語処理系を作りたいと思ったとする。その時点で：
Main - Nanopass Framework
Clean Compiler Creation Language The Nanopass Framework is an embedded domain-specific language for creating compilers that focuses on creating small passes and many intermediate representations. Nanopass reduces the boilerplate required to create compilers making them easier to understand and maintain.
GitHub - microsoft/TypeScript-Compiler-Notes: A repo containing notes about the TypeScript Compiler codebase
If you are completely new to the TypeScript codebase, this YouTube video covers all of the major systems involved in converting files to JavaScript, and type-checking types which will provide a high level guide to what you may be interested in focusing on: If you are really short on time, here is a quick overview of the compilation process. The process starts with preprocessing. The preprocessor f
rurubyのガベージコレクタとアロケータ - Qiita
さて、今回はrurubyにおけるオブジェクトのメモリ表現と、これをハンドリングするアロケータ・ガベージコレクタについて解説します。 Rubyオブジェクトのデータ構造 まず、動的型付き3オブジェクト指向言語であるRubyにおけるオブジェクトがrurubyの内部でどのように表現されているかを説明します。rurubyのオブジェクトの内部表現はCRubyのそれに大変よく似ていて4、笹田さんの連載記事（WEB+DB PRESS Vol.110「Rubyのウラガワ」）の第１回に大変分かりやすく解説されているので正直そちらを見て頂いた方がよいのですが、今回の本題であるメモリ管理の説明の前提として必要な話なので、ここで簡単に説明します。 Value rurubyのオブジェクトは内部的にはValueと呼ぶ8バイトの構造体で表現されます。Rubyオブジェクトの全情報を8バイトで表現するのは当然無理なので、基本
静的型付けスクリプト言語「kirl」
type A = { member_a: string, member_b: number, } type B = { member_a: string, } const VALUE_A: A = { member_a: "type A", member_b: 10 }; const VALUE_B: B = VALUE_A; 一方、PythonやJavascript等の広く使われているスクリプト言語ではメンバの存在を実行時に確認するDuck Typingが採用されています 一般的にDuck Typingの言語は表現力が高い(自由に書ける)と言われますが、構造的型付けを採用すれば表現の自由さを減らすことなく型検査だけできるのでは?と思ったのが開発のきっかけです あわよくば静的型付けスクリプト言語が流行ってPython滅びないかなーと 蛇足ですが、型検査ができるとtypo程度の簡単なミスが実
表示的意味論がわからないので簡単な例を翻訳してみた。 - Qiita
表示的意味論って何？ 日本語で例を探すも見つからなかった。 英語だと Denotational Semantics というらしい。 Denotational Semantics example でググってみた。 見つかった。 眺めてみよう。 Denotational Semantics Establish the meaning of a program by specifying a meaning for each phrase of the Abstract Syntax Tree (AST). declarations commands expressions The mean of a phrase is defined by the meaning of each subphrase. The meaning is its denotation. Established by
GitHub - titzer/virgil: A fast and lightweight native programming language
Virgil is a programming language designed for building lightweight high-performance systems. Its design blends functional and object-oriented programming paradigms for expressiveness and performance. Virgil's compiler produces optimized, standalone native executables, WebAssembly modules, or JARs for the JVM. For quick turnaround in testing and debugging, programs can also be run directly on a bui
mmcはどう失敗したのか - Qiita
「愚者は経験に学び、賢者は歴史に学ぶ」はビスマルクさんの言葉ですが(ググった)、愚者である私は当然経験から学んでおります。経験から学ぶととかく失敗が多いのですが(これも経験から学んだ)、今回は私が5年くらい取り組んでいるmmcが失敗した話でもしたいなと思います。 はじめに 静的型付けであらずんばプログラミング言語であらず 世はまさに大静的型付け時代なわけですが、動的型付け言語が静的型付け言語と同じとかそれ以上の速度で動作したらどうでしょう？実はそのような言語処理系は既に存在し、Stalinなどはその代表です。まあ、静的型付けがもてはやされるのはプログラムの実行速度だけではないので変わらないかもしれませんが。 mmcもStalinと同じようにとにかくどんなにコンパイル時間がかかっても(ここ重要)高速なコードを生成するという目標で開発したRubyからCに変換するトランスレータです。正確には入力
SSA変換とSCCP最適化をJavaScriptで実装してみた。 - Qiita
はじめに このプロジェクトはSSA変換およびSCCP最適化(スパース条件付き定数伝播最適化)をJavaScriptで実装してみたものです。 SSA変換はコードフローグラフを破壊的な変数(レジスタ)を無くして非破壊的なレジスタとファイ関数によって構成するようにしたSSA形式に変換する処理です。 SCCP最適化は、常に固定値に評価されるプログラム内の変数と式を検出し、実行時ではなくコンパイル時にそれらの値を計算する最適化処理です。 今回は非常にやる気がなくてですね、いい加減な文章になっていることを先にお詫び申し上げておきます。[静的単一代入（SSA）形式][SSA] に依存して分析の効率を向上させ（スパース）、実行されない制御フローエッジを検出する機能により、従来の定数伝播とは一線を画しています。一定の分岐条件（条件付き）によれるかもしれないけど。みたいな英語を機械翻訳しただけのものをちゃんと
自作プログラミング言語と WebAssembly コンパイラ
Photo by Lukas Tennie from unsplashはじめにこのエントリでは、僕が趣味で作っている PicoML という自作プログラミング言語の話を書こうと思う。 作ってから半年くらい経っているのだけれど、如何せん自作言語という無用の長物であり、登壇などでコイツの話をすることもないため、ある種の供養みたいなものだと思ってもらって構わない。 PicoML の概要まずは実装した言語の紹介から。ざっくり以下の特徴を備えた言語である。 ML ベースの文法による関数型言語単純 let 多相型推論による型チェックCLI として、Node.js 上での即時評価器（REPL）と WebAssembly をターゲットにしたコンパイラの双方を提供REPL やコンパイラの実装は TypeScript で行っている。自分の勉強が主目的であったため、REPL やコンパイラの CLI を動作させるの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://llvm.org/devmtg/2019-10/slides/Kumar-HotColdSplitting.pdf
Desk言語に要らなかった言語機能（その１：変数名は要らない）
GitHub - chc4/lineiform: A meta-JIT library for Rust interpreters
GitHub - nineties/planck: This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
GitHub - malgo-lang/malgo: A statically typed functional programming language.
GitHub - area9innovation/flow9: Platform for safe, easy and productive programming of complex, multi-platform apps with a modern user interface
GitHub - Gabriella439/grace: A ready-to-fork interpreted functional language with type inference
lambda is not a four letter word - Implementing a Functional Language with Graph Reduction
GitHub - hsk/sccp_js
