2017-12-06

F# で Entity Framework Coreる

.NET F#

この記事はF# Advent Calendar 2017の5日目の記事です。遅刻しましたごめんなさい…。

F# + .NET Core + Entity Frameworkの組み合わせて開発してみたときの備忘です。もしかしたら多少古い知識が混ざっているかもれません（全部再検証するには時間がたりなかった）。

モデル定義

CLIMutableにしてEntityFramework側で処理できるようにしておきます。　また、マイグレーション機能を使うためにいくつかAttributeをつけて起きます。

open System
open System.ComponentModel.DataAnnotations
open System.ComponentModel.DataAnnotations.Schema

type UserId = int64

[<CLIMutable>]
type User = {
  [<Key; DatabaseGenerated(DatabaseGeneratedOption.Identity)>]
  Id: UserId
  [<Required; StringLength(32)>]
  Name: string
}

DBContext

だいたいC#のサンプルを翻訳していくだけです。

open Microsoft.EntityFrameworkCore
open Microsoft.Extensions.PlatformAbstractions

type HogeDbContext() =
  inherit DbContext()

  [<DefaultValue>]
  val mutable user : DbSet<User>

  static member val ConnectionString = "" with get, set

  member this.Users
    with get() = this.user
    and set v = this.user <- v

  override __.OnConfiguring(optionsBuilder: DbContextOptionsBuilder) =
    optionsBuilder.UseMySql(SpellbookLibraryDbContext.ConnectionString)
|> ignore

ここではMySQLでの例をだしましたが、他のDBでも大した違いはないはずです。

マイグレーションコード

C#であれば Microsoft.EntityFrameworkCore.Tools.DotNet をインストールしてコマンドを叩いてあげれば C# なマイグレーションコードが生成されます。

ではF#であればF#のコードをだして…くれません。

https://github.com/aspnet/EntityFrameworkCore/pull/10289

このpull requestと関連issueを読めばわかりますが、C#以外の言語はコミュニティに任せたそうな雰囲気を感じます。とはいえ、このpull requestを含む2.1.0はまだリリースされていませんし、コミュニティでツールが作成されるのもそれなりに時間がかかるでしょう。

では、マイグレーションを諦めるのか…といえば、いやいや、方法はあります。

マイグレーション部分だけC#でやる
生成されたC#コードをすべてF#に書き直す

後者に関しては、F#で書いたモデルクラスからもマイグレーションコードを生成できるので、マイグレーションコードさえなんとかしてしまえば良いわけです。

ただし、2テーブルの作成に200行ほどのF#を書かないといけないので労力に見合っていないのがネックです。

気合で書くか、待つか、ツールを実装するか。お好みのものをお選び下さい。

2017-12-02

F# erがOCamlを触ってみた感想

OCaml

これは ML Advent Calendar 2017 2日目の記事です。

ここ半年ほど、とある社内勉強会でOCamlを使っているのでその感想をしたためておきます。さほど中身のない内容ですがご容赦ください…。

ビルドツール等は5年くらい前に比べると格段に良くなった気がする
- opam強い
- が、jbuilderが便利かどうかはわからない…
コンパイル早い
- F#比
エディタどうするべきかは未だ模索中
- やはりemacsにすべきなのか…？
コンパイルエラーのメッセージがわかりにくい気がする？
- 慣れの問題？
functor便利
- なんでF#にないんや…
第一級モジュール便利
- F#にもほしい
overloadがなくてもなんとかなることを教えてくれる
- 楽かどうかは別問題
F#のノリで書くとだいたいミスする
- よくinを書き忘れる
- 括弧（あるいはbegin end）が必要な部分に気付かないことが多い
いわゆる函数型言語を触った人ならなんとなくで書けそうな雰囲気
- 知識の流用がしやすい（当然といえば当然）
- 私が凝ったことをしていないだけ説はある

あと、プライベートな時間にppxを触ってみましたが使いどころが難しい…。コンピュテーション式もどきを作ろうとしたのですが、なかなか良い感じにできずお蔵入りしてしまいました。

誰かppxハンズオンしてくだされ～。

2017-11-11

新しい言語を触り始めた時に実装してみるもの一覧

その他

ajitofm 13に「言語を学ぶ時に練習で何を実装してみるか」みたいな話が出ていた。で、自分は何やっているかなーと思ったので書き出してみる。

全部やるってわけではなく、目的に応じていくつかやってみる感じ。

parser combinator
- パフォーマンスを求めないなら数日で実装できる
- 文字列操作
- 最適化の練習（文字列編）
JSON serializer
- parser combinatorを使って何かやってみる時の定番？
- quickcheck的なライブラリを練習するのにちょうど良い
binary serializer
- バイナリ操作
- マクロ
- 最適化の練習（バイナリ編）
- msgpackが仕様の大きさ的にやりやすい？
データ構造
- ひとつひとつは小さいので練習しやすい
- データ構造、アルゴリズムの復習を兼ねる
TODOリスト
- Webフレームワーク
- DB
- logging
テスティングフレームワーク、アサーション
- リフレクション、メタプログラミング
- AST変換（power assertもどきを題材に）
- 同値比較の考察に便利？
- 完成度は重視しない