renvoie le nième élément d'une liste en OCaml?

Je suis nouveau sur Ocaml, je veux juste vous assurez-vous que la façon d'effectuer une simple fonction telle que renvoie le nième élément d'une liste en utilisant une fonction récursive?

Prototype comme get_nth (list, n) avec int list * int -> int

par exemple get_nth ([1,2,3], 1) -> 2

Merci

Cela sonne vraiment comme un problème. Il serait utile si vous a montré un peu de code que vous avez essayé cela ne fonctionne pas comme vous l'espériez.

OriginalL'auteur Allan Jiang | 2012-03-20

  1. 13

    Vous pouvez ne pas remarquer mais List.nth fonction est déjà là, dans Liste de module.

    Si vous souhaitez écrire à l'aide de la récursivité:

    let rec get_nth = function
    | [], _ -> raise (Failure "get_nth")
    | _, n when n < 0 -> raise (Invalid_argument "get_nth")
    | x::_, 0 -> x
    | x::xs, n -> get_nth(xs, n-1)
    Merci pour le modifier.

    OriginalL'auteur pad

  2. 5

    Aide de n-uplets en tant que paramètres comme ce n'est pas commun en OCaml. Habituellement, vous devez utiliser nourrissage et de définir votre fonction comme ceci:

    let get_nth list n = ...

    Ce serait la signature 'a list -> int -> 'a. Notez également que vous avez une 'a paramètre ici, ce qui signifie, il n'y a pas vraiment de raison de restreindre votre fonction à ints seul.

    Examinons maintenant le problème. Si vous voulez obtenir le zéro de l'élément, quel serait votre fonction? 

    let get_nth list 0 = List.head list (* this is not actually valid in OCaml *)

    maintenant, si vous avez une fonction pour obtenir le n-ième élément d'une liste de m éléments (N. B. n > m), comment pourriez-vous utiliser cette fonction pour construire une autre fonction qui est la n+1er élément à partir d'une liste de m+1 éléments? Laissez fonction de n+1 éléments get_nth'

    let get_nth' list n' = get_nth (List.tail list) (n'-1)

    Maintenant, tout ce que vous devez faire est de combiner les deux et vous avez terminé. Je vais laisser cette dernière partie jusqu'à vous.

    Si vous suivez ce conseil, vous obtiendrez quelque chose qui est plus compliqué, qu'il doit être. Cependant, il est plus facile de comprendre ce qui se passe de cette façon.

    Malheureusement, je crains que votre tentative plus de confusion que cela doit être. Ocaml pattern matching est assez visuellement explanative sur son propre.

    OriginalL'auteur LiKao

  3. 3

    (À mon avis) Une solution plus simple sans l'aide d'un n-uplet peut être: 

    let rec get_nth mylist index = match mylist with
    | [] -> raise (Failure "empty list")
    | first::rest -> 
        if index = 0 then first 
        else get_nth rest (index-1)
;;
    J'aurais fait ce la bonne réponse. L'aide d'un tuple comme un argument dans la fonction Ocaml n'est pas très idiomatique et nécessite l'allocation.

    OriginalL'auteur Omar

  4. 0

    J'ai lu ici que l'utilisation de Result au lieu de déclencher d'erreur peut être plus agréable puisque vous n'avez pas à utiliser un try ... with. (Code modifié à partir d' @Omar Mahili)

    let rec get_nth mylist index = match mylist with
    | [] -> Error "empty list"
    | first::rest -> 
        if index = 0 then Ok first 
        else get_nth rest (index-1)
;;

let result [1; 2; 3] 2 in 
    match result with
    | Error reason -> print_string reason
    | Ok num -> print_int num
;;

    Result fait partie de Core.Std, si je suis correct.

    OriginalL'auteur Pie 'Oh' Pah