このF＃コードで、firstElemはどのように値を取得していますか？

Question

以下のF＃コードで、firstElemが値を取得する方法は？私はこのlinkの下のコードを得ました。

let rec quicksort list = 
    match list with 
     | [] ->       // If the list is empty 
      []       // return an empty list 
     | firstElem::otherElements ->  // If the list is not empty  
      let smallerElements =   // extract the smaller ones  
     otherElements    
     |> List.filter (fun e -> e < firstElem) 
     |> quicksort    // and sort them 
    let largerElements =   // extract the large ones 
     otherElements 
     |> List.filter (fun e -> e >= firstElem) 
     |> quicksort    // and sort them 
    // Combine the 3 parts into a new list and return it 
    List.concat [smallerElements; [firstElem]; largerElements] 

Answer 1

テキストのコピー時に、テキストの字下げがどうしようもなくなりました。リンク元のコードでは、smallerElementsとlargerElementsのletバインディングは、両方とも| firstElem::otherElements ->よりもインデントされています。つまり、firstElemはパラメータ/変数listの先頭との一致からその値を取得します。

編集：ヘッドという用語は、リストの頭と尾を指します。ヘッドは最初の要素で、テールは残りの要素のすべてです。例えば。

let ns = [1; 2; 3; 4] 
let h = ns.Head 
let t = ns.Tail 

は頭と尾が空のリストのために定義されていないことを警告して

val ns : int list = [1; 2; 3; 4] 
val h : int = 1 
val t : int list = [2; 3; 4] 

を返します。

match list with 
| firstElem::otherElements -> 

ラインはfirstElemとotherElementsとテールとlistの頭と一致します。