エルムではどういう意味ですか？

Question

私はhttp://elm-lang.org/examples/zipのzipの例を見ていますが、正確には_がエルムの意味するところについての質問がありました。

zip : List a -> List b -> List (a,b) 
zip xs ys = 
    case (xs, ys) of 
    (x :: xs', y :: ys') -> 
     (x,y) :: zip xs' ys' 

    (_, _) -> 
     [] 

私の勘では、それが「他のすべて」を意味するが、それは任意の有効な値を意味するということでしょうか？価値がない場合はどうなりますか？

Answer 1

_は、値を気にしない場所にマッチするために使用されるため、「その他すべて」の場合によく使用されます。

例のコード(_, _)には、のいずれかのタプルと2つの値が一致します。あなたはどちらの値にも気をつけないので、_に置き換えることもできます。より多くの例は、それはちょうどあなたがタプルから一つの値を気にどこであってもよいが、他のない、例えばfstin the core package

fst : (a,b) -> a 
fst (a,_) = 
    a 

の実装では、我々は、タプルの2番目の値を気にしない、そうでしょうその位置の_と一致します。

はエルムにはnullまたはundefinedありませんので、あなたは「無価値」でない程度が心配する必要はありません（何かが値を持たないならば、Maybeタイプが使用されています）。