日夜CPSに励む紳士淑女のみなさなまこんにちは、κeenです。CPS変換について掘り返してたら発散していったので適当に書き留めておきます。 主に自分向けのメモで、あとで思い出すために書いてるので私自身以外には分かりづらいと思います。

κeenです。勉強会参加報告を書くのも久しぶりですね。RustのLT会 Shinjuku.rs #4 @FORCIA でライブコーディングしてきたのでそれを書き留めておきます。

κeenです。実践Rust入門 言語仕様から開発手法まで(技術評論社)を書いた(3人で共著)のでどういう本なのか解説します。 5/8発売です。電子版もありますよ。Gihyo Digital PublishingだとPDFが手に入るので人気らしいです。

κeenです。Atsushi Ohori, Katsuhiro Ueno, and Hisayuki Mima. 2018. Finitary Polymorphism for Optimizing Type- Directed Compilation. Proc. ACMProgram. Lang. 2, ICFP, Article 81 (September 2018), 29 pages. を読んだメモ。 見ての通り大堀研からの論文で、29ページある長めの論文です。 私の、私による私のためのメモなので正確性やわかりやすさなどは求めないで下さい。

κeenです。なんか雑にIdrisでキューライブラリを作ったので紹介します。

κeenです。いわれてみれば当たり前なんですが最近気づいたこと pthread_create に渡してるのって要するにクロージャなんですね。

G. Ottoni. “HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack,” PLDI 2018 を読んだメモ。

L. Yinan, N. R. Katsipoulakis, B. Chandramouli, J. Goldstein, D. Kossmann. “Mison: A Fast JSON Parser for Data Analytics,” Proceedings of the VLDB Endowment, Volume 10 Issue 10, June 2017, p1118-1129. を読んだメモ。 本当にただのメモなので内容を知りたければ論文を読むように。