scalaとか・・・

最近読んだ論文

haskell | 14:43 |

以下のtweetしたように、最近それなりに、(主にHaskell関連の)論文読んでるのだけれど

一回読んだだけではすべてを理解できるわけでもないし、「うまく日本語に要約して紹介」ですら結構頑張らないとできる気がしないけど、それなりに読んでるのを、とりあえず一覧でまとめておこうと思った次第。

昔は論文なんて全然読む習慣なかったし、読もうとしても(英語力と前提知識の問題で)全然読めなかったけど、少しでも読めるようになってくると楽しいですね。

あと「読んだ」というのは、

• 最初に読んだのは結構昔だけど、当時は少ししか理解できなかったので、最近また読んだ or また読み返したい
• まだ全部読んですらいないけど、面白そうなのでこれからちゃんと読みたい

など全部含みます。

さらに「最近」というのも、いつどの論文読んだか？なんて全く記録とってないので、ここ1ヶ月とかではなく、半年〜1年くらいかもしれない。というか論文ある程度読むようになったのがここ1、2年くらいかもしれない。

個人的なメモのために、論文が出た年を大まかに書いてるけど、間違ってたら教えて下さい。

すでに書きましたが完璧に理解出来てるわけではないので、それぞれの論文に適当に一言つけた説明というかメモも、あまり信用しないほうがいいかもしれません。

property based testing関連

scalaprops作ってて気がついたらひたすら論文読むようになっていた。関数型Scalaでこのあたり話す予定

• http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.119.3629&rep=rep1&type=pdf
  • みんな大好き(?) Quickcheck
  • 2000年
• ”SmallCheck and Lazy SmallCheck automatic exhaustive testing for small values”
  • quickcheckとは別のsmallcheckというやつ
  • 2008年
• Testing Monadic Code with QuickCheck
  • まぁタイトルのとおりです
  • 2002年
• Feat Functional Enumeration of Algebraic Types
  • さらにまた別のなにか
• Testing Polymorphic Properties
  • すでにquickcheckに入ってる？polymorphicな関数のテストどうやるの？みたいな話
• SmartCheck Automatic and Efficient Counterexample Reduction and Generalization
  • Shrinkingをsmartに(今までよりいい感じに)行うらしい
  • 2014年

その他

その他、というか「property based testing関連」がたまたま集中的に読んでいただけで、普段そんな読み方しないので、とくにそれ以外を分類せず残りを書いていく

• Data types a la carte
  • Free Monadの合成の基本となるやつなので読みましょう
• Reflection without Remorse
  • データ構造工夫しておくと、色々速くなるよみたいな話？
• Safe Zero-cost Coercions for Haskell
  • 最近のGHCの内部の話。
  • 安全かつ実行時コストゼロでnewtypeを扱う
  • scalazのTagged typeと思った以上に関係あるので、興味ある人はこのscalazのissue読むとよい https://github.com/scalaz/scalaz/issues/838
• ”Backtracking, Interleaving, and Terminating Monad Transformers”
  • またolegさん
  • LogitTモナド
  • smallcheckがこれに依存してたので読み始めた
  • ライブラリ側だか論文自体のlawの記述が間違ってる疑惑が浮上してるが、だれか教えてくれ
    • https://github.com/pocketberserker/scala-logic/issues/5
    • http://hub.darcs.net/dolio/logict/issue/1
• Extensible Effects An Alternative to Monad Transformers
  • 一時期Haskell界隈で話題になったあれ
  • 話題になったわりには重要性(というか初期実装のeffのライブラリの評判)が微妙とかあったらしいが
  • 個人的に"Scalaに移植する"という観点からは、まず"Data types a la carte"だけ読めばええよ、みたいな結論に達しつつある
• Adventures in Three Monads
  • (あまり知られてないけど面白いMonadを？)3つ紹介する、みたいな感じ。たぶん
  • その内の1つがLogicTだったので
  • 2011
• Composing monads
  • その名の通り、Monadの合成の話
  • 長いし難しいしで、まだあまり理解できてないので、今後何度も読みたい
• Free Applicative Functors
  • 最近Scalazにも入ったやつ
    • https://github.com/scalaz/scalaz/blob/v7.1.3/core/src/main/scala/scalaz/FreeAp.scala
  • 2013年
• Your Server as a Function
  • Finagleやその内部で使ってるFutureなどの話
  • ここに上げた中では簡単なほうだと思うので、おすすめ？
• The Essence of the Iterator Pattern
  • 何度かよんでるけど、人にわかりやすく説明できるレベルには全然いたってないので、また読み返したい
  • ”Iterator パターンの本質”
• From monoids to near-semirings: the essence of MonadPlus and alternative
  • つい最近？2015年にでたやつ？
  • 「MonadPlusとAlternativeは単なる自己関手の圏における近半環だよ。何か問題でも」
• Functional Pearl: A Smart View on Datatypes
  • このまえのFree MonadPlusでの記事にかいたけど、まだ「reflection without remorse」と似たような話？という理解しかしてない(そしてその理解が合ってるのかどうか不明)
• Asymptotic Improvement of Computations over Free Monads
  • 単にFreeというよりは、Codensityとかそういうの？(よくわかってない)

すこしチラ見しただけなら他にもいっぱいあるし、ある程度読んだのに載せ忘れてるのあると思うけれど、キリがないのでとりあえずこのくらいで。

このあたりの話をできる(or 教えてくれる)人が身近にもっと沢山ほしいです。

ツイートする