Quel est l'idiome OCaml équivalent à la fonction de plage de Python?

Question

Je veux créer une liste d'entiers de 1 à n. Je peux le faire en Python en utilisant range (1, n + 1), et en Haskell en utilisant: take n (iterate (1+) 1).

Quel est le bon idiome OCaml pour cela?

Answer 1

Il n'y a pas idiome que je connaisse, mais voici une assez définition naturelle à l'aide d'un opérateur infixe:

# 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] 

Alternativement, le comprehensions syntax extension (ce qui donne pour ce qui précède la syntaxe [i .. j]) est susceptible d'être inclus dans une future version de la "community version" of OCaml, de sorte que mai devenir idiomatique. Cependant, je ne vous recommande pas de commencer à jouer avec des extensions de syntaxe si vous êtes nouveau dans la langue.

Answer 2

Ici, vous allez:

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

Notez que ce n'est pas récursive. Les versions modernes de Python ont même une gamme paresseuse.

Answer 3

BTW, en Haskell vous préférez utiliser

enumFromTo 1 n 
[1 .. n] 

Ce sont tout simplement inutiles.

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

Answer 4

Avec Batteries Included, vous pouvez écrire

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

L'opérateur -- génère une énumération de la première valeur à la seconde. L'opérateur --^ est similaire, mais énumère un intervalle semi-ouvert (1--^10 énumérera de 1 à 9).

Answer 5

Si vous utilisez open Batteries (qui est une version communautaire de la bibliothèque standard), vous pouvez le faire range(1,n+1) par List.range 1 `To n (notez le backquote avant To).

Une manière plus générale (nécessite également des batteries) est d'utiliser List.init n f qui retourne une liste contenant (f 0) (f 1) ... (f (n-1)).

Answer 6

OCaml a une syntaxe spéciale pour la correspondance de motif sur les gammes:

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 

Pour créer une gamme, vous pouvez utiliser Core:

List.range 0 1000 

Answer 7

Un peu tard pour le jeu ici, mais voici ma mise en œuvre: Vous pouvez ensuite l'utiliser comme la fonction python:

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

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

naturellement, je pense que la meilleure réponse est d'utiliser simplement de base, mais cela pourrait être mieux si vous avez seulement besoin d'une fonction et que vous essayez d'éviter le cadre complet.