Come ottenere il tipo del modulo in F #

Question

Come ottenere "System.Type" del modulo?

Per il modulo esempio:

module Foo = 
    let bar = 1 

E questo non funziona:

printfn "%s" typeof<Foo>.Name 

errore è:

The type 'Foo' is not defined 

Answer 1

Sarebbe certamente bello avere un operatore di moduleof .. Dato che non ce n'è uno, il modo più semplice per fare ciò che vuoi è probabilmente usare la libreria Metadata in F # PowerPack:

#r "FSharp.PowerPack.Metadata.dll" 
open Microsoft.FSharp.Metadata 

// get .NET assembly by filename or other means 
let asm = ... 

let fasm = FSharpAssembly.FromAssembly asm 
let t = fasm.GetEntity("Foo").ReflectionType 

Purtroppo, questo non funzionerà con gruppi dinamici (come quelli generati tramite F # interattivo). Puoi fare qualcosa di simile usando le chiamate vaniglia System.Reflection, ma questo dipende più da una buona comprensione del modulo compilato che prende il tuo modulo.

Answer 2

nome modulo non è un tipo.

List in List.map e let (a:List<int>) = [1;2;3] sono diversi.

Il primo List è un nome di modulo, il secondo è un tipo.

Answer 3

Si potrebbe aggiungere un tipo di marcatore al modulo e quindi scoprire il tipo di modulo da quella:

module Foo = 
    type internal Marker = interface end 
    let t = typeof<Marker>.DeclaringType 

Answer 4

Può anche essere fatto utilizzando Quotations. In primo luogo, definire questa funzione di supporto da qualche parte:

open Microsoft.FSharp.Quotations.Patterns 

let getModuleType = function 
| PropertyGet (_, propertyInfo, _) -> propertyInfo.DeclaringType 
| _ -> failwith "Expression is no property." 

Quindi, è possibile definire un modulo e ottenere il suo tipo come questo:

module SomeName = 
    let rec private moduleType = getModuleType <@ moduleType @> 

Spero che questo aiuti.