quartz-research-note/content/Lua.md
松浦 知也 Matsuura Tomoya c18e2fabae
Some checks failed
Build / build (push) Has been cancelled
updated timestamp
2024-02-08 20:06:45 +09:00

3.7 KiB
Raw Permalink Blame History

date
2023-09-12T15:40:18+0900

#programming-language

軽量で埋め込みやすいスクリプティング言語。音楽用ソフトではReaperとかでも使われている。

コンパイラは基本的なやつはANSI Cで実装されている。

JITコンパイラで超高速に動く別の処理系LuaJITもある

LuaでオーディオビジュアルライブコーディングをするためのLuaAVなどがある(更新されてないけど)

動的型付けで手続き型っぽいが、関数を第一級オブジェクトとして扱える。そのためクロージャを使用できるが、この実装にupvalueという方式を採用していることで有名

tableというArrayと連想配列の両方が扱えるような唯一のデータ構造をもち、tableに関数を放り込むことでオブジェクト指向っぽくメソッドを定義することもできる。

FFIでは、C言語側でユーザーデータというC言語側からしか直接触れないデータを経由するLuaからはC言語側で別途定義したデータ操作用の関数を叩くことでアプリと繋ぐことがしやすい仕組みになっている。標準ライブラリのファイルIOとかもこの仕組みで実装されているらしい。

GCは最新の実装ではインクリメンタルマークスイープ。

CからアクセスするにはluaState*を受け取ってintを返す関数だけを通じて、LuaのVMのスタックに値を積んだり、取り出したりすることで操作するような感じになる。

数値型は基本的に64bit floatのみ埋め込む時はコンパイル時にマクロで切り替えることができる。内部的にはIntとかboolの区別はあって、いい感じにキャストできるようになっている。

リファレンス

Lua 5.4 Reference Manual

Lua 5.3 マニュアル日本語訳

言語機能もそうだが、埋め込み用のC APIの説明では結局内部の設計について知らないと動かせないので言語開発者向けの情報が多い感じ。

upvalue関連

1パスコンパイラでのクロージャの実装方法(Upvalue)

Crafting Interpreterで解説されているUpvalueの日本語での分かりやすい解説

Rustでの実装

Writing a minimal Lua implementation with a virtual machine from scratch in Rust

パーサと簡単なVMの実装。GCとかはない

Build a Lua Interpreter in Rust

ほぼフル機能の実装チュートリアル。中国語からの英語自動翻訳だが普通に読める。特にクロージャやupvalue周りの実装が参考になりそう。GCに関してはRustのRcをそのまま使っているため、VMの機能としては存在しない。

Lua C APIではCのクロージャを投げるときには、そもそもC言語にクロージャがないので何が嬉しいのかよくわからない感じだったが、このチュートリアルの実装だとRust側からRc<RefCell<Box<dyn FnMut>>>のクロージャを投げることができるので、Rustの中でLuaを埋め込むんだったら分かりやすくて嬉しい。

purua

ミニマルな実験的実装。GCとかなさそうだけど、その分コンパクトなので分かりやすいかも。なぜか途中でコードをほぼ全部消すコミットが積まれていて最新版は中身がなくなっている・・・