ExcelProviderとダックタイピングで似て非なるEXCELから共通データを取り出す

実践

ExcelProviderインストール

NuGetでExcelProviderをインストールします。

データの準備

使用するデータは以下としました。
実際にはもっとたくさんファイル・シート・列の種類がありましたが、簡略化しています。
DB1とDB2では、DB1のみ内径が存在します。

型プロバイダによる型生成

EXCELファイルから、型プロバイダにより型を取得します。
ファイル名、シート名、範囲を指定するだけで簡単です。

module DuckTyping

open FSharp.Interop.Excel

type Db1 = ExcelFile<"./Book.xlsx", "DB1", "B4:E8">
type Db2 = ExcelFile<"./Book.xlsx", "DB2", "B4:E8">

上記のように記述するだけで、型が生成されます。
Db1,Db2の行に相当する型を引数にとる関数を作ってみると、インテリセンスでプロパティが確認できます。
初めてこの機能に触る人は、魔法のように感じるのではないでしょうか。

ダックタイピング

続いてダックタイピングです。

正直私もなんでこれで動くのかよくわからないというか、あまり解説できないのでそのあたりは前述の記事などご参照ください。

let inline getOuterDiameter(data: ^a when ^a : (member 外径 : float)) = 
    (^a : (member 外径 : float) data)

記法がとても難解です。
inline を忘れるとうまくいきません。
コンパイル時に解釈できる必要があるためのようです。

これを用いることで、型が違っていたDB1,DB2で同じ関数を通じて外径を取得することができるようになりました。

この例だとあまりわかりませんが、getOuterDiameterがもっと複雑な、数十行の関数だったらと考えるとこのありがたみがわかります。

DB1,DB2それぞれを引数に取る似たような関数は作りたくないですし、現実にはDB1,DB2どころではなく6,7個の型がありました。

まとめ

F#でExcelProviderとDuckTypingを組み合わせてみました。

こういったことは動的型付け言語でしかできないと思っていたので、F#は選択肢からやむなくはずしていたのですが、今後は捗りそうです。
なんだかんだ言っても、列インデックスを意識しなくてよかったり、インテリセンスで各列の値にアクセスできるのは非常に楽です。

今後も使っていきたいと思います。