open System 

open System.Linq

open Microsoft.FSharp.Quotations

​

type ISqlDataContext<'E when 'E :> SqlEntity> =

  abstract member Name: string

  abstract member Columns: string list

  inherit IQueryable<'E>

and SqlEntity(dc: ISqlDataContext<_>) =

  member __.Context with get() = dc

type DcTieEntity(dc: ISqlDataContext<_>) =

  inherit SqlEntity(dc)

  member __.Iid with get()=98m

type CoEntity(dc:ISqlDataContext<_>) =

  inherit SqlEntity(dc)

  member __.Iid with get()=45m

​

type QueryableFromEntity<'E when 'E :> SqlEntity> =

  SqlEntity -> IQueryable<'E>

type Entity<'E when 'E :> SqlEntity> =

  Entity of SqlEntity

​

let inline

  getIid< ^E  

            when ^E: ( member Iid: decimal)

            > (e: ^E) =

               (^E : (member Iid: decimal) e)

​

let inline

  getOtheriid< ^E  

                 when ^E: ( member Otheriid: decimal)

                 > (e: ^E) =

                    (^E : (member Otheriid: decimal) e)

​

let inline 

  getStartdate< ^E  

                  when ^E: ( member Startdate: DateTime)

                  > (e: ^E) =

                      (^E : (member Startdate: DateTime) e)

​

let inline

  makeGetIid< ^E

                when ^E: (member Iid : decimal)

                >()=

  fun (e:^E) -> getIid e

​

let DcTieIidGetter: DcTieEntity -> decimal = makeGetIid<DcTieEntity>()

​

type CommonProps =

  | Iid

  | Otheriid

  | Startdate

​

//type CommonPropsS() =

//  static member inline Getter(iid:Iid) =0

​

type CommonProp<'T> = CommonProp of CommonProps

  //with static member inline

type Getter<'T> = SqlEntity -> 'T

type MakeGetter<'T> = CommonProp<'T> -> Getter<'T>

type TypedGetter<'E,'T when 'E :>  SqlEntity>  = 'E -> 'T

type MakeTypedGetter<'E,'T when 'E :> SqlEntity> = CommonProp<'T> -> TypedGetter<'E, 'T>

let funQuote<'T> = <@ fun (e: 'T) -> 4 @>

//let typeQuote = <@ DcTieEntity @>

// let genQuote t = <@ makeGetIid< (%t) > @>

type IidGetter = Getter<decimal>

type TypedIidGetter<'E when 'E :> SqlEntity> = TypedGetter<'E,decimal>

type OtheriidGetter = Getter<decimal>

type StartDateGetter = Getter<decimal>

​

type IidEntityClass<'E when 'E :> SqlEntity> =

  IidEntityClass of IQueryable<'E>*TypedIidGetter<'E>

let inline makeIidEntity< ^E  

                     when ^E: ( member Iid: decimal)

                     and ^E :> SqlEntity

                     >() =

                       let getter = makeGetIid< ^E>()

                       fun (qe: IQueryable< ^E>) -> IidEntityClass (qe, getter)

​

​

printfn "Hello World"