System.Tuple`2とか

System.Tupleと表示させたい

• C#で定義されたGenericなネストしたクラス
  • 検索
  • 表示

• property
• indexed property
• field

Examples

1. 'a -> 'b
   • match
     • 'a -> string
     • 'a -> 'a
     • 'a -> int * int
     • int * int -> int
     • ('a -> 'b) -> 'c
     • ('a -> 'b)
     • 'a -> ('b -> 'c)
   • not match
     • 'a -> 'b -> 'c
     • 'a -> ('b -> 'c) -> 'd
2. 'a -> string
   • match
     • 'a -> string
     • int -> string
   • not match
     • string -> int
     • 'a -> 'b
3. 'a seq -> 'b
   • match
     • 'a seq -> 'a
     • 'a seq -> int
   • not match
     • 'a list -> 'a

Search functions named map

map: _

Search functions named map and that has the signature

map: ('a -> 'b) -> 'a list -> 'b list

'a -> 'a で nativeptr<'T> -> 'T が出てくる
('a -> 'b) -> 'a option -> 'b option で Option.bind が出てくる
('a -> 'b option) -> 'a option -> 'b option で Option.map が出てくる

• ? -> ? -> string引数を2つ受け取ってstringを返す関数
• ?a -> ?a -> string同じ型の引数を2つ受け取ってstringを返す関数
• 型名は型名、型変数は型変数同士でのみマッチするように変更する
• 現在の挙動はオプション化
  • 型を固定したいときは!int、!'a

• 制約を考慮したマッチング、制約をロード
  • Subtype constraints
    • 'a -> 'a というクエリで #seq<int> -> int というシグネチャをテストすると失敗するはず
  • Nullness constraints
  • Member constraints
  • Default constructor constraints
  • Value type constraints
  • Reference type constraints
  • Equality constraints
    • array
  • Comparison constraints
    • array
    • IntPtr, UIntPtr
  • and (テスト書く)
• 対応しないがロードだけする
  • Enumeration constraints
  • Delegate constraints
  • Unmanaged constraints
• C# の制約をロードできるかテストする
  • <A, B> when A : Bの挙動に注意する
• QueryTypes.TupleはSystem.Tupleとして振る舞う
• 結果に制約を表示する

LINK: https://msdn.microsoft.com/ja-jp/library/dd233203.aspx

'a and int : 1

int and int : 0

'a and 'x -> 'y: 2

ﾅﾄﾞﾅﾄﾞ

警告にするなどしたほうが良いのでは？

type A() =
  member this.Method (x: int) (y: int) -> 0

名前で検索すると

A.Method: int -> int -> int

と表示はされるが検索に出てこない

• classからstatic method を抽出する
• classからstatic peroperty, field は抽出しない
• classからF# constructorを抽出する 'a -> SomeClass
• classからC# constructorを抽出する 'a -> unit
• 内部クラスからstatic methodを抽出する
• 'a -> 'b -> 'c というクエリで検索する

intを受け取るActivePattern一覧とか取得できると嬉しい

op_Equalityを( = )など

c<b<a>>と同じ

example: System.String -> System.String

example

• [<MeasureAnnotatedAbbreviationAttribute>]に注意？

string <-> System.String

Ref.contents

• type
• type abbreviation
• union
• link
  • type
  • type abbreviation
• wildcard dose not match type def and type abbreviation

どっちにしよう？

• 専用構文導入(a,b,c)->d
• 相互にマッチするようにする（編集距離加算）

• ある型に対応してる（っぽい）Builderクラスを探す
• ある構文に対応している（っぽい）Builderクラスを探す

クエリ

query : { syntax-list } : type
syntax-list : syntax | syntax ; syntax-list
syntax : let! | do! ...

• 検索
• 結果に対応している構文一覧を出力する
• CustomOperation

制限
#103 型拡張を使ったコンピュテーション式

アプリを実行して初期化が完了するまでに時間が(@hafuuの環境で3.0秒)掛かる。
並列化して短くできないだろうか？

計測方法

FSharpApiSearchClient.fsのコンストラクタにStopwatchを挟む。その後ReleaseビルドしたFSharpApiSearch.Consoleを実行する。

type FSharpApiSearchClient (targets: string seq, dictionaries: ApiDictionary seq) =
  let sw = System.Diagnostics.Stopwatch.StartNew()
  let targetAssemblies = dictionaries |> Seq.filter (fun x -> targets |> Seq.exists ((=)x.AssemblyName)) |> Seq.toList
  let apis = targetAssemblies |> Seq.collect (fun x -> x.Api) |> Seq.cache
  do apis |> Seq.iter (fun _ -> ())
  let abbreviationTable = dictionaries |> Seq.collect (fun x -> x.TypeAbbreviations) |> Seq.toList
  do sw.Stop(); printfn "%d [ms]" sw.ElapsedMilliseconds

試したこと

x.Apiの評価をアセンブリ毎に並列化してみた。2.2秒に短縮された。

type FSharpApiSearchClient (targets: string seq, dictionaries: ApiDictionary seq) =
  let sw = System.Diagnostics.Stopwatch.StartNew()
  let targetAssemblies = dictionaries |> Seq.filter (fun x -> targets |> Seq.exists ((=)x.AssemblyName)) |> Seq.toList
  let apis =
    targetAssemblies
    |> Seq.map (fun x -> async { return Seq.toArray x.Api })
    |> Async.Parallel
    |> Async.RunSynchronously
    |> Seq.collect id
    |> Seq.toArray
  let abbreviationTable = dictionaries |> Seq.collect (fun x -> x.TypeAbbreviations) |> Seq.toList
  do sw.Stop(); printfn "%d [ms]" sw.ElapsedMilliseconds

プロファイリング

ApiLoader.fsの317行目、FSharpEntity.MembersFunctionsAndValuesの呼び出しが遅いようだ。

• Type Extension
• ExtensionAttribute

namespace, module, class...

Examples

System.* : _
List.* : _

Collections.List.Head

ではなく

Collections.List<'T>.Head

CompilerServiceではC#のフィールドを読み込めないのでリフレクションを使ってフィールドを読み込む

• class
• interface
• constructor as static method
• instance method
• instance peroperty
• instance field
• static method
• static property
• static field
• overloads
• primitive type abbreviation (int, float ...)