2021-04-04

近況です。

Shiika

今月はいろいろ他事をしていてあまり進められなかった。if文の型チェックを整理したくらいか。これでこういうのが書けるようになった。

次は分割コンパイルの件に手を付けたい。

BiwaScheme

2021-03-02

先月の活動報告です。

Shiika

doc/guide, doc/specを追加した。一見同じものに見えるが、前者はユーザ向け、後者は仕様書なので微妙に内容が違う。例えば「メソッド名は慣習的にunder_scoredにする」という話は前者には書くが、後者には書かない。一方、普段使わないようなコーナーケースの話は後者にだけ書く。という感じ。

あとメソッドからのreturnを実装した。その勢いでブロックからのreturnも実装しようとしたのだが、思ったよりはるかに難しいことがわかり一旦ペンディングにすることにした。

BiwaScheme

2021-02-05

近況です。

Shiika

今月はなんかいろいろやった。大きなのはHashクラスが入ったのと、Array#mapが入ったのと、こないだ書いたctxのリファクタリングかな。

あとは「一年の計は元旦にあり」ということで、Shiikaレベルで書けないものをどうするか検討していた。結果としては、標準ライブラリはRustで書いて、それとは別にffi機能を提供するということに落ち着きそう。Rustでライブラリ(RubyでいうRubyGemsみたいな)を書けるようにしようかなとも思ったのだけど、それだけだと例えばlibSDLを使いたいときにShiika→Rust→Cという二人羽織状態になってしまうので。

BiwaScheme

2020-12-31

2020年の振り返り。

イベント

今年はほとんどのイベントがオンライン化するという未曾有の事態だった。登壇としては10月のlangsmith1件で、これもオンライン。

開発

Shiikaの開発が進み、だいぶ「本物」に近づいてきた。advent of codeとかで実際にShiikaプログラムを書いてみてるけど、体験はとてもよい。まだまだ荒削りだけど、方向性が間違っていないことが確認できたといえよう。

2020-12-30

近況です。

アドカレ

今年は2本。

• Shiika進捗2020 - yhara.jp
  • 今年やった主な作業をまとめた。
• 28キーのミニマルなキーボード、Alpha - yhara.jp
  
  • Alphaが完成したので書いた。28キーでも工夫すれば仕事で使えるレベルになる(含プログラミング)ことがわかった。

2020-12-03

近況です。

Shiika

今月はブロック記法に対応したのと、やっかいなバグを2つ直した。

• https://github.com/yhara/shiika/pull/175
  • クロージャから外側の変数を書き換えるケースの考慮漏れ。Hirの設計を少し修正して対処。
• https://github.com/yhara/shiika/pull/176
  • ループを長く回すとプログラムがクラッシュする件。ループ毎にallocaするのではなく、llvm funcの先頭で一回だけallocaするよう修正。

2020-11-01

Shiika

自作プログラミング言語の集いで発表した。スライドはここ。

vtableの方は10月ぎりぎりで実装できた。残念ながら型システムの問題でまだ実際のメソッド(Object#inspectとか)は実装できていないが、11月中にはなんとかなるだろう。

BiwaScheme

dynamic-windがうまく動かないケースがあるという報告をもらって調べてみたら、確かにスタックがこわれていた。継続まわりのVM命令をいじったときに、「aレジスタを復元する」という処理の位置が間違っていたようだ。winderを実行するとaレジスタは破壊されるので、winderの実行が終わったあとで復元しなければならない。

2020-09-30

9月の活動報告です。

Shiika

今月は季節の変わり目のせいか、あまり調子が出なかった。進捗としては先月やっていたクロージャの実装を終わらせて、今はvtableの実装をしている。これが動けばObject#inspectが実装できる、つまりpメソッドが作れるということでいろいろと楽しくなりそう。

Shiikaについては10月頭の自作プログラミング言語の集いというイベントで発表させてもらうことになった。スライド作らなきゃなあ。

自作キーボード

2020-09-02

8月の活動報告です。

Shiika

無名関数を実装した。クロージャ(自由変数のキャプチャ)は作業中。先月の日記を見たら「そんなに難しくなさそう」とか書いているが、実際にはすごく大変だった。設計メモがここにある。

何が大変だったかというとクロージャがネストする場合で、各クロージャはllvmのfunctionに変換されるのだが、2つ以上外側のクロージャの変数をキャプチャする場合、真ん中のクロージャも協力して変数をバケツリレーしてやらないといけないのであった。

普段はわりと「書き始めたらなんとかなるだろ」的な感じで見切り発車してしまうのだけど、今回はわりと真面目に考察してみた。そのかいあって実装自体は順調に行っている。

2020-07-31

近況です。

Shiika

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

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

BiwaScheme