Fun Fan Fsharp の発表資料

1. 型プロバイダー開発
ハンズオン
【第五回】 Fun Fan Fsharp 発表資料

2. 自己紹介
京德 優希 （きょうとく ゆうき）
１９９４年１２月２０日生まれ（現在２７歳）
Twitter : ゆきあん@snowapricot47
F#は2017年からかな
現在休職中（２月～６月？）
復職、転職の決断をする

3. 背景
型プロバイダー面白そう
自分がインプットしたことをアウトプットしたい
調べていくうち、私の言いたいことをほとんど言わ
れているという気持ち

4. 型プロバイダーとは
メタデータを与えて型を生成できる
・ローカルにあるCSVのファイルから型を作ったり
・ネットワークからJsonを受け取って型を作ったり
IDEと組み合わせるとコード補完が効く
コンパイル時計算としても使える

5. 今回のスコープ
1. 型プロバイダーのテンプレートの使い方
2. 型プロバイダーの作り方
3. 実際にやってみる

6. 型プロバイダーのテンプレートの使い方
dotnet new -i FSharp.TypeProviders.Templates
dotnet new typeprovider –o [プロジェクト名]
cd [プロジェクト名]
いくつかのファイルを修正する
dotnet tool restore
dotnet paket update
dotnet build
ProvidedTypes.fs/fsi をプロジェクトに追加したいっぽい
paket を使っていい感じに解決してくれている

7. 型プロバイダーのテンプレートの使い方
以下のファイルを修正した方がいいかも
global.json
sdkのバージョンを「5.0.400」から変更
paket.dependencies
Fsharp.Coreのバージョンを「4.7.2」から変更
src/[パッケージ名].Runtime
Fsharp.Coreのバージョンを「4.7.2」から変更

8. 自分で型プロバイダーを作成する
主にDesignTime.fsを触ることになる
TypeProviderForNamespacesを継承したクラスを作る
TypeProvider属性を付ける
TypeProviderConfigとassemblyReplacementMapについては、
今回はおまじないと思ってもらって（今回は使わないので
後々使うものをついでに定義しておく(ns, asm)
[<TypeProvider>]
type SampleProvider (config : TypeProviderConfig) as this =
inherit TypeProviderForNamespaces (config,
assemblyReplacementMap=[("SampleProvider.DesignTime", "SampleProvider.Runtime")])
let ns = "SampleNamespace"
let asm = Assembly.GetExecutingAssembly()

9. 自分で型プロバイダーを作成する
1. 型を作る関数を作る
1. 型名と引数を受け取れるようにする
2. 型を作る
3. 型にメンバーを追加する
4. 型を返す
2. 静的パラメータを受け取る処理を作る
3. 名前空間に追加する

10. 型を作る
ProvidedTypeDefinitionで定義する
必要そうなものだけピックアップ
引数名 型名 指定内容
assembly Assembly 型を含めるアセンブリ
namespaceName string 名前空間名
className string クラス名
baseType Type option 基底クラス
hideObjectMethods bool option Objectクラスのメソッドを使わないならtrue
isErased bool option 消去型ならtrue 生成型ならfalse

11. 型にメンバーを追加する
以下の型を作成し、AddMemberで加える
よく使うものをピックアップ
型名(Provided) 名称指定 引数指定 型指定 コード指定
Constructor なし parameters なし invokeCode
Property propertyName なし propertyType getterCode
setterCode
Method methodName parameters returnType invokeCode

12. 型にメンバーを追加する
コード指定はExpr型を利用している
コードクォートとスプライス演算子の知識が必要
Exprを作るときは <@@ @@> で囲む
Exprから取り出すときは %% を前につける
let expr1: Expr = <@@ 3 :> obj @@>
let expr2: Expr = <@@ %%expr1 @@>
let f (expr: Expr): Expr = <@@ (%%expr :> obj) :?> int @@>

13. 静的パラメータを受け取る処理を作る
型を作り、DefineStaticParametersを呼び出す
基本的には型を作る関数を呼び出すだけ
静的パラメータはobjのため、キャストして渡す
let provider = ProvidedTypeDefinition(asm, ns, “MyProvider”,
Some typeof<obj>, isErased=false)
provider.DefineStaticParameters(
[ProvidedStaticParameter("count", typeof<int>)],
fun typeName args -> createType typeName (args[0] :?> int)
)

14. 名前空間に追加する
this.AddNamespaceを呼び出すだけ
名前空間、作成した型のリストを渡す
Provided～はAddXmlDocでコメントを付けられる
provider.AddXmlDoc("<sammary> ドキュメント</sammary>")
do this.AddNamespace(ns, [provider])

15. ハンズオン！
さすがにブラウザ環境ではできないのVSCodeで
以下の流れで行きます
1. 自分で作ったものを実演
2. プロジェクト作成から完成まで

16. 参考になるページ
The F# Type Provider SDK (fsprojects.github.io)
https://fsprojects.github.io/FSharp.TypeProviders.SDK/
Type Providers From the Ground Up - Mavnn's blog
https://blog.mavnn.co.uk/type-providers-from-the-ground-up/
なごやまつりでF# Type Providerについて(?)話してきた - ぐるぐ
る～ (hatenablog.com)
https://bleis-tift.hatenablog.com/entry/ngmatsuri
型プロバイダー(TypeProviders)のちょっとしたアレコレ - Bug
Catharsis (hatenablog.com)
https://zecl.hatenablog.com/entry/TypeProvderArekore

17. ご視聴ありがとうございました
感想とかもらえると嬉しいです（励みになります）