F # использовать конструкторы как функции

Question

У меня есть пример использования конструктора для производного типа в качестве делегата, и я не могу понять, невозможно ли это, или я просто не могу его обработать.

type SomeJobEvent(jobId : int, otherThing : string) = 
    member this.JobId = jobId 
    member this.OtherThing = otherThing 

type SomeJobStarted(jobId : int, otherThing : string) = 
    inherit SomeJobEvent(jobId, otherThing) 

type SomeJobComplete(jobId : int, otherThing : string) = 
    inherit SomeJobEvent(jobId, otherThing) 

type SomeJobError(jobId : int, otherThing : string) = 
    inherit SomeJobEvent(jobId, otherThing) 

Давайте представим, что это модель, в реальной жизни модель оказывается в C# и мой код в F #, но для краткости это гораздо проще набрать в F #.

И то, что я хочу сделать, это ...

let raise eventObject = 
    // This is just a helper, the raise event takes obj. 
    eventRaiser.Raise(eventObject) 

let raise jobId otherThing eventConstructor = 
    // Lets treat the 'event' constructor as a function 
    raise(eventConstructor(jobId, otherThing)) 

[<EntryPoint>] 
let main args = 

    // Lets curry this function up so I don't have to pass around 1234 
    let raiseEventForJob1234 = raise 1234 "other thing" 

    raiseEventForJob1234 SomeJobStarted 

    raiseEventForJob1234 SomeJobComplete 

Теперь, как строители прошли в raiseEventForJob1234 имеют одинаковую сигнатуру и являются частью одной и той же цепочки наследования, он чувствует себя возможным. Это просто я не уверен, как заставить его работать, даже не в том, что все они шарлатаны, они на самом деле утки!

Редактировать: Здесь есть отличный ответ от @tomas, но и действительно полезное расширение от Piaste in the comments, убедитесь, что вы забронируете оба.

Answer 1

Проблема, которую вы получаете здесь, называется ограничение значения - в принципе, если вы хотите использовать функцию как общую, ее нужно определить как явную функцию.

В вашем случае raiseEventForJob1234 является общим (он может создавать и запускать различные типы событий), но он определяется как значение. Добавление аргумента решает следующее:

let raiseEventForJob1234 f = raise 1234 "other thing" f 

raiseEventForJob1234 SomeJobStarted 
raiseEventForJob1234 SomeJobComplete 

Также обратите внимание, что это работает только в F # 4.0 (в Visual Studio 2015). Предыдущая версия F # не поддерживала обработку конструкторов как функций.