上級者というより、基本的には 「べつにbetter javaとして使うならば必ずしもScalaでそこまでやらなくてもいいのに、関数型の濃い話が書いてあったりする」やつです。*1というか、自分が勉強したくても一回読んだだけじゃよくわからなくて、読み直したいもののメモです。独断と偏見で選んだので、他にもあるかもしれませんがとりあえず
1. http://apocalisp.wordpress.com/
Scalazのcommiterの人です。 type level programming のシリーズ *2とかyuroyoroさんが一部訳していたりしましたね。このシリーズ順を追ってけっこう網羅的に説明されてて素晴らしいので是非読みましょう！もちろんこのシリーズ以外にも面白そうなものありますが
https://twitter.com/#!/runarorama
https://github.com/runarorama
2. http://hseeberger.wordpress.com/
このblog書いた時点ではそんなに量多くないですが、以下の2つとも、とても丁寧に書いてあるので、ScalaでFunctorとかApplicativeとか興味ある人は是非
Introduction to Category Theory in Scala
Applicatives are generalized functors
https://twitter.com/#!/hseeberger
https://github.com/hseeberger
3. http://eed3si9n.com/
scalaxb をはじめ、色々と sbt plugin を作っていたり、 Scalaのコレクションのドキュメントや、sbtのドキュメントなど様々なScala関連の翻訳などされていたり、sbtについての解説など書かれていたりと、いつもお世話になってます (m´・ω・｀)m
http://eed3si9n.github.com/scala-actors-doc-ja/
http://eed3si9n.github.com/scala-collections-impl-doc-ja/
http://eed3si9n.github.com/scala-collections-doc-ja/
http://eed3si9n.github.com/sbt-getting-started-guide-ja/
http://github.com/eed3si9n
http://twitter.com/eed3si9n
4. http://etorreborre.blogspot.com/
Scalaの有名なtesting libraryの specs とか specs2の作者の人です。
最近、 Pragmatic IO っていうシリーズ書いてたりとか
http://etorreborre.blogspot.com/2011/12/pragmatic-io.html
http://etorreborre.blogspot.com/2011/12/pragmatic-io-part-2.html
http://etorreborre.blogspot.com/2011/12/pragmatic-io-part-3.html
まだ自分もあまり読めてないですが、Scalaz seven の話とか、State monad とか Applicative とかでてきますね。
この間ちょっとドワンゴScalaで話したUnboxed Tagged Types
http://etorreborre.blogspot.com/2011/11/practical-uses-for-unboxed-tagged-types.html
とか、 他にも面白そうなのとして
The Essence of the Iterator Pattern
など。これもすごく長いですが、FunctorとかApplicativeとかMonoidとかMonadとかいっぱい出てきます楽しいですね！
他にも昔遡ると、specsの作者なので、(specsやspecs以外も含めた)テストフレームワーク自体の話など、紹介しきれないほど色々あります
https://twitter.com/#!/etorreborre
https://github.com/etorreborre
5. http://www.codecommit.com/blog/
anti xml っていうライブラリをはじめ、色々つくってますね。
Monads Are Not Metaphors とかすごい有名(?)ですよね。
https://github.com/djspiewak/
https://twitter.com/#!/djspiewak
6. http://suereth.blogspot.com/
元googleの人で、typesafeに移籍した人です。 Scala in Depth っていう本を書いていたりとか、最近普通に、Scala自体に貢献していたり、 typesafe の github アカウントである typesafehub で色々と sbt plugin をつくってたり。
https://github.com/jsuereth/
https://twitter.com/#!/jsuereth
7. http://blog.tmorris.net/
Monads do not compose とか、 The Writer Monad using Scala (example) とか、 Understanding Monads using Scala (Part 1)
など結構おもしろそうなのがありますね
そういえば、ちょうど yuroyoro さんが訳したあれ に対してこんなの書いてたりしますね
http://blog.tmorris.net/critique-of-oderskys-scala-levels/
https://twitter.com/#!/dibblego
https://github.com/tonymorris
8. http://www.chuusai.com/blog
eclipseのScala plugin作ってたりする Miles Sabin さん。現状2つしかないみたいですが。
Unboxed union types in Scala via the Curry-Howard isomorphism が、とても濃いのでオヌヌメです
https://twitter.com/#!/milessabin
https://github.com/milessabin
9. http://debasishg.blogspot.com/
Monad Transformers in Scala とか applicatives for composable json とか Monads, Applicative Functors and sequencing of effects とか Composable domain models using scalaz とか Using generalized type constraints
とか、紹介しきれないほど面白そうなのいっぱいあるんですが、とにかくモナモナしてますね(?)
そういえば sjson つくった人ですね。
http://debasishg.blogspot.com/2010/07/sjson-now-offers-type-class-based-json.html
( eed3si9nさんが翻訳したものがあったり )
https://github.com/debasishg
https://twitter.com/#!/debasishg
10 http://jnordenberg.blogspot.com/
そんなに量多くない、かつ最近それほど更新されてないですが、2008年の時点で HList in Scala と、HListに言及してたりしてますね
11 http://michid.wordpress.com/
Unionに書いてたりとか、SKI calculus っていうのについて *3 書いてたり、型レベルプログラミングの話が多い。いや別にScala上級者になるのに必要ないと思うけど、メモ
Scalaでこういうことやるかどうかはべつにして、自分もこういう知識身につけて、こういうレベルのこと書けるようになりたいですね・・・
面白いblog記事を書いてる人を中心にとりあげましたけど、文章それほど書いてなくても、github で面白い library つくってどんどん公開している人は他にもたくさんいるので、みんなもっとgithubでfollowして追いかけましょう(・ω・ )
