2015-01-01から1年間の記事一覧
よく「どうやって情報手に入れてるの?」みたいに聞かれますが、そんなの、ひたすら時間かけてgithubみたりメーリングリスト読んだり最近ではgitterの会話読んでるに決まってます。 どうやって(How)ではなく、なぜ(Why)、自分がそんなことをするようになった…
挙げようと思えばいくらでも挙げられるとは思うけれど、とりあえず自分が思ったものをいくつか挙げておきます。
ここで挙げてるやつで、あきらかにかなり上位に入るのに、なにか忘れてるあったら教えて下さい。
1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900・・・ という数列を知ってますか?カタラン数と言うらしいです。
ついにバレてしまったか・・・(ぇ
https://github.com/xuwei-k/usagi
ほぼ資料貼り付けるだけのエントリ。広く浅く話しただけで、それほど新しい情報とかあるわけではないです
記念(?)に貼り付けておくだけのエントリ
scalazに限らずHaskellもしくはCoqなどの定理証明系の言語の文脈でもLeibniz Equalityという言葉出てくると思いますが、その話
数日前にDivisibleなどのことを書きましたが、その名前の由来について、気がついたことをメモ。
タイトルにわざと色々詰め込んでとても長くしてみましたが、一言で言うとContravariantなApplicative使うとそれらが共通化出来て便利なことに気がついたのでpull reqしました。という内容です。
標題のことに今更気がついて、少し想定外だったので、それをメモするだけのものです。
ひたすらググって見つけたのをメモするだけのエントリ
せっかく書いたので、とりあえず貼っておく。 とくに解説も結論もない
sbtを使ったことがある人なら、たいていSettingKeyやTaskKeyという言葉を聞いたことがあるはずです。もし聞いたことがなくても、1度でもsbtを使ったことがあるなら、すでに知らないうちにそれらに触れているはずでしょう。 それらSettingKeyやTaskKeyを含ん…
本当に雑に(前半部分だけを)まとめただけなので、ちゃんと知りたい人は、元動画やライブラリのコードや、元論文読むとよいです
https://gist.github.com/xuwei-k/8ac08edd68928b794bafいつの間にかgitterだいぶ流行ってる
Scalaの勉強会で半分くらいHaskellの話してすいませんでした。http://xuwei-k.github.io/slides/scalaprops/
Free MonadPlus調べようとしてtwitter検索してたらGabriel Gonzalezセンセのtweetをみつけたので
それほど数学の素養ない筆者が、論文を斜め読みして「理解を試みてみた」記録です。最低限の雰囲気だけ説明してみるけど、雑だし正確な言い方もしないので、ちゃんと知りたい人は最初から元の論文を読もう。 といういつものような注意書きを書いておきます。
以下のtweetしたように、最近それなりに、(主にHaskell関連の)論文読んでるのだけれど
「もう一度来てください。本物のFree MonadPlusを見せてあげますよ」 そう言い残してScalaちゃんは去っていった・・・。
なにやってるんだ・・・、と思いつつ見てたら、とりあえず解答を思いついてしまったので貼っておきます。Scalaに存在演算子を求めるのは間違っているだろうか
英語ならもっと正確なわかりやすい解説あるかもしれないけど、とりあえず書いたので貼っておく。 (なにか間違っていたら教えて下さい)
あまり長く書く気はおきないので手短に?と思ったけど、書いてみたら結局それなりな量になった。 1年まとめて書くと辛いので、半年という区切りで書くのはいいかも、と思ったので。
"新しい" とは、今まで全部無名classにコンパイルしてたラムダを、invoke dynamic使って動的に生成するようになるとかそういうやつ。
play2.4から、routesその他を書かずにScalaコードだけで手軽にhttp serverを生成、起動できる機能が入ったらしいです。 手軽にちょっとしたmockのサーバー作りたいとか、色んな用途に使えそうですね? 以下、sbtのscalasと組み合わせた最低限のサンプル(18行…
scalazのISetとは、Haskellの標準ライブラリのSetを移植したやつです。二分木です。
generic-signatureというもの(リフレクション経由でしか取得できない何か?)が、必要ないなら、コンパイルオプションに"-Yno-generic-signatures"指定すると、ある程度バイナリサイズ減ることに気がついた。 とある自分のライブラリ(scalaprops)だと、 7% く…
さて、このあたりのこと色々ありすぎて書ききれないんですが、たまには少し書いておこうという気になったので書いておきます。