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 )を使う形に持ち込むのが筋がよいと思います...
2016年5月8日日曜日

Breezeで行列式

›
大規模データに対する本格的な分析を行うためには線形代数は避けて通れません。 そこでScalaで広く使われている線形代数ライブラリBreezeを調べてみることにしました。 https://github.com/scalanlp/breeze 最終的には大規模データに対して分散演算を...
2016年4月30日土曜日

型安全イコール判定 - ScalazとScalactic

›
Scalaプログラミングのはまりポイントとして頻出頻度が高く影響も甚大なのは、＝＝メソッドとcontainsメソッドの型チェックだと思います。 この2つのメソッドは(多分Javaとの互換性の問題で)、引数に定義されている型がAnyであるため事実上型チェックが効かない仕様になってい...
2016年3月31日木曜日

State的状態機械2016

›
昨年Scalaにおける状態機械の実装戦略について以下の記事で検討しました。 Scala的状態機械/OOP編 Scala的状態機械/FP編 OOP編はcase classで作った汎用の状態機械オブジェクトをOOP的な枠組みで利用しました。 そして、FP編ではOOP編で作った汎用の状...
2016年2月29日月曜日

ScalaでXSLT

›
Scalaで半構造データ的なデータ処理に対してどのようなアプローチをとっていくのかは重要な論点の一つだと思いますが、引き続きXMLも有力な選択肢だと思います。 XMLはXML文書をプログラム内にデータ構造として取り込むだけだとあまり面白みはありませんが、XPath, XSLT, ...