リストの先頭があれば、それを削除したいと思うことがよくあります。自分ができるということがわかっている：
myList match {
case h :: t => t
case x => Nil
}
しかし、これを行う必要のある場所がたくさんあるので、それは私のコードではかなり冗長になっています。
より単純/より短い/より簡潔なものはありますか？私はちょっとheadOptionのようなものが欲しいのですが、tailには....空のリストに一致エラーをスローしないものが必要です。
アイデア？