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プログラミングの要諦は、いかにプログラムのバグをコンパイルエラーで検出するか、だとすると型制約はこの目的を進めるために有効...
2016年6月30日木曜日

foldの小技

›
関数型プログラミングではfold系の畳込み処理が多用されます。 composableという観点からはMonoid ( Scala Tips / multiplication ) やState Monad ( State的状態機械2016 )を使う形に持ち込むのが筋がよいと思います...