2015年9月30日水曜日

関数型プログラミング技術マップ2015

›
『圏論の歩き方』を読んで少し理解が進んだので、関数型プログラミング技術マップを更新しました。「 関数型プログラミング技術マップ2014 」の2015年版です。 以下の点を改良しています。 Curry-Howard対応をCurry-Howard-Lambek対応に拡張 直観主義述語...
2015年8月24日月曜日

[scalaz]Task - 並列処理

›
先日の「 Reactive System Meetup in 西新宿 」で「 Scalaz-StreamによるFunctional Reactive Programming 」のスライドを作るにあたってscalazのTaskについて調べなおしてみたのですが、Taskの実用性につい...
2015年8月17日月曜日

クラウドアプリケーション・モデリング考

›
8月7日に「 匠の夏まつり ～モデリングの彼方に未来を見た～ 」のイベントが行われましたが、この中でパネルディスカッションに参加させていただきました。パネルディスカッションでご一緒させていただいた萩本さん、平鍋さん、高崎さん、会場の皆さん、どうもありがとうございました。 パネルデ...
2015年7月27日月曜日

[SDN]List性能問題

›
懸案だったMonadic Programming、Functional Reactive Programmingもある程度目処がついてきたこともあり、要件定義で作成されたモデルを実装に落とし込むという流れの中での総合的なScalaプログラミングの方法論をScala Design ...
2015年6月29日月曜日

[FP] Scalaへの道

›
先日、社内勉強会でScala的なプログラムにするためには、という話題が出たのでそのまとめです。 例題 勉強会で出たプログラム例をまとめて例題を作りました。 テキストファイル内の欧文単語を単語の長さで以下の三種類に分類してオブジェクトに設定する 短 : 3文字以下 中 : 7文字以...
2015年6月22日月曜日

[FP] パイプライン・プログラミング

›
関数型プログラミングとは何か？ この問は深遠すぎてとてもボクの手には負えませんが、実務的なプラクティスとしてはパイプライン・プログラミングとして考えると分かりやすいのではないかと思います。 そこでScalaでのパイプライン・プログラミングの選択肢を整理してみました。 関数呼び出し...
2015年6月15日月曜日

野毛倶楽部夜会：超高速開発

›
野毛倶楽部(横浜クラウド勉強会) は土曜の昼に行うチュートリアル的な技術セッション(+夜学)を中心に活動してきましたが、これに加えて先端技術についてオフレコで語り合う場として新たに夜会を始めることにしました。 先週の月曜(6月8日)はその第1回で ジャスミンソフト の贄さんを招い...