エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
HaskellでBuilderパターンをやってMaybeをなるべく除去したい(型引数が複数ある場合)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
HaskellでBuilderパターンをやってMaybeをなるべく除去したい(型引数が複数ある場合)
単一項ならbarbiesが使える 複数項ならボイラープレートを書いていくしかない Kindを潰す方法を思い出す... 単一項ならbarbiesが使える 複数項ならボイラープレートを書いていくしかない Kindを潰す方法を思い出すのに時間がかかった 以下は悩んでた時のメモと、悩んだ人向けのインデックスです。 Maybeをなるべく消したい Haskellで、 RustのちょっとやりすぎなBuilderパターン | κeenのHappy Hacκing Blog のようなことをしようとしました。 HaskellではKind概念があるからHKDで楽勝では? import Data.Functor.Identity data Foo haveHoge = Foo { hoge :: haveHoge Int , huga :: Int } deriving Show type MaybeHaveHogeFoo = Foo Maybe maybeHaveHogeFoo = Foo Nothing 1 type Ide