Upgrade to Pro — share decks privately, control downloads, hide ads and more …

猫とたはむれる

Avatar for cedretaber cedretaber
May 15, 2017
Programming
940
2

 猫とたはむれる

ScalaのFP用ライブラリ cats の紹介です。

Avatar for cedretaber

cedretaber

May 15, 2017

More Decks by cedretaber

See All by cedretaber
関数型初心者におすすめしたい "OCaml"
Avatar for cedretaber cedretaber
1
1k
3ヶ月間Scalaと付き 合って感じた事　……という発表を想定していたのですが
Avatar for cedretaber cedretaber
3
3.2k

Other Decks in Programming

See All in Programming
「接続」—パフォーマンスチューニングの最後の一手 〜点と点を結ぶ、その一瞬のために〜
Avatar for 武田 憲太郎 kentaroutakeda
4
2.3k
モックわからないマン卒業記 ~振る舞いを起点に見直した、フロントエンドテストにおけるモックの使いどころ~
Avatar for Tasuku Watanabe tasukuwatanabe
3
430
RSAが破られる前に知っておきたい 耐量子計算機暗号(PQC)入門 / Intro to PQC: Preparing for the Post-RSA Era
Avatar for mackey0225 mackey0225
3
100
Feature Toggle は捨てやすく使おう
Avatar for gennei gennei
0
390
KagglerがMixSeekを触ってみた
Avatar for Morim morim
0
360
今年もTECHSCOREブログを書き続けます！
Avatar for 平奥真一（ひらおくしんいち） hiraoku101
0
210
Java 21/25 Virtual Threads 소개
Avatar for Sunghyouk Bae (Debop) debop
0
310
GC言語のWasm化とComponent Modelサポートの実践と課題 - Scalaの場合
Avatar for Rikito Taniguchi tanishiking
0
130
AI時代のシステム設計：ドメインモデルで変更しやすさを守る設計戦略
Avatar for 増田 亨 masuda220
PRO
6
1.1k
夢の無限スパゲッティ製造機 -実装篇- #phpstudy
Avatar for hideki kinjyo o0h
PRO
0
180
PHP でエミュレータを自作して Ubuntu を動かそう
Avatar for memory m3m0r7
PRO
2
150
「速くなった気がする」をデータで疑う
Avatar for Leaf senleaf24
0
120

Featured

See All Featured
Bioeconomy Workshop: Dr. Julius Ecuru, Opportunities for a Bioeconomy in West Africa
Avatar for AKADEMIYA2063 akademiya2063
PRO
1
80
How to Align SEO within the Product Triangle To Get 
Buy-In & Support - #RIMC
Avatar for Aleyda Solis aleyda
1
1.5k
The Anti-SEO Checklist Checklist. Pubcon Cyber Week
Avatar for Ryan Jones ryanjones
0
110
The untapped power of vector embeddings
Avatar for Frank van Dijk frankvandijk
2
1.6k
YesSQL, Process and Tooling at Scale
Avatar for Rocio Delgado rocio
174
15k
How to Talk to Developers About Accessibility
Avatar for Jason CranfordTeague jct
2
170
CSS Pre-Processors: Stylus, Less & Sass
Avatar for Bermon Painter bermonpainter
360
30k
Save Time (by Creating Custom Rails Generators)
Avatar for Garrett Dimon garrettdimon
PRO
32
2.6k
Exploring anti-patterns in Rails
Avatar for Elle Meredith aemeredith
2
300
Are puppies a ranking factor?
Avatar for Jono Alderson jonoalderson
1
3.2k
We Are The Robots
Avatar for Honza Javorek honzajavorek
0
210
Code Review Best Practice
Avatar for Trisha Gee trishagee
74
20k

Transcript

  1. ೣͱͨ͸ΉΕΔ @cedretaber

  2. Twitter / Github @cedretaber ͓࢓ࣄ Scala TypeScript झຯ Ruby Erlang

    / Elixir F# Dݴޠ

  3. cats ࠓճ͝঺հ͢Δͷ͸typelevel / cats 4DBMBͰ'1Λߦ͏ҝͷϥΠϒϥϦ 4DBMB[ͱ͔ͷϑϨϯζ

  4. Why cats? ࢖͍΍͍͢σʔλܕ͕ ἧ͍ͬͯΔ 4DBMBඪ४ͷσʔλܕʹ ΋ศརͳؔ਺Λ஫ೖ͠ ͯ͘ΕΔ ιʔε͕ಡΈ΍͘͢ݟ ָ͍͍ͯͯ͠

  5. NonEmptyList

  6. ʮઈରʹۭ͡Όͳ͍ࣄ͕อূ͞ΕͨʯϦετɻ ʮ͜͜Ͱ౉ͬͯ͘ΔϦετ͸ۭ͡Όͳ͍ʯͬͯ࣌ʹ ࢖͏ɻ

  7. None

  8. Ϧετͱͷ૬ޓม׵ /PO&NQUZ-JTUΛ࢖͍͍ͨ৔໘͸-JTUΛ࢖͍͍ͨ৔ ໘ʹแؚ͞Ε͍ͯΔ͸ͣͳͷͰɺϦετͱͷ૬ޓม ׵͸ଟ༻͢Δɻ

  9. None

  10. ͦͷଞͷϝιου /PO&NQUZ-JTU͸ී௨ͷϦετͷϝιου͕֓Ͷ࣮ ૷͞Ε͍ͯΔɻ ·ͨɺ4FNJHSPVQ,ɺ5SBWFSTFɺ.POBEͳͲͷΠ ϯελϯεͳͷͰɺศརͳϝιου΋਺ଟ͘࢖͑Δ ʢۭͷঢ়ଶ͕ଘࡏ͠ͳ͍ͨΊɺϞϊΠυͰ͸ͳ͘൒ ܈ͳͷͰ஫ҙɻʣ

  11. None
  12. None
  13. None

  14. ෇ه NonEmptyVector NonEmptyStream ΋͋Δɻ

  15. Validated

  16. ʮ-FGUΛ஝ੵ͢Δ&JUIFSʯ ໊લͷ௨ΓɺόϦσʔγϣϯΛ͔͚Δ࣌౳ʹॏๅ͢ Δɻ

  17. ྫ Ϣʔβొ࿥ͷॲཧΛߟ͑Δɻ Ϣʔβ*%͸ॏෳෆՄɺύεϫʔυ͸จࣈҎ্ɺΈ ͍ͨͳͷ৚͕݅͋Δͱ͢Δɻ

  18. None

  19. ͜ͷ࣮૷ͩͱɺ*%ͱύεϫʔυͷ྆ํʹ໰୊͕͋Δ ৔߹΋*%ͷΤϥʔ͔͠ฦΒͳ͍ɻ όϦσʔγϣϯΛߦ͏৔߹ɺೖྗʹଘࡏ͢Δશͯͷ ϛεΛฦ͢ํ͕Ϣʔβʹ༏͍͠ɻ ͳͷͰɺ7BMJEBUFEΛ࢖͏ɻ

  20. None
  21. None

  22. /PO&NQUZ-JTUͱͷซ༻ ઌड़ͷྫͩͱ4USJOHΛ࢖ͬͯΤϥʔΛ஝ੵ͕ͨ͠ɺ จࣈྻΛͪ͝Όͪ͝Όͱ઀ଓͯ͠͠·͏ͷ͸͋·Γ ៉ྷͳ΍Γํͱ͸ݴ͑ͳ͍ɻ ͳͷͰɺ/PO&NQUZ-JTUΛ࢖ͬͯ஝ੵͯ͠ΈΔɻ

  23. Ͳ͏ͯ͠/PO&NQUZ-JTUͳͷ͔ʁ ผʹ௨ৗͷ-JTUͰ΋ྑ͍ͷ͕ͩɺ7BMJEBUFEͷ৔߹ɺ *OWBMJEʹͳΔ࣌͸ԿΒ͔ͷ஋͕ೖ͍ͬͯΔ͸ͣͳͷ Ͱɺ*OWBMJE͔ͭத਎͕ۭͱ͍͏ࣄ͸͋Γ͑ͳ͍ɻ ͳͷͰɺ/PO&NQUZ-JTUͷํ͕૬Ԡ͍͠ɻ

  24. None

  25. 7BMJEBUFE /PO&NQUZ-JTUͷ૊Έ߹Θͤ͸ඇৗʹ Α͘࢖͏ͷͰɺDBUTʹ͸*OWBMJEΛ/PO&NQUZ-JTU ͱ૝ఆͨ͠7BMJEBUFE/FMͱ͍͏ܕ͕༧Ί༻ҙ͞Ε ͍ͯΔɻ ˣఆٛ

  26. None

  27. ෇ه ʮਖ਼͍͠஋Λฦͭͭ͠ɺ ్தܦաͷԿ͔΋஝ੵ ͍ͨ͠ʯͱ͍͏৔߹͸ Iorͱ͍͏σʔλܕ͕࢖ ͑Δɻ

  28. List, Either

  29. ҉໧ͷม׵Λར༻ͯ͠ɺDBUT͸طଘͷΫϥεʹ΋৭ʑ ͳϝιουΛੜ΍ͯ͘͠ΕΔɻ ಛʹɺ-JTU΍&JUIFSͷ֦ு͕ศརɻ 5SBWFSTF΍'PMEBCMF͸Ͳ͜·Ͱ΋ศརɻ YҎલͳΒ&JUIFSʹNBQqBU.BQΛੜ΍ͯ͠ ͘ΕΔͷ΋ศརɻ

  30. None
  31. None
  32. None
  33. None
  34. None
  35. None

  36. 6OBQQMZʹ͍ͭͯ ্Ͱ&JUIFS΍7BMJEBUFEͷ-JTUʹTFRVFODF΍ USBWFSTFΛద༻͍ͯ͠ΔͷΛݟͯɺٙ໰ʹײͨ͡ํ ΋ଟ͍ͩΖ͏ɻ ͱ͍͏ͷ΋ɺ෦෼ద༻͞ΕͨܕҾ਺Λਪ࿦Ͱ͖ͳ͍ ͱ͍͏໰୊ʢ4*ʣ͸༗໊ͰɺͦΕʹରԠ͢Δ ͨΊʹDBUT͸6OBQQMZΛ࢖͍͔ͬͯͨΒͩɻ

  37. None

  38. ͔͜͠͠ͷ໰୊͸೥ఔલʹղܾ͞Ε͓ͯΓɺ 4DBMB͔Β͸ܕਪ࿦͕վળ͞Ε͍ͯΔɻ ·ͨچόʔδϣϯͷ4DBMBͰ΋ɺTCUͷϓϥάΠϯΛ ࢖͏ࣄͰಉ౳ͷػೳΛར༻Ͱ͖Δɻ ͜ΕΛड͚ͯDBUTͰ͸ɺٞ࿦ͷ຤ɺ6OBQQMZͷར ༻Λίʔυ͔Βഉআ͢Δࣄʹͨ͠Β͍͠ɻ

  39. ऴΘΓʹ

  40. DBUT΍TDBMB[ʹ༻ҙ͞Εͨศརͳؔ਺Λ࢖͏ͱɺ΍ ΍͍͜͠ॲཧΛεοΩϦͱॻ͘ࣄ͕Ͱ͖Δɻ ಛʹUSBWFSTF΍TFRVFODFͳͲ͸ɺ࠶ؼؔ਺΍ GPME-FGUΛۦ࢖ͯ͠ॻ͜͏ͱ͢ΔͱͲ͏ͯ͠΋ෳࡶ ʹͳͬͯ͠·͏ɻ

  41. ͨͩ͠ɺແҋʹ࢖͑͹͍͍ͱ͍͏Θ͚Ͱ΋ͳ͍ͷͰ ஫ҙɻ ݟ׳Εͳ͍ϝιουΛ࢖͏ΑΓɺ࠶ؼؔ਺ͱ GPME-FGUͰॻ͍ͨํ͕ʢिؒޙͷࣗ෼ΛؚΊͨʣ ଞਓʹͱͬͯಡΈ΍͍͢ࣄ΋͋Δɻ ͦͷ͋ͨΓ͸νʔϜͷ܏޲ͳͲݟͭͭௐ੔͍͖ͯ͠ ·͠ΐ͏ɻ

  42. ࢀߟࢿྉ w UZQFMFWFMDBUT IUUQTHJUIVCDPNUZQFMFWFMDBUT w ೣ൪ IUUQFFETJODPNIFSEJOHDBUT