2022-11-06

Shiika

なんかいろいろやった。主なのはこのへんかな。

• メソッドの型引数の型推論
  • https://github.com/shiika-lang/shiika/pull/415
• Timeクラスの追加
  • https://github.com/shiika-lang/shiika/pull/413

で、v0.7.1をリリースした。11月は非互換を入れて、次のリリースはv0.8.0にする予定。

2022-10-04

月報を再開する。

面倒になってきたという理由でやめてみたのだけど、一月ごとに進捗をまとめる作業がないと「進んでる感」を感じられなくてよくない、ということがわかってきた。

あとは締切のない趣味開発だとしても大まかな計画があったほうが、「今月末には○○ができているはず」という期待ができてよい。

Shiika

型推論

2022-02-06

ここ数年、月の初めに前月の月報を書いてたんだけど、今年はやめにしようかと思う。

あまり深い理由はないのだけど、面倒になってきたというのが一つで、やめたらどうなるか実験してみたいというのがもう一つ。

代わりに、もっと短いスパンで投稿していきたい。

2021-12-31

今年書いたブログを見つつ振り返りを。

イベント

イベントというと今年はまあオリンピックかなあ。なんかずっと前のような感じがするが。ワクチン打ったのも今年か。

開発

Shiikaについてはパターンマッチ、enum、Maybe型を実装した。処理系ミートアップのみなさまにはお世話になりました。

2021-12-06

Shiika

今月はコンパイラ全体が一つのRust crateになっていたのを、いくつかのcrateに分割した。依存関係が各ディレクトリのCargo.tomlに明示されるので、だいぶ構成がわかりやすくなったんじゃないかな。

その過程で、一部のメソッドをRustで実装するように変更した。前は「LLVM IRのコードを生成するRustのコードで実装する」というややこしいことをしていたので、これもわかりやすくなったはず。

続・incremental games

引き続き放置ゲームのブームが来てる。11月はFE000000とCalculator Evolutionを完走した。FE000000、一貫してクールで格好良かったなあ。Calculator Evolutionは終盤がちょっとだるかったけど、閾値を超えたときのフィーバー感はピカイチ。

2021-11-10

Shiika

• Add Maybe#map by yhara · Pull Request #311 · shiika-lang/shiika
  • enumにメソッドを定義するための文法を追加。
• Use `Maybe` in builtin classes by yhara · Pull Request #312 · shiika-lang/shiika
  • Hash#[]などがMaybeを返すようになった。これがやりたかっただけなのに、enum入れたりパターンマッチ入れたり大変だったなあ。やれやれだぜ。
• Allow '?' as method name suffix by yhara · Pull Request #315 · shiika-lang/shiika
  • empty?みたいにメソッド名に?をつけられるやつ、やっぱ欲しいなと思ったので入れた。

2021-10-03

Shiika

パターンマッチの実装をしていた。ようやくバグが取れて、あともう少し整理したらマージできるかなというところ。いやー時間かかったなあ。なんでこれだけのことがこんなに時間かかるんだろう、と時々思うが、思っててもしょうがないので、一つ一つやっていくしかない。まあ9月は仕事が忙しかったし、体調も良くなかったし、そういう時もあるよね。

引き続き処理系Slackのみなさまには隔週で話を聞いてもらっている。ありがたいことです。

• 定期ミートアップ 第9回 - prog-lang-sys-ja
• 定期ミートアップ 第10回 - prog-lang-sys-ja

2021-09-05

BiwaScheme

毎年夏の間だけチャレンジしている構文木マクロの実装だが、ようやく「なんとかなりそう」な感じになってきた。

• Add prototype of new expander for hygienic macros and library system by yhara · Pull Request #259 · biwascheme/biwascheme

方針を立てたので、あとはぼちぼちやっていくだけ…ではあるけど、あくまでShiikaの方が優先なので、数年後くらいに形になればいいなあ、くらいに思っている。

Shiika

2021-08-04

近況です。

Shiika

7月は、パターンマッチの準備段階としてオブジェクトにクラスの情報を持たせたりなどした。1.classができるようになった。

• https://github.com/shiika-lang/shiika/pull/299

8月はいよいよパターンマッチの実装に入る。今は作戦を練っているところ。

2021-07-10

先週の土日にこのオンラインセミナーに参加してみた。

• 定理証明支援系 Coq チュートリアル - connpass

定理証明は、名前は聞くけど触ったことはなくて、興味はあるけど本を買うほどのモチベーションはないし、誰か詳しい人が要点だけ教えてくれたりしないかな〜。と思っていたところ、まさにぴったりのイベントが。なんていうか、昔ならこういうのは東京まで行かないと参加できなかった気がするけど、家からオンラインで参加できるようになったのは嬉しいね。

日程は5時間 x 2日という長丁場で、説明だけでなく練習問題もあるのでとっても疲れた！でもこういうのって自分で手を動かさないと「わかったような気になった」だけで終わりがちだから、演習があるのはとてもありがたい。

Coqの感想