Jak ustawić domyślną wartość argumentu w F #?

Question

Weź tę funkcję jako przykład:

// Sequence of random numbers 
open System 

let randomSequence m n= 
    seq { 
     let rng = new Random() 
     while true do 
      yield rng.Next(m,n) 
    } 


randomSequence 8 39 

randomSequence Funkcja przyjmuje dwa argumenty: m, n. Działa to dobrze jak normalna funkcja. Chciałbym ustawić domyślne dla m, n, na przykład:

(m = 1, n = 100) 

gdy nie ma argumenty podane, funkcja ma wartość domyślną. Czy to możliwe w F #?

Answer 1

często można achieve the same effect as overloading with a Discriminated Union.

Oto propozycja opiera się na OP:

type Range = Default | Between of int * int 

let randomSequence range = 
    let m, n = 
     match range with 
     | Default -> 1, 100 
     | Between (min, max) -> min, max 

    seq { 
     let rng = new Random() 
     while true do 
      yield rng.Next(m, n) } 

Wskazówka wprowadzenie Range dyskryminowanych Unii.

Oto kilka (FSI) przykłady użycia:

> randomSequence (Between(8, 39)) |> Seq.take 10 |> Seq.toList;; 
val it : int list = [11; 20; 36; 30; 35; 16; 38; 17; 9; 29] 

> randomSequence Default |> Seq.take 10 |> Seq.toList;; 
val it : int list = [98; 31; 29; 73; 3; 75; 17; 99; 36; 25] 

---

Innym rozwiązaniem jest zmiana randomSequence kiedykolwiek tak lekko wziąć krotki zamiast dwóch wartości:

let randomSequence (m, n) = 
    seq { 
     let rng = new Random() 
     while true do 
      yield rng.Next(m, n) } 

Umożliwi to również zdefiniowanie domyślnej wartości :, podobnej do następującej:

let DefaultRange = 1, 100 

Oto kilka (FSI) przykłady użycia:

> randomSequence (8, 39) |> Seq.take 10 |> Seq.toList;; 
val it : int list = [30; 37; 12; 32; 12; 33; 9; 23; 31; 32] 

> randomSequence DefaultRange |> Seq.take 10 |> Seq.toList;; 
val it : int list = [72; 2; 55; 88; 21; 96; 57; 46; 56; 7] 

Answer 2

opcjonalne parametry są dozwolone tylko na członków [...]

https://msdn.microsoft.com/en-us/library/dd233213.aspx

Więc dla bieżącej przykład, myślę, że jest to niemożliwe. Ale można owinąć funkcjonalność:

type Random = 
    static member sequence(?m, ?n) = 
     let n = defaultArg n 100 
     let rng = new System.Random() 
     match m with 
     | None -> Seq.initInfinite (fun _ -> rng.Next(1, n)) 
     | Some(m) -> Seq.initInfinite (fun _ -> rng.Next(m, n)) 

a następnie używać go tak:

let randomSequence = Random.sequence(2, 3) 
let randomSequence' = Random.sequence(n = 200) 
let randomSequence'' = Random.sequence() 

wyjaśnienie: opcjonalne parametry mogą być albo całkowicie Opcja al (m) lub defaultArg s (n). Lubię cienie (ponowne używanie tej samej nazwy) tych parametrów, ale to jest dyskusyjne.

Answer 3

let randomSequence m n= 
    seq { 
    let rng = new Random() 
    while true do 
     yield rng.Next(m,n) 
    } 

let randomSequenceWithDefaults() = 
    randomSequence 1 100 

Więc zamiast zadzwonić randomSequenceWithDefaults()

Answer 4

To wydaje się być najbardziej eleganckie rozwiązanie tego problemu:

//define this helper function 
let (|Default|) defaultValue input = 
    defaultArg input defaultValue 

//then specify default parameters like this 
let compile (Default true optimize) = 
    optimize 

//or as the OP asks 
let randomSequence (Default 1 m) (Default 100 n) 
    seq { 
     let rng = new Random() 
     while true do 
      yield rng.Next(m,n) 
    } 

Credits: http://fssnip.net/5z