モナド

T -> TをT[]に適用しT[] -> T[]とするのがファンクタ

mapなど

T->T[]をT[]に対して適用しT[] - > T[]とするのがモナド

flatMapやbindなど

T[][]のように入れ子にならないようにする

この場合の文脈はListだが、nullableやResult等の文脈に対しても適応できる。

参考になったリンク

2025-01-13