κeenです。Idris入門: 数当てゲーム | κeenのHappy Hacκing Blogに続いて入門記事を書いてみます。 前回はバイナリを作ったので今回はライブラリを作ります。題材は(非平衡)二分木。

κeenです。 Idrisの入門記事ってあまりないなと思ったので少し書いてみます。 私は別にIdrisに詳しいわけではないので間違っているかもしれないことに注意してください。

κeenです。最近にわかにIdrisが話題になってるようですね。 私の知ってる範囲でIdrisの環境構築について書こうと思います。

κeenです。最近、Rustのタプルに「tuple[0] じゃなくて tuple.0 のようにアクセスするのなんでだろ」というのをみかけてびっくりしたのでそれについて。

The rest of this article is written in Japanese. For those who don’t understand Japanese, auto translation tools may help you. I’m writing my blog in Japanese because I put importance on Japanese community and the situation “information is available in mother tongue”.

κeenです。 #rust2019 の投稿として自分の考えをまとめます。自動翻訳で翻訳しやすいように1文1文を短めに書きます。

κeenです。2018年注目していきたい技術とかをベースに1年を振り返ります。

このエントリは Rustその2 Advent Calendar 2018の19日目のの記事です。時空を遡って書いています。

κeenです。

マクロのためのユーティリティマクロを書いていると呼び出しをネストしたくなりますが、簡単には実現できないのでそれについて。 あるいは過去記事の前半と後半のギャップについて。

このエントリはRustその2 Advent Calendar 2018 8日目の記事を時空を遡って書いています。

κeenです。寝れないので空いてる日の分を埋めに行きます。次はSession Type。完全に趣味に走ったので実用性はないです。