Download as PDF, PPTX
![F#ってこんな言語1 -- 冗語構文
// 行コメントが使える
let someFunction arg =
let x = f arg in // let式はinが必要
let y = g arg in
[ x; // リストの要素の区切りには;が必要
y ]](https://image.slidesharecdn.com/f-160617012457/75/F-11-2048.jpg)
![F#ってこんな言語1 -- 軽量構文
// 行コメントが使える(ので、//演算子は定義できない・・・)
let someFunction arg =
let x = f arg // 軽量構文ではinが不要
let y = g arg
[ x // 軽量構文では;を改行+インデントで代替可能
y ]](https://image.slidesharecdn.com/f-160617012457/75/F-12-2048.jpg)
![F#ってこんな言語2 -- コードクォート
let expr =
<@ let x = 42
Console.WriteLine(x.ToString()) @>
// Let (x,
// Value (42),
// Call (None,
// WriteLine,
// [Call (Some (x), ToString, [])]))](https://image.slidesharecdn.com/f-160617012457/75/F-19-2048.jpg)
![F#ってこんな言語2 -- 言語内DSLの例
// F#向けテスティングフレームワーク
let ``f should throw HogeException`` = test {
let! e = trap { it (f ()) }
do! e.GetType() === typeof<HogeException>
}
let ``g should return correct list`` =
let test (arg, expected) = test {
do! g arg === expected
}
parameterize {
source [
(0, [])
(1, [0])
(2, [0; 1])
]
do! test
}](https://image.slidesharecdn.com/f-160617012457/75/F-22-2048.jpg)
![F#ってこんな言語2 --- 消去型TPの例
type RecordRegex = Regex< @"(?<Name>^[^,]+),s*(?<Address>.+)" >
let res = RecordRegex().Match("山田太郎, どこか")
let name = res.Name.Value
let address = res.Address.Value
(* コンパイルすると、下記のコードと同じコードに展開される *)
// RecordRegexという型は消える
let res =
Regex(@"(?<Name>^[^,]+),s*(?<Address>.+)").Match("山田太郎, どこか")
// 型のプロパティとして見えていたものはただのインデクサを使ったアクセスへ
let name = res.Groups.["Name"].Value
let address = res.Groups.["Address"].Value](https://image.slidesharecdn.com/f-160617012457/75/F-25-2048.jpg)
More Related Content
F#の基礎(？)
- 1.
- 2.
- 3.
- 4.
- 5.
- 6. F#ってこんな言語1 ・.NET系言語 (C# /VB) ・OCamlを参考にした構文 ・静的型 / 型推論 ・メインパラダイムは関数型
- 7. ・VB ・etc F#ってこんな言語1 - .NET系言語 ・コンパイルするとIL(中間言語)になる ・ILは.NETRuntime上で動く ・ILを吐く言語との相互運用可能 ・C#
- 8.
- 9.
- 10.
- 11. F#ってこんな言語1 -- 冗語構文 //行コメントが使える let someFunction arg = let x = f arg in // let式はinが必要 let y = g arg in [ x; // リストの要素の区切りには;が必要 y ]
- 12. F#ってこんな言語1 -- 軽量構文 //行コメントが使える(ので、//演算子は定義できない・・・) let someFunction arg = let x = f arg // 軽量構文ではinが不要 let y = g arg [ x // 軽量構文では;を改行+インデントで代替可能 y ]
- 13. F#ってこんな言語1 -- matchのネスト //OCamlerにはうれしい(?)match式のネスト match f x with | None -> None | Some x -> match g x with | None -> None | Some x -> h x
- 14.
- 15.
- 16. ・ScalaのExtractorやHaskellのview patterns F#ってこんな言語2 -アクティブパターン ・実際の構造と判別方法を切り離して定義 ・実装をアクティブパターンの後ろに隠す ・複数の判別方法の提供 ・構造のない型に構造を後付け
- 17. F#ってこんな言語2 -- アクティブパターン //アクティブパターンの定義 let (|Even|Odd|) n = if n % 2 = 0 then Even else Odd // 定義したアクティブパターンに基づいた分岐 let f = function | Even -> printfn "even" | Odd -> printfn "odd"
- 18.
- 19. F#ってこんな言語2 -- コードクォート letexpr = <@ let x = 42 Console.WriteLine(x.ToString()) @> // Let (x, // Value (42), // Call (None, // WriteLine, // [Call (Some (x), ToString, [])]))
- 20.
- 21. F#ってこんな言語2 -- Maybeモナド //ビルダーを定義して、 type MaybeBuilder () = member __.Return(x) = Some x member __.Bind(x, f) = Option.bind f x let maybe = MaybeBuilder() // 使う let someFunc arg = maybe { let! x = f arg let! y = g x let! z = h y return z }
- 22. F#ってこんな言語2 -- 言語内DSLの例 //F#向けテスティングフレームワーク let ``f should throw HogeException`` = test { let! e = trap { it (f ()) } do! e.GetType() === typeof<HogeException> } let ``g should return correct list`` = let test (arg, expected) = test { do! g arg === expected } parameterize { source [ (0, []) (1, [0]) (2, [0; 1]) ] do! test }
- 23. F#ってこんな言語2 -- TypeProvider ・コンパイル時にメタデータから型を生成 ・コードの自動生成ではない ・消去型と生成型
- 24.
- 25. F#ってこんな言語2 --- 消去型TPの例 typeRecordRegex = Regex< @"(?<Name>^[^,]+),s*(?<Address>.+)" > let res = RecordRegex().Match("山田太郎, どこか") let name = res.Name.Value let address = res.Address.Value (* コンパイルすると、下記のコードと同じコードに展開される *) // RecordRegexという型は消える let res = Regex(@"(?<Name>^[^,]+),s*(?<Address>.+)").Match("山田太郎, どこか") // 型のプロパティとして見えていたものはただのインデクサを使ったアクセスへ let name = res.Groups.["Name"].Value let address = res.Groups.["Address"].Value
- 26.
- 27. F#ってこんな言語2 -- 生成型TPの例 //実際に型が作られる type Edmx = EdmxFile<"Model.edmx"> let context = new Edmx.Model.Entities(conStr) query { for user in context.Users do where (user.Age >= 20) select user } |> Seq.iter (fun user -> printfn "%s" user.Name) (* Model.edmxを読み込み、メタデータを取得し、 メタデータをもとにdbmlファイル(!)を生成し、 SqlMetal.exeにdbmlファイルを食わせることでC#ファイルを生成(!?)。 最終的に生成されたC#ファイルをコンパイル(!?!?)している。 *)
- 28.
- 29. ・"An Atom Editorand Visual Studio Code package suite for cross platform F# development." ・などなど F#の開発環境 ・Visual Studio ・Visual F# Tools(VS標準搭載) ・Visual F# Power Tools ・Ionide
- 30. ・補完機能 ・ツールチップ ・対話環境 F#の開発環境 - VisualF# Toolsの機能 ・プロジェクトテンプレート ・参照の管理(NuGet含む) ・簡単なシンタックスハイライト ・リアルタイムのエラー表示(不完全)
- 31. ・名前の変更リファクタリング ・インデントガイドの表示 ・識別子の検索機能 F#の開発環境 - VisualF# Power Toolsの機能 ・ドキュメンテーションコメント生成 ・コード整形 ・同一識別子のハイライト ・printfのプレースホルダーに対応する識別子のハイライト
- 32. ・すべての参照箇所の検索機能 ・未openな名前空間の解決機能 F#の開発環境 - VisualF# Power Toolsの機能2 ・リッチなシンタックスハイライト ・未使用openのグレーアウト ・未使用宣言のグレーアウト ・フォルダー機能
- 33. ・メタデータへの移動 ・タスクリストコメント F#の開発環境 - VisualF# Power Toolsの機能3 ・コードの生成機能 ・インターフェイスのメソッド群 ・レコードのフィールド群 ・判別共用体のケース
- 34. ・Peek Definition F#の開発環境 -Visual F# Power Toolsの機能4 ・FSI用の参照の生成 ・クイック情報パネル ・FSharpLint統合 ・コードアウトライン機能
- 35.
- 36. F#の開発環境 - Ionideの機能2 ・プロジェクトテンプレート(F#Yeoman Generator統合) ・参照の管理(Paket統合) ・ビルド機能(FAKE統合)
- 37.
- 38.
- 39.
- 40.
- 41. ・TypeScriptではtypescriptServices.js ・F#ではFSharp.Compiler.Service (略称FCS) F#の開発環境を作るには -言語サービスの必要性 ・色付け機能すら面倒 ・言語処理系の機能に外部からアクセスできれば・・・ ・それを実現するものが「言語サービス」 ・C#/VBではRoslyn
- 42. ・プロジェクトをまたいだ解析 ・F# interactiveのホスティング ・F#コンパイラのホスティング ・ファイルシステムAPI F#の開発環境を作るには -FCSでできること1 ・ソースコードからトークン列への変換 ・型なしASTの処理 ・エディタサービス ・解決済みシンボルの解決
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.