やったこと

MochiでQuineを書いた

Mochiというプログラミング言語がある。特徴としてはPythonライクな文法で、かつPythonで書かれていてPythonに変換されて実行される。というとほぼPythonな気がするけど、実体としてはPythonとClojureの悪魔合体だと思う。ドキュメントには書いてないけど、明らかにClojureを意識してる。

Quineは適当に書いた。そんなに思い入れがない。なんかパイプ演算子のあとに無名関数を置くとバグるので、仕方なく二行にした。

https://github.com/MakeNowJust/quine/commit/fec4c78b47161779c8c586b49840dc18a07c31e6

LeanでQuineを書いた

Leanという定理証明支援系がある。Microsoft Researchが開発している。他の定理証明支援系と何が違うのか聞かれると上手く説明できないのだけど、なんかioとかあるので普通にプログラムが書ける。io.get_environmentとかあるのでCGIが書ける。やったね。

というわけでQuineを書いた。

https://github.com/MakeNowJust/quine/commit/6d81b6852641d857a95b57c588fcf26a167003f1

できることならLeanを勉強する時間が欲しい。面白そう。

‥‥って昔も言ってた気がする。

MakeNowJust/heredoc: 長さ0の文字列を渡したときにpanicにならないようにした

ふとコードを眺めていたら見つけたので。

一応k8sに使われているので気にしてはいる。

ET NOIRを公開した

https://github.com/MakeNowJust/noir/pull/19

まだテストを書いてないけど。

悪くない感じになったと思う。

マスト丼に/kysコマンドを追加した

前に流行ったズンドコするやつ。500文字ギリギリまで試行するようにしてるけど、そこまで到達できる気がしない。

明日にでもCW付けて投稿するようにしたい。邪魔すぎる。

CrystalにPRを二つ投げた

https://github.com/crystal-lang/crystal/pull/5284

https://github.com/crystal-lang/crystal/pull/5288

色々思うところはあるんだけど書くのが面倒になってきたので察して。

MakeNowJust-SandboxをMakeNowJust-laboにした

https://github.com/MakeNowJust-Labo

あとmruby-cliの使い方を調べたりしていた。その成果とかも置かれている。サンドボックスと言ってしまうと自分は使わないので、laboと言っていきたい。

思うところ

今日はどうしてこんなに色々なことをしたのだろうという気持ちになっている。疲れた。でもOccultic; Nineやりたい‥‥。