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

猫とたはむれる

8f4860855bc98d47af58e43652aae1e7?s=47 cedretaber
May 15, 2017
Programming
2
660

 猫とたはむれる

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

8f4860855bc98d47af58e43652aae1e7?s=128

cedretaber

May 15, 2017
Tweet

More Decks by cedretaber

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

Other Decks in Programming

See All in Programming
EFFICIENT CREATION OF AN EMPTY COLLECTION IN .NET
7437b838338581b08ca72340b05475b9?s=48 abt
0
150
Branching out to Jetpack Compose
86f746f6c0c522ab2261bd55791d8a4a?s=48 chrisbanes
4
1.1k
はてなフォトライフをECSに移行した話 / Hatena Engineer Seminar #20
5e1d0f7877241ad4447c6611d9a51fd7?s=48 cohalz
1
810
Amazon Aurora の v1 が EOL になるので 10 クラスタアップグレードして出てきたノウハウ
A762939f94c8790c8ca8b717f1be9bee?s=48 dekokun
0
840
言語処理ライブラリ開発における失敗談 / NLPHacks
7b5bbcad8cad0559a385206fbe038744?s=48 taishii
1
420
【Scrum Fest Osaka 2022】スクラムチームに放り込まれた若手エンジニアの皆さん、どのように技術のキャッチアップをしていくかイメージはついていますか？
70be36c6f5871b4f2d238f96587ffeb3?s=48 miiiki
0
100
Java初心者が知っておくべきプログラミングのこと - JJUG CCC 2022 Spring
9e840766611f942c7c0a9ad6987a5d78?s=48 kishida
4
510
Airflowはすごいぞ！
65389cd2b6fdc531dcc4af999e864593?s=48 hankehly
0
370
GitHubのユーザー名を変更した後のあれこれ
E4b008af82e3a9b3cbae5b757b22c54e?s=48 tahia910
0
120
One does not simply: migrating to Android 12 🤯
56047a7b11797f42c2e7030d771fe803?s=48 oleur
1
120
Baseline Profilesでアプリのパフォーマンスを向上させる / Improve app performance with Baseline Profiles
37618b4d60cf3d1f43f7196253264edc?s=48 numeroanddev
0
220
Value and Record Types
575ca492bac55e895d0e1c86f7d709fe?s=48 hschwentner
0
540

Featured

See All Featured
A better future with KSS
5f2da528927a2ec9ba4fec2069cbc958?s=48 kneath
225
15k
How GitHub Uses GitHub to Build GitHub
78b475797a14c84799063c7cd073962f?s=48 holman
465
280k
BBQ
761be20b5ebd271008bcee1244fc5b52?s=48 matthewcrist
74
7.9k
Embracing the Ebb and Flow
C9b18d9dff88a9dd2393364c2b3b21bd?s=48 colly
73
3.4k
Build The Right Thing And Hit Your Dates
016edace78ffe826f2348d1e0c504afd?s=48 maggiecrowley
19
1.2k
Web Components: a chance to create the future
E190023b66e2b8aa73a842b106920c93?s=48 zenorocha
303
40k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
F383c6a4dc55e331bbe2987b622cee6b?s=48 stephaniewalter
269
11k
Java REST API Framework Comparison - PWX 2021
72a2082c6a4dd79ad68befb3db911616?s=48 mraible
PRO
11
4.7k
Why Our Code Smells
20bfe76b3d6105641f879fe45cfc9272?s=48 bkeepers
PRO
324
55k
Fontdeck: Realign not Redesign
0bce06bd06ee7a2c4f5500f25dcf7f18?s=48 paulrobertlloyd
73
4.1k
WebSockets: Embracing the real-time Web
E76911cbe088e5b850d966de3fc7435b?s=48 robhawkes
57
5.1k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
95d9f37115fbb0d13135d0f77132f856?s=48 morganepeng
104
16k

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