Opzioni interattive F#

Questo articolo descrive le opzioni della riga di comando supportate da F# Interactive, fsi.exe. F# Interactive accetta molte delle stesse opzioni della riga di comando del compilatore F#, ma accetta anche alcune opzioni aggiuntive.

Usare F# Interactive per lo scripting

F# Interactive, dotnet fsi, può essere avviato in modo interattivo oppure può essere avviato dalla riga di comando per eseguire uno script. La sintassi della riga di comando è

dotnet fsi [options] [ script-file [arguments] ]

L'estensione di file per i file di script F# è .fsx.

Tabella delle opzioni interattive F#

La tabella seguente riepiloga le opzioni supportate da F# Interactive. È possibile impostare queste opzioni nella riga di comando o tramite l'IDE di Visual Studio. Per impostare queste opzioni nell'IDE di Visual Studio, aprire il menu Strumenti , selezionare Opzioni, espandere il nodo Strumenti F# e quindi selezionare F# Interactive.

Dove gli elenchi vengono visualizzati negli argomenti delle opzioni interattive F#, gli elementi elenco sono separati da punto e virgola (;).

Stampa strutturata interattiva F#

F# Interactive (dotnet fsi) usa una versione estesa della formattazione testo normale strutturato per segnalare i valori.

1. Tutte le funzionalità della %A formattazione di testo normale sono supportate e alcune sono anche personalizzabili.

2. La stampa viene colorata se i colori sono supportati dalla console di output.

3. Viene impostato un limite sulla lunghezza delle stringhe visualizzate, a meno che non si valuti in modo esplicito tale stringa.

4. Un set di impostazioni definibili dall'utente è disponibile tramite l'oggetto fsi .

Le impostazioni disponibili per personalizzare la stampa di testo normale per i valori segnalati sono:

open System.Globalization

fsi.FormatProvider <- CultureInfo("de-DE")  // control the default culture for primitives

fsi.PrintWidth <- 120        // Control the width used for structured printing

fsi.PrintDepth <- 10         // Control the maximum depth of nested printing

fsi.PrintLength <- 10        // Control the length of lists and arrays

fsi.PrintSize <- 100         // Control the maximum overall object count

fsi.ShowProperties <- false  // Control whether properties of .NET objects are shown by default

fsi.ShowIEnumerable <- false // Control whether sequence values are expanded by default

fsi.ShowDeclarationValues <- false // Control whether values are shown for declaration outputs

Personalizzare con AddPrinter e AddPrintTransformer

La stampa in output interattivi F# può essere personalizzata usando fsi.AddPrinter e fsi.AddPrintTransformer. La prima funzione fornisce testo per sostituire la stampa di un oggetto . La seconda funzione restituisce invece un oggetto surrogato da visualizzare. Si consideri ad esempio il codice F# seguente:

open System

fsi.AddPrinter<DateTime>(fun dt -> dt.ToString("s"))

type DateAndLabel =
    { Date: DateTime
      Label: string  }

let newYearsDay1999 =
    { Date = DateTime(1999, 1, 1)
      Label = "New Year" }

Se si esegue l'esempio in F# Interactive, viene restituito in base al set di opzioni di formattazione. In questo caso, influisce sulla formattazione della data e dell'ora:

type DateAndLabel =
  { Date: DateTime
    Label: string }
val newYearsDay1999 : DateAndLabel = { Date = 1999-01-01T00:00:00
                                       Label = "New Year" }

fsi.AddPrintTransformer può essere utilizzato per assegnare un oggetto surrogato per la stampa:

type MyList(values: int list) =
    member _.Values = values

fsi.AddPrintTransformer(fun (x:MyList) -> box x.Values)

let x = MyList([1..10])

Verrà restituito questo output:

val x : MyList = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]

Se la funzione trasformatore passata a fsi.AddPrintTransformer restituisce null, il trasformatore di stampa viene ignorato. Può essere usato per filtrare qualsiasi valore di input a partire dal tipo obj. Ad esempio:

fsi.AddPrintTransformer(fun (x:obj) ->
    match x with
    | :? string as s when s = "beep" -> box ["quack"; "quack"; "quack"]
    | _ -> null)

let y = "beep"

Verrà restituito questo output:

val y : string = ["quack"; "quack"; "quack"]

Argomenti correlati