Was ist das OCaml-Idiom, das der Python-Bereichsfunktion entspricht?

Question

Ich möchte eine Liste von ganzen Zahlen von 1 bis n erstellen. Ich kann dies in Python mit Bereich (1, n + 1), und in Haskell mit: n (iterate (1+) 1).

Was ist das richtige OCaml Idiom dafür?

Answer 1

Es gibt kein Idiom, die ich kenne, aber hier ist eine ziemlich natürliche Definition mit einem Infixoperator:

# let (--) i j = 
    let rec aux n acc = 
     if n < i then acc else aux (n-1) (n :: acc) 
    in aux j [] ;; 
     val (--) : int -> int -> int list = <fun> 
# 1--2;; 
- : int list = [1; 2] 
# 1--5;; 
- : int list = [1; 2; 3; 4; 5] 
# 5--10;; 
- : int list = [5; 6; 7; 8; 9; 10] 

Alternativ kann die comprehensions syntax extension (die die Syntax [i .. j] für die oben gibt) sein dürfte in einer zukünftigen Version der "community version" of OCaml enthalten, so dass idiomatische werden kann. Ich empfehle Ihnen nicht, mit Syntaxerweiterungen zu spielen, wenn Sie neu in der Sprache sind.

Answer 2

Hier gehen Sie:

let rec range i j = if i > j then [] else i :: (range (i+1) j) 

Beachten Sie, dass dies nicht Schwanz-rekursiv ist. Moderne Python-Versionen haben sogar einen trägen Bereich.

Answer 3

BTW, in Haskell Sie lieber

enumFromTo 1 n 
[1 .. n] 

nur unnötig Dies sind verwenden.

take n [1 ..] 
take n $ iterate (+1) 1 

Answer 4

Mit Batteries Included können Sie

let nums = List.of_enum (1--10);; 

schreiben

Der -- Operator eine Aufzählung von dem ersten Wert auf den zweiten erzeugt. Der Operator --^ ist ähnlich, zählt aber ein halboffenes Intervall auf (1--^10 zählt von 1 bis 9).

Answer 5

Wenn Sie open Batteries verwenden (das ist eine Community-Version der Standard-Bibliothek ist), können Sie range(1,n+1) von List.range 1 `To n (das Backquote vor To bemerken).

Ein allgemeinerer Weg (auch Batterien brauchen) ist List.init n f, die eine Liste zurückgibt, die (f 0) (f 1) ... (f (n-1)) enthält.

Answer 6

OCaml hat spezielle Syntax für den Mustervergleich auf Bereiche:

let() = 
    let my_char = 'a' in 
    let is_lower_case = match my_char with 
    | 'a'..'z' -> true (* Two dots define a range pattern *) 
    | _ -> false 
    in 
    printf "result: %b" is_lower_case 

einen Bereich zu erstellen, können Sie Core verwenden: hier

List.range 0 1000 

Answer 7

ein wenig zu spät, um das Spiel, aber hier ist meine Umsetzung:

let rec range ?(start=0) len = 
    if start >= len 
    then [] 
    else start :: (range len ~start:(start+1)) 

Sie können es dann sehr ähnlich wie die Python-Funktion verwenden:

range 10 
    (* equals: [0; 1; 2; 3; 4; 5; 6; 7; 8; 9] *) 

range ~start:(-3) 3 
    (* equals: [-3; -2; -1; 0; 1; 2] *) 

natürlich denke ich die beste Antwort Core einfach zu verwenden, aber das wäre vielleicht besser, wenn Sie nur eine Funktion benötigen, und Sie versuchen, den vollständigen Rahmen zu vermeiden.