Split F# Module in mehreren Dateien

Ist es möglich, die Aufteilung einer F# - Modul in mehreren Dateien?

Laut Buch habe ich es, aber das Buch ist wohl veraltet
(Grundlagen von F#)

InformationsquelleAutor TimothyP | 2009-04-27
  1. 11

    Offenbar nicht:

    C:\temp\Tim>type 1.fs 2.fs

1.fs


#light
module Module

let sayHello1 = printfn "Hello, "

2.fs


#light
module Module

let sayHello2 = printfn "world!"

C:\temp\Tim>fsc 1.fs 2.fs
Microsoft F# Compiler, (c) Microsoft Corporation, All Rights Reserved
F# Version 1.9.6.2, compiling for .NET Framework Version v2.0.50727

2.fs(2,1): error FS0191: An implementation of the file or module Module has already been given.

    Update: der Fehler hat sich verändert in F# 4.0 ist es nun:

    Fehler FS0248: Zwei Module mit dem Namen 'Module' auftreten, in beiden teilen dieser Versammlung

    wo Module ist der vollständig qualifizierte name der assembly, einschließlich der namespace-Teil.

    • Das ist schade, denn ich Tue Datenanalysen und es gibt viele verschiedene Daten-Strukturen, so bin ich der Generierung eines sehr, sehr, sehr lange F# - Datei...
    • Zeit, es zu brechen in regelmäßigen .NET-Klassen statt der Module? Oder mehr als ein F# - Modul?
    • Leider F# nicht unterstützt partielle Klassen, also kann man noch nicht geteilt regelmäßige .NET-Klasse, die über mehrere Quelldateien.
    InformationsquelleAutor Tim Robinson
  2. 7

    Den Typ-Erweiterungen sind cool, und hoffentlich werden Sie zulassen, Kreuz-Datei während Sie weiterhin die intrinsische. Wenn Sie eine Erweiterung in der gleichen Datei, kompiliert er auf eine Klasse, und die Erweiterung hat Zugriff auf private member und so weiter. Wenn Sie es in einer anderen Datei, ist es nur eine "optionale" Erweiterung, wie C# statische erweiterungsmethoden. (Auch wenn der F# - specs anders sagen.)

    Ich würde mich Wundern, wenn diese nicht angesprochen wird irgendwann, wenn auch nur für die designer-Unterstützung. Wenn Eigenwert Erweiterungen könnte überall sein in der Versammlung, das wäre alles ziemlich glatt.

    Weitere option, die möglicherweise nicht, was Sie wollen, ist zu schaffen, einen Typ und einen Modul rufen Sie das Modul mit dem gleichen Namen, und fügen Sie dann die ModuleSuffix Flagge, um die es:

    type Foo() = 
    static member Bar = 1

[<CompilationRepresentationAttribute(CompilationRepresentationFlags.ModuleSuffix)>]
module Foo =
    let Baz = 2

printfn "%d %d" Foo.Bar Foo.Baz

    Dies ist bei der F# - Bibliotheken, so können Sie eine Liste Typ, oder was auch immer, zusammen mit Tonnen von Helfer-Zeug in einem Modul.

    • Dies ist ordentlich, in F#, aber wenn ich zugreifen will, diese Arten von außen über Reflexion, Sie kommen als Typen "Foo" und "FooModule". Auf der Grundlage der akzeptierten Antwort, es gibt keinen Weg, um den beiden zu zeigen, in der gleichen Art, ist es?
    InformationsquelleAutor MichaelGG
  3. 4

    Wie Kurt sagt, Sie können hinzufügen, Erweiterung Methoden um Arten, und damit

    //File1.fs
namespace Foo

type Mine() =
    static member f1 () = ()

    dann

    //File2.fs
type Foo.Mine with
    static member f2() = ()

Foo.Mine.    //both f1 and f2 here

    Da es sich um eine Klasse und nicht ein Modul, verlieren Sie die Fähigkeit zu tun, 'Tagebau' (aber die Fähigkeit erlangen, überlastung); also dies kann oder kann nicht eine akzeptable alternative für Sie je nach genau das, was du tust.

    • Dies gilt für Intellisense in Datei2.fs, aber beim laden des Typs via reflektion (z.B., typeof(Foo.Mine).GetMethods(), f2 nicht zeigen. Danke für den Tipp, aber!
    InformationsquelleAutor Brian
  4. 3

    Ich manchmal split ein Typ über mehrere Plätze, etwa so:

    module Foo

type Partial = Bar | BarInt of int

module Bar

type Foo.Partial with
    member x.Extend = 5


let b = Foo.Bar.Extend

    denen Module Foo und Bar werden in verschiedenen Dateien.

    InformationsquelleAutor Kurt Schelfthout
  5. 3

    Auf einem meiner Projekte war das Ziel des Datei-Operationen Cp und Rm um separate Module, erfordern jedoch keine Benutzer zum öffnen von zwei namespaces für beide Aufgaben.

    open Xake.FileTasks
...
do! Cp "*/*.exe" "deploy/*.exe"
do! Rm "*/*.exe"

    Hier sind meine Module:

    namespace Xake.FileTasks

[<AutoOpen>]
module RmImpl =
    let Rm filemask target =
...

    ist und das andere:

    namespace Xake.FileTasks

[<AutoOpen>]
module CpImpl =
    let Cp filemask target =
...
    InformationsquelleAutor olegz
Schreibe einen Kommentar