Recommended
More Related Content
What's hot
What's hot (20)
Similar to F#の基礎(？)
Similar to F#の基礎(？) (20)
More from bleis tift
More from bleis tift (20)
Recently uploaded
Recently uploaded (11)
F#の基礎(？)
- 5. F#について
- 6. F#ってこんな言語1 ・.NET系言語 (C# / VB) ・OCamlを参考にした構文 ・静的型 / 型推論 ・メインパラダイムは関数型
- 7. ・VB ・etc F#ってこんな言語1 - .NET系言語 ・コンパイルするとIL(中間言語)になる ・ILは.NET Runtime上で動く ・ILを吐く言語との相互運用可能 ・C#
- 8. ・末尾呼び出しのための命令(prefix)を持っていたりする ・コンストラクタ呼び出しとメソッド呼び出しは別命令 ・(F#では統一的に扱える) ・メソッド呼び出しは2種類(call/callvirt)ある ・関数ポインタ経由での呼び出し含めると3種類(calli) F#ってこんな言語1 -- IL ・スタックマシン ・評価スタック / 呼び出しスタック ・オブジェクトヒープ ・ローカル変数ストア
- 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
- 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"
- 19. F#ってこんな言語2 -- コードクォート let expr = <@ let x = 42 Console.WriteLine(x.ToString()) @> // Let (x, // Value (42), // Call (None, // WriteLine, // [Call (Some (x), ToString, [])]))
- 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 -- Type Provider ・コンパイル時にメタデータから型を生成 ・コードの自動生成ではない ・消去型と生成型
- 25. 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
- 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. F#の開発環境
- 29. ・"An Atom Editor and Visual Studio Code package suite for cross platform F# development." ・などなど F#の開発環境 ・Visual Studio ・Visual F# Tools(VS標準搭載) ・Visual F# Power Tools ・Ionide
- 30. ・補完機能 ・ツールチップ ・対話環境 F#の開発環境 - Visual F# Toolsの機能 ・プロジェクトテンプレート ・参照の管理(NuGet含む) ・簡単なシンタックスハイライト ・リアルタイムのエラー表示(不完全)
- 31. ・名前の変更リファクタリング ・インデントガイドの表示 ・識別子の検索機能 F#の開発環境 - Visual F# Power Toolsの機能 ・ドキュメンテーションコメント生成 ・コード整形 ・同一識別子のハイライト ・printfのプレースホルダーに対応する識別子のハイライト
- 32. ・すべての参照箇所の検索機能 ・未openな名前空間の解決機能 F#の開発環境 - Visual F# Power Toolsの機能2 ・リッチなシンタックスハイライト ・未使用openのグレーアウト ・未使用宣言のグレーアウト ・フォルダー機能
- 33. ・メタデータへの移動 ・タスクリストコメント F#の開発環境 - Visual F# Power Toolsの機能3 ・コードの生成機能 ・インターフェイスのメソッド群 ・レコードのフィールド群 ・判別共用体のケース
- 34. ・Peek Definition F#の開発環境 - Visual F# Power Toolsの機能4 ・FSI用の参照の生成 ・クイック情報パネル ・FSharpLint統合 ・コードアウトライン機能
- 36. F#の開発環境 - Ionideの機能2 ・プロジェクトテンプレート(F# Yeoman Generator統合) ・参照の管理(Paket統合) ・ビルド機能(FAKE統合)
- 38. F#の開発環境を作るには
- 40. F#の開発環境を作るには - 色付け2 ・コードを自分で構文解析して、トークン列からキーワード を探して色を付ける? ・言語がバージョンアップしたら構文解析も更新? ・文脈に依存するキーワードは?
- 41. ・TypeScriptではtypescriptServices.js ・F#ではFSharp.Compiler.Service (略称FCS) F#の開発環境を作るには - 言語サービスの必要性 ・色付け機能すら面倒 ・言語処理系の機能に外部からアクセスできれば・・・ ・それを実現するものが「言語サービス」 ・C#/VBではRoslyn
- 42. ・プロジェクトをまたいだ解析 ・F# interactiveのホスティング ・F#コンパイラのホスティング ・ファイルシステムAPI F#の開発環境を作るには - FCSでできること1 ・ソースコードからトークン列への変換 ・型なしASTの処理 ・エディタサービス ・解決済みシンボルの解決