8月の活動報告です。
無名関数を実装した。クロージャ(自由変数のキャプチャ)は作業中。先月の日記を見たら「そんなに難しくなさそう」とか書いているが、実際にはすごく大変だった。設計メモがここにある。
何が大変だったかというとクロージャがネストする場合で、各クロージャはllvmのfunctionに変換されるのだが、2つ以上外側のクロージャの変数をキャプチャする場合、真ん中のクロージャも協力して変数をバケツリレーしてやらないといけないのであった。
普段はわりと「書き始めたらなんとかなるだろ」的な感じで見切り発車してしまうのだけど、今回はわりと真面目に考察してみた。そのかいあって実装自体は順調に行っている。
近況です。
Genericsを導入した。具体的には ary = [1]; ary.first で 1 が取れるようになった。極めて地味だが、これをちゃんと実現するにはArray<T>という型が必要なのだ。
次の作業としては無名関数(クロージャ)の実装を予定している。ちょっと考えた限りではそんなに難しくなさそう。
VimでRustのLanguage Serverを使う手順。
rlsはrustupでインストールできる。
rustup component add rls rust-analysis rust-src
rust-analyzerはrlsより新しいのだが、まだrustupではインストールできない模様。バイナリ配布があるのでそれをダウンロードしてPATHの通ったところに置く。
6月の活動報告です。
配列リテラルが動くようになった。いや、動くっていうと語弊があるな…、実はまだObjectのインスタンスしか要素に取れないのだ。今月はIntやStringなど任意のオブジェクトを入れられるようにする。その下準備として、Int/Floatを即値からllvm structに変更した。そうするとInt/Floatもポインタと同じ64bitサイズ(※64bit環境を想定)になるから、配列の要素は全部一個64bitとして扱えばよくて楽なのだ。
ちなみにサイズを64bitに揃える方法としては、llvm structにする以外に「ポインタへの埋め込み」という方法もある。GC_mallocで確保したメモリのアドレスの下2桁が00であると仮定してよいならば、最後を〜01、〜10、〜11のいずれかにすればポインタと衝突しないので、残りの62bitの部分に好きなデータを入れられるのである。
せっかくなので、Boolについてはこの方式を実装してみた。010をfalse、110をtrueとして、メモリ上ではこの値をBoolとして扱う。ただしLLVMの分岐命令などはi1を引数に取るから、適宜i64からi1に変換(box/unbox)してやる。埋め込みの実装は初めてだったけど、テストが通ってるのでちゃんと動いてるっぽい。
家のMacBookはずっとOSアップグレードをしてなかったのだけど、qmk_firmwareのためにavr-gccを入れようとしたらXCodeが古すぎると言われたので、重い腰を上げてCatalinaにアップグレードした。
以前のアップグレードの際は途中で止まったりして印象が悪かったのだが、今回はすんなり行ってくれた。
ただmakeコマンドを打つと
unable to find utility "make", not a developer tool or in PATH
というエラーが出るようになってしまった。
このへんを見るも原因がよく分からず、App StoreからXCodeのインストールを試したら直った。
近況です。
インスタンス変数の定義時に、getter/setterを自動で生やすようにした。これによって、以下のようなboilerplateなコードを書かなくて良くなった。
あとは、これを入れるためにいろいろリファクタしたりしていた。
puma-devを.devで運用していたのだが、最近は.devドメインで提供されるサイトが存在して、実用上困ることになっていた。例えば以下のエントリが閲覧できなかった。
puma-dev -uninstallで直るかと思ったけど直らず、/etc/resolver/dev というファイルを削除したら直った。
先月の活動報告です。
いろいろ機能を足して、レイトレのサンプルが動くようになった。ここまでは前作Esquisでもやったわけだが、IntとFloatの区別ができたり、文字列を扱えるようになっていたり、細かいところでいろいろ違いがある。
#shiika 自作言語でレイトレできました💪 https://t.co/DKJkvN8cWR pic.twitter.com/fKPoRyRPdr
— yhara (Yutaka HARA) (@yhara) April 30, 2020
今月は何をやろうかなぁ。とりあえずgetter/setterを手で書くのが面倒なのでそのへんをなんとかするところかな。
これの補足。
上記記事では実行時にクラスを判定することで多態を実現していたけど、別の方法としてvtableという仕組みがあるようだ。
C++やSwiftで使われている方式。
