NonEmpty - Qiita

はじめに 遅くれてしまいましたが、今回は小ネタです。 purescript-nonempty ライブラリを共有したいと思います。 前回は Parital制約 について書きました。Partial制約はあくまで注意を促すだけであり、ユーザが気を付けて使う必要があります。Parital関数を使うのは邪道でありよほどのことがない限りTotal関数を定義すべきです。前回の例では配列の先頭要素を取り出す head 関数を例に挙げました。この関数をTotal関数とする一つの方法には結果の型を Maybe で包むというのがありました。もう一つの取り上げなかった方法として引数の型を適切な型に変えるというものがあります。単なる「要素aの配列」ではなく、「空ではない要素aの配列」という型があれば、head 関数はMaybeで包まなくても必ず値を返すことができます。head に限らず、正確なモデリングを行なうには

[bouzuya]

purescript nonempty タイトルが実質 empty みたいなもん