2019でLTしましたScalaMatsuriのアンカンファレンスで人類の4分の1くらいが困っているであろう問題について話して来ました。スライド2日でなんとか錬成したはいいけどストーリー的にあまりScala感がなくて悩んでました。思い立って唐突に実行した。10分くらいで終わった。こんなに簡単にできるとは。旧サービスの要らない部分を選別してサブセットを作って、新サービスに旧サービス(サブセット)が...はてなダイアリーからはてなブログへ移行2019-02-08不眠、その原因と対策エンジニアで周囲だけでも睡眠に困っている人が予想以上に観測できるので、僕自身が行った試行錯誤について書いておこうと思う。僕は不眠症というわけではないが夜に眠ることがうまく出来ず、長い間(10年以上)試行錯誤を続けてきた。fjs.paren...パラメトリック多相2015-12-30最低限必要な言語機能チーム開発で必要な最低限の機能、条件を見極めたいと以前からずっと思っていた。その後の手法も考えているけど今は省略。この条件を満たすとなると途端にHaskellかOCamlあたり...最低限必要な言語機能2015-11-25Parametricity最近parametricityについてジャバを書きながらずっと考えていたのだけど、割と便利な結論が出てきたと思う。継承を用いたデザインパターンはできないだろ、とか突っ込まれそうだけど実質同じ...Parametricity2015-11-04関数プログラミング交流会で発表したブログに書くという行為を忘れがちな昨今。9/13に関数プログラミング交流会があったので発表してきました。関数プログラミングという題目のため、参加者はかなり広い...関数プログラミング交流会で発表した2015-05-14Haskellの遅延評価についてメモ以前から考えていたことを吐き出したのでメモしておく。あとで検証してまとめたい。実用上知っておくべき部分はもっと少なくていいはずだし、そちらも出来るならまとめたい。d.getElementsByTagName(...Haskellの遅延評価についてメモ2015-05-13宣言的とは、宣言とは「宣言的」というあやふやな言葉にもう少しまともな定義はつけられないかという試み。宣言とはInvariantであるとして、対象のシステムを明示した方がいいのでは、という話。最近私的にモナドが非常に熱いのでそれについて話してきました。図入れるとか具体的なコード入れるとか色々出来たのですけど。現在yesodを使いたい場合は、stackを導入するのが適切だと思います。SetはFunctor。Setを要素が重複しないデータ構造とします。厄介なのはjoinだ。joinは以下のような型を持つ。