¿Cuál es el idioma OCaml equivalente a la función de rango de Python?

Question

Quiero crear una lista de enteros de 1 a n. Puedo hacer esto en Python usando range (1, n + 1), y en Haskell usando: take n (iterate (1+) 1).

¿Cuál es el idioma correcto de OCaml para esto?

Answer 1

No hay lenguaje, que yo sepa, pero aquí es una definición bastante natural utilizando un operador infijo:

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

Alternativamente, el comprehensions syntax extension (que da la sintaxis [i .. j] de lo anterior) es probable que sea incluido en una versión futura del "community version" of OCaml, por lo que puede volverse idiomático. Sin embargo, no recomiendo que comiences a jugar con extensiones de sintaxis si eres nuevo en el lenguaje.

Answer 2

Aquí van:

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

Tenga en cuenta que esto no es recursiva de cola. Las versiones modernas de Python incluso tienen un rango perezoso.

Answer 3

Por cierto, en Haskell se prefiere utilizar

enumFromTo 1 n 
[1 .. n] 

Estos son sólo innecesaria.

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

Answer 4

Con Batteries Included, puede escribir

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

-- El operador genera una enumeración del primer valor al segundo. El operador --^ es similar, pero enumera un intervalo medio abierto (1--^10 enumerará del 1 al 9).

Answer 5

Si utiliza open Batteries (que es una versión de la comunidad de la biblioteca estándar), se puede hacer por range(1,n+1)List.range 1 `To n (nótese la comilla inversa antes To).

Una forma más general (también necesita baterías) es usar List.init n f que devuelve una lista que contiene (f 0) (f 1) ... (f (n-1)).

Answer 6

OCaml tiene una sintaxis especial para la coincidencia de patrones en los rangos:

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 

para crear una gama, puede utilizar Core:

List.range 0 1000 

Answer 7

Un poco tarde al juego aquí, pero aquí está mi aplicación:

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

Puede usarlo muy parecido a la función 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] *) 

naturalmente creo que la mejor respuesta es simplemente usar Core, pero esto podría ser mejor si sólo se necesita una función y que está tratando de evitar que el marco completo.