let ns = "MyNamespace"
let asm = Assembly.GetExecutingAssembly()

let private newProperty t name getter isStatic = ProvidedProperty(name, t, getter, isStatic = isStatic)
let private newStaticProperty t name getter = newProperty t name (fun _ -> getter) true
let private newInstanceProperty t name getter = newProperty t name (fun _ -> getter) false
let private addStaticProperty t name getter (``type``:ProvidedTypeDefinition) = ``type``.AddMember (newStaticProperty t name getter); ``type``
let private addInstanceProperty t name getter (``type``:ProvidedTypeDefinition) = ``type``.AddMember (newInstanceProperty t name getter); ``type``

[<TypeProvider>]
type TypeProvider(config : TypeProviderConfig) as this =
    inherit TypeProviderForNamespaces(config)

    let provider = ProvidedTypeDefinition(asm, ns, "Provider", Some typeof<obj>, hideObjectMethods = true)
    let tags = ProvidedTypeDefinition(asm, ns, "Tags", Some typeof<obj>, hideObjectMethods = true)
    do [1..2000] |> Seq.iter (fun i -> addInstanceProperty typeof<int> (sprintf "Tag%d" i) <@@ i @@> tags |> ignore)

    do provider.DefineStaticParameters([ProvidedStaticParameter("Host", typeof<string>)], fun name args ->
        let provided = ProvidedTypeDefinition(asm, ns, name, Some typeof<obj>, hideObjectMethods = true)
        addStaticProperty tags "Tags" <@@ obj() @@> provided |> ignore
        provided
    )

    do this.AddNamespace(ns, [provider; tags])

module Common
open MyNamespace

type Provided = Provider<"">
let providedTags = Provided.Tags

type LocalTags() =
    member this.Tag1 with get() : int = 1
    member this.Tag2 with get() : int = 2
.
.
    member this.Tag1999 with get() : int = 1999
    member this.Tag2000 with get() : int = 2000

let localTags = LocalTags()

module Tests

open Common
open Xunit

[<Fact>]
let ProvidedTagsTest () =
    Assert.Equal<int>(providedTags.Tag1001, 1001)

[<Fact>]
let LocalTagsTest () =
    Assert.Equal<int>(localTags.Tag100, 100)