さらに別の値の制限質問

Question

Seq.generateUniqueのコードは((Assembly -> seq<Assembly>) -> seq<Assembly> -> seq<Assembly>)であることが制限されています。

open System 
open System.Collections.Generic 
open System.Reflection 

module Seq = 
    let generateUnique = 
    let known = HashSet() 
    fun f initial -> 
     let rec loop items = 
     seq { 
      let cachedSeq = items |> Seq.filter known.Add |> Seq.cache 
      if not (cachedSeq |> Seq.isEmpty) then 
      yield! cachedSeq 
      yield! loop (cachedSeq |> Seq.collect f) 
     } 
     loop initial 

let discoverAssemblies() = 
    AppDomain.CurrentDomain.GetAssemblies() :> seq<_> 
    |> Seq.generateUnique (fun asm -> asm.GetReferencedAssemblies() |> Seq.map Assembly.Load) 

let test() = printfn "%A" (discoverAssemblies() |> Seq.truncate 2 |> Seq.map (fun asm -> asm.GetName().Name) |> Seq.toList) 
for _ in 1 .. 5 do test() 
System.Console.Read() |> ignore 

私はそれが一般的なように好きですが、その使い方とは別にファイルにそれを置くことは値制限エラーを生成したい：明示的な型パラメータ（let generateUnique<'T> = ...）を追加

Value restriction. The value 'generateUnique' has been inferred to have generic type val generateUnique : (('_a -> '_b) -> '_c -> seq<'_a>) when '_b :> seq<'_a> and '_c :> seq<'_a> Either make the arguments to 'generateUnique' explicit or, if you do not intend for it to be generic, add a type annotation.

はエラーを排除しかし、今は別の結果を返します。 typeパラメータ（正しい/希望の動作）なし

出力：

["mscorlib"; "TEST"] 
["FSharp.Core"; "System"] 
["System.Core"; "System.Security"] 
[] 
[] 

とと：

["mscorlib"; "TEST"] 
["mscorlib"; "TEST"] 
["mscorlib"; "TEST"] 
["mscorlib"; "TEST"] 
["mscorlib"; "TEST"] 

なぜ行動変容していますか？どのようにして汎用機能とを目的の動作にすることができますか？

Answer 1

generateUniqueたくさん標準memoizeパターンのようなものです：実際のキャッシュ自体をしないで、通常の機能からメモ化関数を計算するのに使用されなければなりません。

@kvbは、このシフトのために必要な定義の変更について正しかったが、その後、あなたは次のようにdiscoverAssembliesの定義を変更する必要があります。

let discoverAssemblies = 
    //"memoize" 
    let generator = Seq.generateUnique (fun (asm:Assembly) -> asm.GetReferencedAssemblies() |> Seq.map Assembly.Load) 

    fun() -> 
     AppDomain.CurrentDomain.GetAssemblies() :> seq<_> 
     |> generator 

Answer 2

私はあなたの定義がかなり正しいとは思わない：fはgenerateUniqueの構文上の引数である必要があると私には思われます（つまり、同じものを使用することは意味がないと思います。 f）。したがって、簡単な修正は次のとおりです。

let generateUnique f =  
    let known = HashSet()  
    fun initial ->  
     let rec loop items =   
      seq {   
       let cachedSeq = items |> Seq.filter known.Add |> Seq.cache   
       if not (cachedSeq |> Seq.isEmpty) then    
        yield! cachedSeq    
        yield! loop (cachedSeq |> Seq.collect f)   
      }  
     loop initial