haskellの関数の引数でリストの要素を取るやつについて

Question

haskell初心者です。

haskellの、

second (_:x:_) = x

main = do
    print $ second [1..5]

(https://qiita.com/7shi/items/145f1234f8ec2af923efより引用)

って、

second x = x !! 1

main = do
    print $ second [1..5]

って書くのと同じだと思うんですが、上の方を使う利点はなにかあるのでしょうか？
よろしくおねがいします。

Answer 1

こんにちは。

この例に限ってはどっちでも一緒です。
これは List の分解を説明するサンプルコードなのでそうなってるだけです。

ただし、実用的にはそのサンプルは不完全で、基本的にはパターンマッチを行う場合も Total Function を作ります。
部分的なパターンマッチを記述すると {-# OPTIONS_GHC -Wall #-} で警告が出るので、前者だと定義が不完全であることが明らかになりますが、後者はそうではないです。
(!!) は Partial Function で、リスト長を超える値や負の値を渡すと実行時例外を出すため何も考えずに使うと非常に危険な関数です。
パターンマッチの場合は「条件を満たさない場合」の記述が非常にやりやすいので、様々な分解記法を覚えておいた方が良いのです。