Как выполнить код F #, найденный в строке в скомпилированной программе F #?

Как выполнить код F # из строки в скомпилированной программе F #?

Ответы

Ответ 1

Здесь немного script, который использует FSharp CodeDom для компиляции строки в сборку и динамической загрузки ее в сеанс script.

Он использует расширение типа просто для того, чтобы разрешить полезные значения по умолчанию для аргументов (надеюсь, что связанные функции будут поддерживать необязательные аргументы named и params в ближайшем будущем.)

#r "FSharp.Compiler.dll"
#r "FSharp.Compiler.CodeDom.dll"

open System
open System.IO
open System.CodeDom.Compiler
open Microsoft.FSharp.Compiler.CodeDom

let CompileFSharpString(str, assemblies, output) =
        use pro = new FSharpCodeProvider()
        let opt = CompilerParameters(assemblies, output)
        let res = pro.CompileAssemblyFromSource( opt, [|str|] )
        if res.Errors.Count = 0 then 
             Some(FileInfo(res.PathToAssembly)) 
        else None

let (++) v1 v2   = Path.Combine(v1, v2)    
let defaultAsms  = [|"System.dll"; "FSharp.Core.dll"; "FSharp.Powerpack.dll"|] 
let randomFile() = __SOURCE_DIRECTORY__ ++ Path.GetRandomFileName() + ".dll"   

type System.CodeDom.Compiler.CodeCompiler with 
    static member CompileFSharpString (str, ?assemblies, ?output) =
        let assemblies  = defaultArg assemblies defaultAsms
        let output      = defaultArg output (randomFile())
        CompileFSharpString(str, assemblies, output)     

// Our set of library functions.
let library = "

module Temp.Main
let f(x,y) = sin x + cos y
"
// Create the assembly
let fileinfo = CodeCompiler.CompileFSharpString(library)

// Import metadata into the FSharp typechecker
#r "0lb3lphm.del.dll"

let a = Temp.Main.f(0.5 * Math.PI, 0.0)     // val a : float = 2.0

// Purely reflective invocation of the function.
let asm = Reflection.Assembly.LoadFrom(fileinfo.Value.FullName)
let mth  = asm.GetType("Temp.Main").GetMethod("f")

// Wrap weakly typed function with strong typing.
let f(x,y) = mth.Invoke(null, [|box (x:float); box (y:float)|]) :?> float

let b = f (0.5 * Math.PI, 0.0)              // val b : float = 2.0

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

Конечно, это игрушка по сравнению с полным API-интерфейсом для сценариев, который срочно запросили многие из нас в сообществе.

удачи,

Дэнни

Ответ 2

Вы ищете функцию Eval?

Возможно, вы захотите посмотреть этот пост в блоге:

http://fsharpnews.blogspot.com/2007/02/symbolic-manipulation.html

Если вы читаете в своих выражениях эти символические структуры данных, их довольно легко оценить.


Или, возможно, вы ищете поддержку скриптов:

http://blogs.msdn.com/chrsmith/archive/2008/09/12/scripting-in-f.aspx


Если вам действительно нужна динамическая компиляция, вы можете сделать это с помощью провайдера F # CodeDom.

Ответ 3

На этом фронте было движение. Теперь вы можете скомпилировать с помощью FSharp.Compiler.Service

простой пример с использованием FSharp.Compiler.Service 5.0.0 от NuGet

open Microsoft.FSharp.Compiler.SimpleSourceCodeServices
let compile (codeText:string) = 
    let scs = SimpleSourceCodeServices()
    let src,dllPath = 
        let fn = Path.GetTempFileName()
        let fn2 = Path.ChangeExtension(fn, ".fs")
        let fn3 = Path.ChangeExtension(fn, ".dll")
        fn2,fn3
    File.WriteAllText(src,codeText)
    let errors, exitCode = scs.Compile [| "fsc.exe"; "-o"; dllPath; "-a";src; "-r"; "WindowsBase"; "-r" ;"PresentationCore"; "-r"; "PresentationFramework" |]
    match errors,exitCode with
    | [| |],0 -> Some dllPath
    | _ -> 
        (errors,exitCode).Dump("Compilation failed")
        File.Delete src
        File.Delete dllPath
        None

то это вопрос Assembly.LoadFrom(dllPath), чтобы попасть в текущий домен приложения.

за которым следуют рефлексивные вызовы в dll (или, возможно, Activator.CreateInstance)

Пример использования LinqPad