Clean ArchitectureとEffで変更に強いAPIを設計する

モジュラモノリスで表現する複雑なドメイン領域と境界
https://speakerdeck.com/showmant/expressing-complex-domain-regions-and-boundaries-with-modular-monoliths

PofEAAで考えるSaaSバックエンドの作り方
https://speakerdeck.com/dnskimo/pofeaadekao-erusaasbatukuendofalsezuo-rifang

The Clean Architecture
https://blog.cleancoder.com/uncle-bob/2012/08/13/the-clean-architecture.html

Freer Monads, More Extensible Effects
http://okmij.org/ftp/Haskell/extensible/more.pdf

Transcript

1. $MFBO
   "SDIJUFDUVSFଚ&῎ଙ ኚ᭦䛻ᙉ䛔$3,䜢タィ䛩䜛 VFDODWRN\RRQOLQHYRO 6FDOD7RN\R .BFLBXB
   :VJDIJ
2. .BFLBXB
   :VJDIJ 5XJUUFS
   !@LBFMBFMB 4PGUXBSF
   &OHJOFFS! ᪂᫬௦䛾㈍኎⟶⌮䝥䝷䝑䝖䝣䜷䞊䝮
4. $MFBO
   "SDIJUFDUVSFଚ&῎ୄ౶କ଑ો༷ፕଝჵ૶"1*ଠ᮱ᮣዷᔕଝଖ૶ଘ ଜ଎ᄰᮉଜଠ૽ ଛଠ଺૸ଝ౶૸ଠ૽ῷᑁᄾ᜷ଝᯝጓଉରଋ ᯌଇଜ૶ଅଚ  3&45
   "1*
   
   31$
   "1*ଠ"1*୷୦୔ணଠᯌଙଡଜ૶ଙଋ
   QSBZ  $MFBO
   "SDIJUFDUVSFଠᯝጓ  ஒ୺୹ો&῎ଜଛଠዝ࿁᜷ଜᯝጓ ܶ᮱ᮣଚፘ૶ଘରଋ૾ો᮱ᮣଡୱ஬ஐଶஇ஝୰ୟ୸ଝ଺ଽଚᅈ૸ଠଙોᚨጤᘃଙ୒஛இ૾ᨭ૶ଚ᥻ૺଘ૶ଽ଴ଠଚ૶૸൩ቾଙૼᦎ૿ଁ଒ଇ૶ వጄଠങ࿧
5. $MFBO
   "SDIJUFDUVSFଚ&῎ଙ ༷ፕଝჵ૶"1*ୄ᮱ᮣଋଽ
6. ༷ፕଝჵ૶ଚଡ  ᳽඀ો༷ፕો൦Ḩ૾࿧ጕ  ༷ፕଝ଺ଽᄋẛ᡽ຸ૾ဌଇ૶  ល༢᜷ଜ༷ፕ૾ᱹ૿ଝଁ૶
7. "1*ଡጄ૏ᇡ᷶ଋଽ  ୹஑୔ண஝୨୳ୟଠ༷ፕଝ଺ଽஜ୩஍ண୩ങ࿧ଠ༷ፕ  ஖஬୩ୡ஬୩ଠ༷ፕ  ዶଉ૶"1*ଠ᳽඀  "1*஁ங஑஬୯஬ଠ᳽඀  ᨅ័୧୩୶ஐฎଃ"1*ଚ༻ᵄഏ᷻"1*  ᙊዷଠ఻ᑗ༷ፕଝౘ૸᳽ᄟ  ഏ᷻"1*ଠ୥஍஬୸᡽ຸሴག ଜଛଜଛ
8. ༷ፕୄṟଉଁଋଽᮉິଡଖ ᴰଃଽଅଚଠଙ૿ଜ૶ᮉິ  ஃ୨୽୩஝୨୳ୟଠᇡ᷶ ፞ൖଠ୹஑୔ணஒ୷஛ଙଡ࿾ᄷଙ૿ଜ૶ ለᬾ஫᮱ᮣଝ଺ଽᮉິ  ୶୩୸૾ଜଁᄋẛ᡽ຸଠఒᕺ૾௧෺ᧄ  ಁྺዷฎଠၛ༢ ୩஁ୢ୶୓  ௧ᴧ൐ଜ഼ṓႼ  གර૾ೇᜲ᜷ોᯬᚫ᜷ଜ഼ṓ ୱ஬ஐଶ࿚᭢᥽ଝ଺ଽ௹ᮓ᜷ଜ଴ଠ૾༾૶  Ḃᄮଠ൏Ṟ૾ଙ૿ଘ૶ଜ૶  ஃ୨୽୩ଚለᬾ  6*ଚ୷஬୯ᑑᴍ ଜଛ KWWSVFRPPRQVZLNLPHGLDRUJZLNL)LOH(GVJHUB:\EHB'LMNVWUDMSJ
9. 3F
   ༷ፕଝჵ૶ଚଡ  ᳽඀ો༷ፕો൦Ḩ૾࿧ጕ ༷ፕ࿧ጕᅌ
   
   ஃ୨୽୩஝୨୳ୟଠ༷ፕ
   
   ለᬾ஫᮱ᮣ  ༷ፕଝ଺ଽᄋẛ᡽ຸ૾ဌଇ૶ ༷ፕᵸ
   
   ஃ୨୽୩஝୨୳ୟଠ༷ፕ
   
   ለᬾ஫᮱ᮣ  ល༢᜷ଜ༷ፕ૾ᱹ૿ଝଁ૶ ୹஑୔ணஒ୷஛ଠ࿍࿖ᅌଝ଺କଘᛛରାଽ இ஝ୠஙஎ૾౬ᛟଙ૿ଽଠଡለᬾ஫᮱ᮣଠᵄ൏
10. ୒஛இଙଡ༷ፕଝჵ૶᮱ᮣୄ ଛ૸࿚ᚨଉଘ૶ଽଠ૽
11. 4DBMFCBTF஀୳ୟ୘ண୹୧୩୶ஐ "QQMJDBUJPO
    GSBNFXPSL
    4ZTUFN
    %FTJHO
    %PNBJOESJWFO
    %FTJHO
    1PG&"" "SDIJUFDUVSF
    .PEVMFS
    NPOPMJUI
    $MFBO
    "SDIJUFDUVSF -JCSBSZ
    &῎ FF
    1PTUNBO
12. 4DBMFCBTF஀୳ୟ୘ண୹୧୩୶ஐ "QQMJDBUJPO
    GSBNFXPSL
    4ZTUFN
    %FTJHO
    %PNBJOESJWFO
    %FTJHO
    1PG&"" "SDIJUFDUVSF
    .PEVMFS
    NPOPMJUI
    $MFBO
    "SDIJUFDUVSF -JCSBSZ
    &῎ FF
    1PTUNBO KWWSVVFDODPDWVXULRUJMDSURSRVDOV-
13. 4DBMFCBTF஀୳ୟ୘ண୹୧୩୶ஐ "QQMJDBUJPO
    GSBNFXPSL
    4ZTUFN
    %FTJHO
    %PNBJOESJWFO
    %FTJHO
    1PG&"" "SDIJUFDUVSF
    .PEVMFS
    NPOPMJUI
    $MFBO
    "SDIJUFDUVSF -JCSBSZ
    &῎ FF
    1PTUNBO KWWSVVFDODPDWVXULRUJMDSURSRVDOV-
14. 4DBMFCBTF஀୳ୟ୘ண୹୧୩୶ஐ "QQMJDBUJPO
    GSBNFXPSL
    4ZTUFN
    %FTJHO
    %PNBJOESJWFO
    %FTJHO
    1PG&"" "SDIJUFDUVSF
    .PEVMFS
    NPOPMJUI
    $MFBO
    "SDIJUFDUVSF -JCSBSZ
    &῎ FF
    1PTUNBO ଅଠᳬ૾ଛ૸୧୩୶ஐଝ࿪௨ଉଘ૶ଽ૽ଚ૶૸ᯌ
15. $MFBO
    "SDIJUFDUVSFଙ ౧ୄᮛᓴଉ଑૶ଠ૽ KWWSVEORJFOHDQFRGHUFRPXQFOHEREWKHFOHDQDUFKLWHFWXUHKWPO
16. $MFBO
    "SDIJUFDUVSFଙᜈᣨฅ஫Ἑ഼ṓႼଜୣ஬୹ପ ౫Ꮡ᪉ྥ䛾ᔂቯ౫Ꮡ᪉ྥ䜢୍᪉ྥ䛻䛩䜛 ୙㐺ษ䛺จ㞟ᗘ䝺䜲䝲䞊䛤䛸䛻౫Ꮡ䜢⤠䜛䚸䝴䞊䝇䜿䞊䝇䜢ศ㞳 㛵ᚰ䛾ศ㞳䝡䝆䝛䝇䝻䝆䝑䜽 䝗䝯䜲䞁 䛾ศ㞳䚸䜹䝥䝉䝹໬ Ļ 䝺䜲䝲䞊䛜ศ䛛䜜䚸␯⤖ྜ䞉㧗จ㞟ᗘ䛻䛺䛳䛯䝁䞊䝗䛿ኚ᭦䛜ᑠ䛥䛟䚸⡆༢䛻䛺䜛
17. 4DBMFCBTFଡ௟ᨛ᜷ଜஜ୔ஔ஬୹୒஬ଢ଼୶ୟୱஓ $MFBO
    "SDIJUFDUVSF
    JO
    4DBMFCBTF #BUDI"EBQUFS )UUQ "EBQUFS &YUFSOBM)UUQ "EBQUFS %PNBJO 6TF$BTF 8FC
    6* %# 0UIFS
    $POUFYU (SQD "EBQUFS &OUJUZ
    -BZFS %PNBJOஒ୷஛ᥔ૿༂ૌಁྺଡଜଉ 6TF$BTF
    -BZFS ୒ୟ୯஬உ஬୩ଠ஖஬୩ୡ஬୩ *OUFSGBDF
    "EBQUFS
    -BZFS )UUQଡ"1*ᛟો4FDPVOEBSZଡ 3FQPTJUPSZᛟ
    (SQDଡങᵄᴉಘᛟ 'SBNFXPSLT
    BOE
    %SJWFST
    -BZFS %#ો୔ணஅஙો8FCଜଛଚᤳ૾ଽ 4FDPOEBSZ "EBQUFS
18. 6TF$BTF*OUFSGBDF
    "EBQUFS૾ጤ᷾᜷഼ṓႼଝ଺଼᛽ଜଽඇ᎞ୄሿଖിᚫ૾ṓର଼ଶଋ૶ "1*ଠ༷ፕଡ$MFBO
    "SDIJUFDUVSFଠଛଅଙᱹଅଽଠ૽ #BUDI"EBQUFS )UUQ "EBQUFS &YUFSOBM)UUQ "EBQUFS %PNBJO 6TF$BTF 8FC
    6* %# 0UIFS
    $POUFYU (SQD "EBQUFS 6TF$BTF
    -BZFS ୒ୟ୯஬உ஬୩ଠ஖஬୩ୡ஬୩ *OUFSGBDF
    "EBQUFS
    -BZFS )UUQଡ"1*ᛟો4FDPVOEBSZଡ 3FQPTJUPSZᛟ
    (SQDଡങᵄᴉಘᛟ 4FDPOEBSZ "EBQUFS
19. TCUଙ$MFBO
    "SDIJUFDUVSFଠස௟ಁྺዷฎᅌୄ࿚ᚨଋଽ TCUଠ.VMUJ
    1SPKFDU
    CVJMEଙୣண୶ଢ଼୩୸
    
    ஜ୔ஔ஬ଙ൏൵ଉોಁྺዷฎୄᣪଽ *OUFSGBDF
    "EBQUFS
    
    6TF$BTF
    
    %PNBJO ໱፱᜷ଝଅା଒ଃଙ଺૶ ෝ࿬ଝ૶૸ଚ%*1 EFQFOEFODZ
    JOWFSTJPO
    QSJODJQMF ଴ᬻକଘ૶ଽ
20. 6TF$BTFଶ*OUFSGBDF
    "EBQUFS૽଻ለᬾ᜷ଜḂᄮୄ൏Ṟଙ૿ଘ૶ଽ૽ῷ 6TF$BTFଠിᚫ౺  ஒ୷஛ଠ$36%஫%#୒ୟ୫୩஫᛽ଜଽ୷஬୯୭஬୩อ൉஫"1*ୣ஬஛ଜଛ *OUFSGBDF
    "EBQUFSଠിᚫ౺  ᯔ᮸஫஖஬୩ୡ஬୩ଠ࿚ᬻ஫ஒ୷஛༷ኁ஫*0ଜଛ $MFBO
    "SDIJUFDUVSF଒ଃଙଡ࿏ഋଝ൏Ṟଙ૿ଜ૶ ଏଅଙ
    &῎
21. &῎ଙ౧ୄᮛᓴଉ଑૶ଠ૽ KWWSRNPLMRUJIWS+DVNHOOH[WHQVLEOHPRUHSGI
22. ᒶଛଠ୭அ୸ୖୗ୒ଡṻฉ፫ിᚫΰᇡൿཉዖ  )551சୟ୘୩୸  %#୒ୟ୫୩ ଜଛ 4DBMBଙଡ ṻฉ፫ിᚫ
    'VUVSF
    PS
    NPOJY5BTLଜଛ ᇡൿཉዖ
    5SZ
    PS
    &JUIFS<- 3>ଜଛ ṻฉ፫ଠᣨ᎞ᇡൿཉዖ
    'VUVSF<&JUIFS<- 3>> 
    ஒ୺୹ଠฅᇡ
23. ஒ୺୹ଠฅᇡ૾ṟଉ૶ῷ
24. GPSZJFMEუ GPS
    \ 
    ଅଠ௴ଙଡଋଫଘNBQ ῐBU.BQ
    XJUI'JMUFS DBTF
    NBUDI
    
    JG ଠᢸᭅᑑዥ 
    ໱፱᜷ଝଡ௟ଖଠୣண୶ଢ଼୩୸ଠ଱࿾ᰳ FY
    0QUJPO
    'VUVSF
    &JUIFSଜଛ 
    ଅଠ௴ଙለᬾ᜷ଜḂᄮଠ൲౬ᛟ૾இ஝ୠஙஐୄ᭲ṙଝଋଽ 
    ൲౬ᛟ
    ࠵
    ᙡᆨଠ༷ፕો*0ો౺༻ોFYFDVUJPO
    DPOUFYUો4DIFEVMFSଜଛ ^
    ZJFME
    
25. ஒ୺୹ฅᇡଠ๧Ẵ ೝ଻ଡଅାୄஒ୺୹୸ஙண୩அ୙஬எ஬ଙଡଜଁ&῎ଙᮛᓴଉଘ૶ଽ 'VUVSF<&SSPS
    &JUIFS
    6OJU>ୣண୶ଢ଼୩୸ &SSPS
    &JUIFS
    0QUJPO<.PEFM>ୣண୶ଢ଼୩୸
26. &῎ &YUFOTJCMF
    &῎FDUT ᒩ឴ଝଡ&YUFOTJCMF
    &῎FDUTୄዋ๱ଉ଑.PSF
    &YUFOTJCMF
    &῎FDUTୄቫᛟ &῎௟ଖଠໜଙ᭲ዝଠඇ᎞ୄᭇᚨଙ૿ଽஒ୺୹ ଜ଎ᄰᮉଜଠ૽ ଺଼ለᬾ᜷ଜᵄ൏ଠḂᄮୄ൏Ṟଋଽ ૖4DBMBୄ౶૸
    ࠵
    ஒ୺୹ୄ౶૸૗ *.0 ଚ૿ોฅᇡ૾ṟଉ૶ଚ૶૸ለᬾ᜷൝ᣇ ஒ୺୹ଠฅᇡୄ፞଴୧ணஇ஛ଝፘଃଽ அங୳୸ଙMJGU૾ଜ૶
27. ୡ஬୩୩୯୷୓
    %SZ3VO ૴ଽ"1*ଙ୷஬୯ଠᓠ᣺ටୄଉଜ૶ଃଛᴉଽ૽ୱୗ୳ୟଋଽ
28. ஖஬୩ୡ஬୩ଠ഼ṓႼ૾ጤ᷾᜷഼ṓ૽଻ᯬᚫ᜷഼ṓଝଜ଼ᅸᇸ ESZ3VOஅஙୠଙൗ࿖
29. 
    ଭମฉଊESZ3VO஖஬୩ୡ஬୩ୄ᳽඀ ࿚᭢ଡᑀ  ဌଇଜ஖஬୩ୡ஬୩ોဍଜ૶஖஬୩ୡ஬୩ଜଛଠ༂ฅଡᨭଇଏ૸  6TF$BTFଠᵶ᭲૾༗ૺଽ
    ஂக஬எண୘ங஬ଝ଺ଽ஀ୠୄᛛ଱ଶଋ૶  6TF$BTFଠಜᒩ૾႖ଝకನଝଜଽ
    ༷ፕᵸୄ༗඀ଇ଍ଘଉର૸
30. 
    &῎ଙESZ3VOଠ*OUFSQSFUFSୄ౬ଽ 6TF$BTF
    -BZFS
    3FBE8SJUFᛟଠ*OUFSQSFUFSଡଋଙଝ૴ଽ ࿚ᬻጤ SVO ଝଋଫଘ3PMMCBDLଋଽിᚫୄ᳽඀ଋଽଅଚଙ࿚ᚨଋଽ  6TF$BTFଠിᚫୄ௟൐༷ፕଉଜଁଘ଺૶  6TF$BTFങଝለᬾ᜷Ḃᄮଝ଺ଽ൏ဳଶ༷ኁ૾ଜଁଜଽ
31. 
    &῎ଙESZ3VOଠ*OUFSQSFUFSୄ౬ଽ *OUFSGBDF
    "EBQUFS
    -BZFS
    $POUSPMMFS1SFTFOUFSိଜଛଙ൏ဳിᚫୄፘ૿ESZ3VOଋଽଠ଱ ஖஬୩ୡ஬୩ଠၼଉ፝ૺଜଛଡଜଉ
32. &῎ୄ౶૸஑ச୳୸  ஒ୺୹ଠฅᇡ૾ᢊසଝଜଽ  6TF$BTF*OUFSGBDF
    "EBQUFS૽଻ᒶଛଠለᬾ᜷Ḃᄮୄ൏Ṟଙ૿ોᨅᘑᮟᯘଠᭇᚨଝ᳴ଗଁ  ඇ᎞ୄ$POUFYU
    #PVOEଙᭇᚨଙ૿ો౧૾ᱹଅଽ૽ତଚ᝕ଙൗዴଙ૿ଽ 
    %#୒ୟ୫୩૾ᱹଅ଼ᄠଽിᚫଜଠ଒ଜ ':*
    $POUFYU
    #PVOE EFG
    G<5> 
    JNQMJDJU
    B"<5>
    
    
    
    EFG
    G<5">  ଚፘଃଽᢸᭅᑑዥ
33. &῎ୄ౶૸୷஑ச୳୸  ᆰାଽରଙଝጤ᷾૾૽૽ଽῠೝଡགଉ଑୷஑ச୳୸ଙଡଜ૶ଚᅈ૸ῡ  ୣண஁୔஛୘ங஬ଝଡଜଽ૾ો୘ங஬૾ṟᮛ  ୒஬ଢ଼୶ୟୱஓଚଠᯌ૾ဍଜ૶  ဋഊఔ౺૾ဍଜ૶  6TF$BTFଜଛୄ଺଼ᤅᾎଝ᮫᳻ଋଽ଑ଳଝଡഋଘଠိଙ&῎ୄᳵଋᄰᮉ૾૴ଽ
34. ༷ፕᵸୄ௦଄ો༷ፕ࿧ጕᅌୄ௥଄ଽ଑ଳଝ$MFBO
    "SDIJUFDUVSFଚ&῎ୄ౶૸ $MFBO
    "SDIJUFDUVSF  ஒ୨க஬஛ටોස௟ಁྺዷฎୄ࿚ᚨଉોᜈᣨฅ஫Ἑ഼ṓႼଝଋଽ  TCUଠ.VMUJ
    1BDLBHF
    CVJMEଙᢊසଝ࿚ᚨଙ૿ଽ &῎  ஒ୺୹ଠฅᇡୄᢊසଝଋଽ  $MFBO
    "SDIJUFDUVSF଒ଃଙଡଙ૿ଜ૶ለᬾ᜷Ḃᄮଠ൏Ṟୄሟ૸ 5IBOL
    ZPV