OSSコミュニティがある日突然壊れたときにどうすればいいか
class: center, middle # OSSコミュニティが<br>ある日突然壊れたときに<br>どうすればいいか --- class: middle <img src="image/xuwei.gif" alt="アイコン" width="100" height="100" /> - twitter [@xuwei_k](https://twitter.com/xuwei_k) - github [@xuwei-k](https://github.com/xuwei-k) - blog <https://xuwei-k.hatenablog.com> --- class: center, middle ## 壊れたときに<br>どうすればいい・・・？ --- class: center, middle ## そんなのわからないので教えて下さい！！！ --- class: cent
ScalaでFutureとEitherを組み合わせたときに綺麗に書く方法 - xuwei-k's blog
組み合わせるとはつまりアレのことを書くのですが、一応それほど前提知識無くても理解できるように書いてみます。さて、なぜいきなりEitherとFutureか？というと play2とか使ってると、Futureがよく出てくる Futureをそこら中でAwaitしたらFuture使う意味がないので、Future[A]をmapやflatMapなどでどんどん連鎖させて、メソッドの型にFutureが大量に出現！ Futureは非同期に行われる処理であり、そこで例外発生したら、その中に例外を含むしかない(単純に例外投げるわけにはいかないというか不可能) Scala標準ライブラリのFutureは、Throwable型で例外を保持できるようになってる 逆にいうと、Throwableでしか保持できない 例外の種類が多くなってきて、プログラムが複雑になった場合、Throwableではなくもっと限定された独自のエラー
ScalazのKleisliとEndomorphic - xuwei-k's blog
Scalazネタです。しかもわりとマニアックな、Scalaz初心者向けではないネタかもしれません。前から書きたかったけど、良いサンプルが思いつかなくて躊躇してましたが、良いサンプルを見つけたのでKleisliとEndomorphicについて書きます。 Kleisliはともかく、Endomorphicは最近入ったので、日本語記事はおろか現時点では英語の解説もほとんど無いのではないかと思います。最近とはこのpull reqですが、7.1.0-M1からで、7.0.x系の最新版の7.0.4には入っていません。*1 さて前置きはこれくらいにして解説を始めます。まず、独習Scalazを引用します。 5日目 騎士の旅 case class KnightPos(c: Int, r: Int) { def move: List[KnightPos] = for { KnightPos(c2, r2) <-
Scalaz の NaturalTransformation - xuwei-k's blog
以下のやりとりなどをして、なんとなく書きたくなったので解説してみます。 @gakuzzzz implicitついてないし、型クラスのインスタンスではなく、「高階レベルの関数」ですね。Id型使いたいだけなら、それ使っていいと思います(なにに使うのか・・・？) 2013-09-11 16:07:49 via web to @gakuzzzz ↑昨日。 ↓こっちは別のやりとり .@nagise @yuroyoro 値が多相になれないというかHaskellのforallが直接表現できないので、Haskell版のこれ URL をScalaで書くとこんなに長く、とか URL 2013-09-12 19:29:14 via web to @nagise まず問題です、scala.util.Try[A]をscala.Either[Throwable, A] に変換するメソッドは、どのように書けるでしょうか
ScalazのEndo - xuwei-k's blog
@markhibberd さんの Endo の話がわかりやすかったので、勝手に日本語の説明をつけたスライドを作りました もとのスライド http://mth.io/talks/patterns-in-types-ylj 日本語の説明つけたもの http://gist-slide.appspot.com/5607773/endo.md https://gist.github.com/5607773 あと、他にもスライド公開してたので、みんな読むといいよ Argonaut Purely-Functional Library Design in Scala Zippers, Comonads and Data Structures in Scala それと、scalaj-httpのRequestに関してこのパターン使えるなぁーと思ったので、作ってみた https://gist.github.co
Scalaでポイントフリースタイル
関数合成の話がTLであったので書いてみる。 最近だとゆろよろさんの記事が面白い。 http://d.hatena.ne.jp/yuroyoro/20120203/1328248662 http://d.hatena.ne.jp/yuroyoro/20120206/1328513534 Category とりあえずCategoryから。 Categoryとか知らない人は https://github.com/quassia88/introduction-to-category-theory-in-scala-jp/wiki を見て、なんとなく分かってみてください。 この圏論入門の記事だとCategoryのインスタンスはFunctionしか書いてなくて、抽象化をしていることがわかりにくいですが、ScalazではCategoryのインスタンスにFunction, PartialFunction,
Scalaz の Functor.scala を初心者が読んでみた - Elliptium
Scalaz Advent Calendar の 6 日目の記事として書いています. 準備 今回解説するソースコードは scalaz/Functor.scala です. scalaz-seven ブランチのものであることに注意してください. 前置き 数学 (代数) は一応やってはいたものの, Scala や Scalaz のことを全然分からない状態からこの記事を書いています. そんな人間が Scalaz を読んだらどう見えるか? という実験記録のようなものがこの記事です. 圏論については「圏論の基礎」を参照しています. 用語などはそちらに倣いました. 数学の函手とは 最初にざっと圏論の概念の定義を並べておきます. 圏 (category) の定義 圏とは対象 (object) と対象の間の射 (arrow) の集まり 射 f はある対象 a とある対象 b を結び付けるもの この射は方向を
Scalaz の命名規則 - がくぞーのメモ
この記事は Scalaz Advent Calendar 2012 の4日目です。 どこかで Scalaz7 の package や class/trait の命名規則について書いてというのを見た気がするのでその辺を書いてみようと思います。 ちなみにあくまで現状のソースコードを見た上での推測で、MLなり何なりで裏取った情報ではない事を先に明記しておきます。内容に誤りなどありましたらぜひぜひご指摘ください。 Suffix無し 主に scalaz パッケージ直下にある、Suffix のついていないクラス/トレイトは大きく分けて2種類に分類されます。 一つが Scalaz が提供する型クラス。Functor とか Foldable とかそういったモノですね。あくまで型クラスの定義であって、型クラスのインスタンスではありません。 もう一つが Scalaz が提供するデータ構造。Validation
独習 Scalaz — 独習 Scalaz
独習 Scalaz これまでいくつのプログラミング言語が羊の衣を着た Lisp に喩えられただろうか? Java は馴染み親しんだ C++ のような文法に GC を持ち込んだ。それまで他にも GC を載せた言語はあったけども、現実的に C++ の代替となりうる言語に GC が載ったことは 1996年には画期的に思われた。やがて時は経ち、人々は自分でメモリ管理をしないことに慣れていった。JavaScript と Ruby の両言語もその第一級関数 (first-class function) やブロック構文を持つことから羊の衣を着た Lisp と呼ばれたことがある。S式の同図像性がマクロに適することから Lisp系の言語はまだ面白いと思う。 近年の言語はもう少し新しい関数型言語から概念を借りるようになってきた。型推論やパターンマッチングは ML にさかのぼることができると思う。時が経てば、人
Functional Programming in Scala の感想 - xuwei-k's blog
http://www.manning.com/bjarnason https://github.com/pchiusano/fpinscala 一年ちょっと前にblog書きましたが Scalaz の作者の人達が書いた "Functional Programming in Scala" という本がでるらしい 14章のぞいてほぼ完成したので、感想書きます。MEAP v9の時点です。ちょっと長いですよ。 まず、全体を通していえるのが、Scalaの本ではなくあくまで関数型プログラミングの本だということです。それは本文の最初の方にも書いてあります。 この本だけ読んでも、Scala自体にはあまり詳しくなりません。Scala自体については、必要最低限の文法だけを随時説明してます。 逆に、(英語が読めるなら)Scalaの知識がほぼゼロだとしても、大体読めるのではないかと思います。 また、Scalazの本で
Scalaz の名前の由来 - xuwei-k's blog
https://gist.github.com/tonymorris/5367920 超適当に要約すると 「最初Scalaxっていう名前で作ってたけど、他にもScalaxという名前のライブラリがあって色々あって(とりあえずその別のScalaxをdisってる・・・)、自分が作っていたものはScalazという名前に変更した」 という感じでしょうか・・・。(結局zの直接的な由来は語られてないような・・・？) 今となっては、MLとかを検索しないと実態はよくわからないですが、2005年から2008年くらいに開発されてた(?) FunctorやMonadのtypeclassを含んでいるScalaxという(今はその跡地がなぜか「訳ありバナナになってる」)ライブラリがあったらしいです Scalazの初期の歴史に「訳ありバナナ(scalax)」が関係していたということかな・・・ URL URL (詳しい経緯
ScalaでのLens実装まとめ - xuwei-k's blog
最近コード書いていて、若干無理に抽象化を進めたら、なんかLensが必要になったけれど、いざScalaでLensを使うとなると果たしてどれを使えばいいのかすぐに判断できなかったので、いい機会なのでまとめてみる。 「ちなみに、これ書いた時点のまとめだし、すぐ古くなるかもしれないし、抜けてるものもあるかもしれないよ！」といういつもどおりの注意書きを書いておきます。 2015年3月に追記案の定古くなったので、あまり参考にしないほうがいいよ！ Scalaz https://github.com/scalaz/scalaz/blob/v7.0.0/core/src/main/scala/scalaz/Lens.scala 7にも6にもあるが、もういい加減finalでそうだしfinalでたし、使うとしたら7でしょう 良くも悪くも sealed trait LensFamily[-A1, +A2, +B1
ekmett と scalaz - xuwei-k's blog
ekmett 勉強会やろう（提案） 2013-03-14 23:17:22 via Janetter twitter上でいろいろあってekmett 勉強会 開催決定！ 「ekmett勉強会だがHaskell勉強会とは書いてない」「ekmettはScalazのコミッターである」「ekmettは、実はgithub上にScalaのリポジトリがいくつかある(超古くて最終更新2年くらいまえだけど)」つまり・・・ 2013-03-15 12:15:24 via web もちろん歓迎される(´･_･`)！！ 2013-03-15 12:16:15 via Janetter というわけで盛り上がってました(?)が URLこんなこと言ったけど当日発表するのは気が引けるし、気が向いたらblogに書こうかな… 2013-03-15 18:06:28 via Twitter for Android というわけなの
Scalaz 6.0.4 と Haskell (GHC7.4.1) を比べてみることによってScalazのclassを分類して理解してみる - xuwei-k's blog
追記: この記事書いたあとのtwitter上での反応 ScalazとHaskellの比較記事というか疑問点をいっぱい書いたら、shelarcyさんにいっぱい教えておもらったよ！ Scalaz7 では色々改善されている部分もあるけれど、まだ作りかけなので、とりあえずScalaz6.0.4で。自分のHaskellの知識が浅く、間違ってること言っている可能性大なので、なにかあればどんどん突っ込んでくださいm(_ _)m まず対応していそうなものをとにかく書きだしてみた ← 名前同じで、ほぼ同じ役割をしていると思われるもの。結構ある 無名関数の引数がカリー化されないので、Scalazのほうには、Haskellには存在しないApplicativeBuilderというものがある Scalazの場合Bifunctorというものがあるが、Haskellにbifunctorという単語がでてこない ほかにも、
Typelevel | Home
Typelevel is an ecosystem of projects and a community of people united to foster an inclusive, welcoming, and safe environment around functional programming in Scala.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OnCue by Verizon &emdash; Open Source
GitHub - typelift/Swiftz: Functional programming in Swift
http://leifwarner.net/scalaz.svg
怖いScala
Scalaz Advent Calendar 2012 - PARTAKE
