2020-07-31

近況です。

Shiika

Genericsを導入した。具体的には ary = [1]; ary.first で 1 が取れるようになった。極めて地味だが、これをちゃんと実現するにはArray<T>という型が必要なのだ。

次の作業としては無名関数(クロージャ)の実装を予定している。ちょっと考えた限りではそんなに難しくなさそう。

BiwaScheme

2020-07-28

月報を書くようになって2年以上経つので、メリットだと感じているところをメモしておく。

月報とは

こういうやつ。

• https://yhara.jp/2020/07/02/jun-2020-arrayliteral

自分の趣味プロジェクトについて、その月になにをやったかを毎月まとめている。

2020-07-14

VimでRustのLanguage Serverを使う手順。

rlsまたはrust-analyzerを入れる

rlsはrustupでインストールできる。

rustup component add rls rust-analysis rust-src

rust-analyzerはrlsより新しいのだが、まだrustupではインストールできない模様。バイナリ配布があるのでそれをダウンロードしてPATHの通ったところに置く。

2020-07-02

6月の活動報告です。

Shiika

配列リテラルが動くようになった。いや、動くっていうと語弊があるな…、実はまだ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)してやる。埋め込みの実装は初めてだったけど、テストが通ってるのでちゃんと動いてるっぽい。

2020-06-28

家のMacBookはずっとOSアップグレードをしてなかったのだけど、qmk_firmwareのためにavr-gccを入れようとしたらXCodeが古すぎると言われたので、重い腰を上げてCatalinaにアップグレードした。

以前のアップグレードの際は途中で止まったりして印象が悪かったのだが、今回はすんなり行ってくれた。

ただmakeコマンドを打つと

unable to find utility "make", not a developer tool or in PATH

というエラーが出るようになってしまった。

このへんを見るも原因がよく分からず、App StoreからXCodeのインストールを試したら直った。

2020-06-07

近況です。

Shiika

インスタンス変数の定義時に、getter/setterを自動で生やすようにした。これによって、以下のようなboilerplateなコードを書かなくて良くなった。

• https://github.com/yhara/shiika/pull/81/files#diff-8e9eaf03a780e00de06c689e09183556L86

あとは、これを入れるためにいろいろリファクタしたりしていた。

2020-05-17

puma-devを.devで運用していたのだが、最近は.devドメインで提供されるサイトが存在して、実用上困ることになっていた。例えば以下のエントリが閲覧できなかった。

• https://mizchi.dev/study-recoil
• https://naoty.dev/posts/113.html

puma-dev -uninstallで直るかと思ったけど直らず、/etc/resolver/dev というファイルを削除したら直った。

2020-05-06

先月の活動報告です。

Shiika

いろいろ機能を足して、レイトレのサンプルが動くようになった。ここまでは前作Esquisでもやったわけだが、IntとFloatの区別ができたり、文字列を扱えるようになっていたり、細かいところでいろいろ違いがある。

#shiika 自作言語でレイトレできました💪 https://t.co/DKJkvN8cWR pic.twitter.com/fKPoRyRPdr

— yhara (Yutaka HARA) (@yhara) April 30, 2020

今月は何をやろうかなぁ。とりあえずgetter/setterを手で書くのが面倒なのでそのへんをなんとかするところかな。

2020-04-21

これの補足。

• オブジェクト指向言語をLLVM IRにコンパイルするには - yhara.jp

上記記事では実行時にクラスを判定することで多態を実現していたけど、別の方法としてvtableという仕組みがあるようだ。

vtableとは

C++やSwiftで使われている方式。

2020-04-04

3月の活動報告です。

BiwaScheme

BiwaScheme 0.7.0をリリースした。だいたい年1回くらいのスローペースでリリースしてるんだけど、調べてみると2019年は一回もリリースがなかった。年末にやっとけばよかったな。と思ったけど、dynamic-windが中途半端な状態だったので今年に伸ばしたのだった。

0.7.xでは今までやってなかったリファクタリングをしていきたい。手始めにビルドシステムをrollup.jsに移行することを考えている。

Shiika