Rückkehr der N-te element einer Liste in OCaml?

Ich bin neu in Ocaml, nur wollen, stellen Sie sicher, wie führen Sie eine einfache Funktion wie die Rückkehr der N-te element einer Liste durch die Verwendung von rekursiven Funktion?

Prototyp wie get_nth (list, n) mit int list * int -> int

beispielsweise get_nth ([1,2,3], 1) -> 2

Danke

  • Das klingt wirklich wie eine Hausaufgaben-problem. Würde es helfen, wenn Sie zeigte einige code, den Sie versucht haben, die nicht Arbeit als Sie haben gehofft.
InformationsquelleAutor Allan Jiang | 2012-03-20
  1. 13

    Können Sie nicht bemerken, aber List.nth Funktion ist bereits in Listen-Modul.

    Wenn Sie möchten, schreiben Sie es mit Rekursion:

    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)
    • Vielen Dank für den edit.
    InformationsquelleAutor pad
  2. 5

    Mit Tupel als Parameter, wie das ist nicht üblich in OCaml. Normalerweise würden Sie verwenden, currying und definieren Sie Ihre Funktion wie folgt:

    let get_nth list n = ...

    Hätte dies die Signatur 'a list -> int -> 'a. Beachten Sie auch, dass Sie eine 'a Parameter hier, was bedeutet, es gibt keinen wirklichen Grund zur Einschränkung Ihrer Funktion auf int-Werte allein.

    Nun schauen wir uns das problem. Wenn Sie möchten, um die nullte element, was wäre deine Funktion Aussehen? 

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

    nun, wenn Sie haben eine Funktion, um das N-te element aus einer Liste mit m Elementen (N. B. n > m), wie könnte Sie verwenden diese Funktion, um einen anderen bauen, der Funktion, die die n+1. element aus einer Liste mit m+1 Elementen? Lassen Sie diese Funktion auch für n+1 Elemente get_nth'

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

    Alles was Sie jetzt tun müssen, ist, um die beiden zu verbinden und Sie sind fertig. Ich werde verlassen, dass der Letzte Teil bis zu Sie.

    Wenn Sie diese Ratschläge befolgen, die Sie erhalten etwas, das komplizierter ist, als es sein muss. Aber es ist leichter zu verstehen, was geschieht auf diese Weise.

    • Leider, fürchte ich, wird dein Versuch ist mehr verwirrend, als es sein muss. Ocaml pattern-matching ist sehr visuell explanative auf seine eigenen.
    InformationsquelleAutor LiKao
  3. 3

    (Meiner Meinung nach) Eine einfachere Lösung ohne Verwendung eines Tupel werden kann: 

    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)
;;
    • Hätte ich das die richtige Antwort. Mit Tupel als ein argument in Ocaml-Funktion ist nicht sehr idiomatisch und erfordert eine Zuweisung.
    InformationsquelleAutor Omar
  4. 0

    Habe ich gelesen hier, dass die Verwendung Result anstatt Fehler kann schöner sein, da Sie nicht über die Verwendung einer try ... with. (Code bearbeitet von @Omar)

    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 ist Teil Core.Std, wenn ich richtig bin.

    InformationsquelleAutor Pie 'Oh' Pah
Schreibe einen Kommentar