Определите абстрактный класс, который наследовал infterface, но не реализует его

слияние leppies обратная связь, которую это компилирует - но IMO некоторые недостатки я хочу, чтобы каждый sub класс был вынужден компилятором определить их собственное свойство Uri. Код, как это теперь:

[<AbstractClass>] 
type UriUserControl() = 
    inherit UserControl()
    interface IUriProvider with 
        member this.Uri with get() = null

Достаточно интересный, класс I определяет, какой inerits сверху не показывает общедоступное свойство Uri:

type Page2() as this =
    inherit UriUserControl()
    let uriStr = "/FSSilverlightApp;component/Page2.xaml"
    let mutable uri = new System.Uri(uriStr, System.UriKind.Relative)
    do
        Application.LoadComponent(this, uri)

    member public this.Uri with get () = uri

Я хотел бы определить абстрактный класс, который наследовал от UserControl и моего собственного Интерфейса IUriProvider, но не реализует его. Цель состоит в том, чтобы смочь определить страницы (для Silverlight), которые реализуют UserControl, но также и предоставляют их собственному Uri (и затем засовывают их в список / массив и соглашение с ними как набор:

type IUriProvider = 
interface
    abstract member uriString: String ;
    abstract member Uri : unit -> System.Uri ;
end

[<AbstractClass>] 
type UriUserControl() as this = 
    inherit IUriProvider with
        abstract member uriString: String ;
    inherit UserControl()

Также Uri в определении - я хотел бы реализовать как метод считывания свойства - и имею проблемы с этим также.

это не компилирует

type IUriProvider = 
    interface
        abstract member uriString: String with get;
end