2016年12月9日金曜日

ReaderWriterStateモナドと畳込み

›
ReaderWriterStateモナドは「 Patterns in Types - A look at Reader, Writer and State in Scala 」を見てからずっと気になっていたのですが、実務のプログラミングでも汎用的な基盤として使えるのではないかとふ...
2016年11月30日水曜日

よこはまクラウド勉強会: OFP & OFAD Deep Dive with Reactive Streams

›
Qcon Tokyo 2016 で「オブジェクト‐関数型プログラミングからオブジェクト‐関数型分析設計へ~クラウド時代のモデリングを考える」と題してOFAD(Object-Functional Analysis and Design)についてお話させていただきました。 テーマはO...
2016年10月28日金曜日

QCon Tokyo 2016

›
QCon Tokyo 2016 で「オブジェクト‐関数型プログラミングからオブジェクト‐関数型分析設計へ~クラウド時代のモデリングを考える」と題してお話させて頂きました。 上記の個人用のSlideShareは文字化けが取りきれないので、きちんと読みたい方は会社のSlideSha...
2016年10月11日火曜日

Object-Functional Analysis and Designふりかえり

›
クラウド時代のアプリケーション開発について、「 クラウド・アプリケーション・モデリング 」、「 クラウド・アプリケーション開発のモデル体系 」と考察してきました。 クラウド・アプリケーション開発では、実装時のプログラミングで「関数」が重要な構成要素となってきています。そうなると、...
2016年9月30日金曜日

クラウド・アプリケーション開発のモデル体系

›
前回「 クラウド・アプリケーション・モデリング 」ではACP(Application Cloud Platform)時代のアプリケーション開発におけるモデリングについて、開発プロセスの点から考えてみました。 今回はモデル体系(メタモデル/プロファイル)について考えてみることにしま...
2016年8月31日水曜日

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

›
製品開発を通じて色々と経験を積むことができたので、一度腰を落としてクラウドアプリケーション開発向けの開発手法について考えてみることにしました。何回かに分けて考察していきたいと思います。 考察する開発手法は以下の2つの機能で構成されています。 開発プロセス モデル体系(メタモデル)...
2016年7月31日日曜日

[SDN] Generalized type constraints

›
Scalaの持つ型機能にGeneralized type constraintsがあります。訳語がよく分からなかったのでここでは型制約と呼びます。 Scalaプログラミングの要諦は、いかにプログラムのバグをコンパイルエラーで検出するか、だとすると型制約はこの目的を進めるために有効...