Поставщик типа F # - "только возвращаемые сгенерированные типы"

Попытка кодировать числа peano типа на основе типа поставщика:

namespace TypeProviderPlayground

open System
open Microsoft.FSharp.Core.CompilerServices
open System.Runtime.CompilerServices

[<assembly: TypeProviderAssembly()>]
do()

type Z = class end
type 'a S = class end
type N = class end

[<TypeProvider>]
type PeanoProvider(s: TypeProviderConfig) =
    let invalidate = Event<_,_>()
    interface ITypeProvider with
        member x.ApplyStaticArguments(typeWithoutArguments, typeNameWithArguments, staticArguments) =
            let n : int = unbox staticArguments.[0]
            [1..n] |> List.fold (fun s _ -> typedefof<S<_>>.MakeGenericType [| s |]) typeof<Z>
        member x.GetNamespaces() = 
            let ns = 
                { new IProvidedNamespace with
                    member x.GetNestedNamespaces() = [||]
                    member x.GetTypes() = [||]
                    member x.ResolveTypeName t =
                        if t = "N"
                            then typeof<N>
                            else null
                    member x.NamespaceName = "Peano" }
            [| ns |]
        member x.GetStaticParameters t =
            let p = 
                { new Reflection.ParameterInfo() with
                    member z.Name = "number"
                    member z.ParameterType = typeof<int> }
            [| p |]

        [<CLIEvent>]
        member x.Invalidate = invalidate.Publish
        member x.Dispose() = ()
        member x.GetInvokerExpression(syntheticMethodBase, parameters) = 
            raise <| NotImplementedException()

Тип N - это просто манекен, иначе я не смог бы получить его, чтобы пройти через поставщика типов. Код потребителя:

open TypeProviderPlayground

[<Generate>]
type S<'a> = Peano.N<5>

И я получаю эту ошибку:

error FS3152: The provider 'TypeProviderPlayground.PeanoProvider' returned a non-generated type
'TypeProviderPlayground.S`1[[TypeProviderPlayground.S`1[[TypeProviderPlayground.S`1[[TypeProviderPlayground.S`1[[TypeProviderPlayground.S`1[[TypeProviderPlayground.Z, TypeProviderPlayground, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null]], TypeProviderPlayground, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null]], TypeProviderPlayground, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null]], TypeProviderPlayground, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null]], TypeProviderPlayground, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null]]' 
in the context of a [<Generate>] declaration. Either remove the [<Generate>] declaration or adjust the type provider to only return generated types.

Что говорит, что тип был правильно построен (Z S S S S S), но по какой-то причине компилятор не примет его как "сгенерированный тип".

Если я удалю атрибут [<Generated>], я получаю еще одну ошибку, сообщающую мне добавить его.

Означает ли это, что поставщики типов будут работать только с динамически испускаемыми типами (что кажется странным требованием при первом румянце)?

Кроме того, если я это сделаю:

[<Generate>]
type WW<'a> = Peano.N<5>

Я получаю сообщение об ошибке WW'1, но возвращается S'1. Почему возвращаемый тип (провайдером типа) должен соответствовать имени типа, которое я объявляю у потребителя?

Ответы

Ответ 1

Есть несколько важных вещей, чтобы понять о поставщиках типов. Прежде всего, существует два типа предоставляемых типов:

  • Сгенерированные типы - это реальные типы .NET, которые внедряются в сборку, которая использует поставщика типов (это то, что поставщики типов, которые используют инструменты генерации кода, такие как sqlmetal)
  • Стираемые типы - это моделируемые типы, которые представляются другим типом при компиляции кода.

Как и хедз-ап, механизмы контроля этого различия все еще немного в воздухе. В предварительном просмотре вам нужно использовать атрибут [<Generate>] в сборке, в который встроены сгенерированные типы, и вы не должны использовать атрибут [<Generate>] при использовании стираемого предоставленного типа. Я верю (но не могу точно помнить), что на предоставленной конечной сгенерированной основе определяется на основе свойства типа Assembly.

Кроме того, имейте в виду, что при внедрении API необязательно использовать фактические типы (например, через typeof<X>) - вы часто захотите использовать пользовательские типы, полученные из System.Type. Существует множество инвариантов, которые должны быть удовлетворены среди разных методов. API-интерфейс исходного типа не прост в использовании - я бы предложил дождаться появления некоторых примеров, которые используют более удобную оболочку API (которая, я надеюсь, должна состояться в течение следующих нескольких недель).

Сказав, что из быстрого взгляда здесь, по крайней мере, несколько вещей в вашем текущем подходе, которые выглядят неправильно:

  • Тип, возвращаемый с ApplyStaticArguments, не имеет того же имени, что и аргумент typeNameWithArguments. Вероятно, именно поэтому вы получаете сообщение об ошибке с именами типов.
  • Вы пытаетесь использовать аббревиатуру типа, которая создает общий тип (например, WW<'a>) из не общего типа (например, S<S<S<S<S<Z>>>>>).

Ответ 2

Забыл обновить: действительно, отсутствовал флаг типа "стертый" (TypeProviderTypeAttributes.IsErased) в моем "экспортированном" типе. Я положил эксперименты на github.