Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

How to write like Cats

Avatar for Shannon Shannon
August 28, 2019
Technology
260
0

How to write like Cats

Avatar for Shannon

Shannon

August 28, 2019

More Decks by Shannon

See All by Shannon
Signify Bootcamp
Avatar for Shannon signify
0
290
Event Sourcing Blockchains at TokenAnalyst
Avatar for Shannon signify
0
150
The Last Frontier and Beyond
Avatar for Shannon signify
0
150
Jon Pither
Avatar for Shannon signify
0
250
Kubernetes as a Streaming Data Platform with Kafka, Spark, and Scala
Avatar for Shannon signify
0
100
Writing human readable tests using Scala
Avatar for Shannon signify
0
160
Making Contracts Smart, Secure and Functional with DAML and Scala
Avatar for Shannon signify
0
140
Ansible and Scala Projects
Avatar for Shannon signify
0
290
Automatic differentiation in Scala by Xiayun Sun
Avatar for Shannon signify
0
420

Other Decks in Technology

See All in Technology
Reactの設計論
Avatar for uhyo uhyo
24
13k
安心して変更できるWebフロントエンドの作り方
Avatar for Hiroyuki ANAI pirosikick
5
2.6k
DEFCON34-Write-up_HYCu-MYCu
Avatar for okzkey daikiokazaki
0
160
アクセスキーこわい やめかたと漏らさない工夫
Avatar for Yuichi Sato sassssan68
1
290
作品が生態系になった ─ Mini Tokyo 3D から世界へ
Avatar for 草薙昭彦 nagix
0
190
range over func 2年間の軌跡 Issue #56413 はGoのエコシステムをどう変えたか
Avatar for Ryuji Kokubu ryujicre8ive
0
190
フルカイテン株式会社 エンジニア向け採用資料
Avatar for FULL KAITEN fullkaiten
0
12k
銀行勘定系システムにおける開発プロセス刷新×AIによる環境モダナイゼーション / Development Process Transformation and AI-Driven Environment Modernization
Avatar for 三菱UFJインフォメーションテクノロジー株式会社 muit
0
2.2k
2026-09-18 gotanda.sre Terraformで複数環境作ったり、複数Stateに分割したりそれとTerragrunt / Terraform multi envs and multi states
Avatar for SUZUKI Masashi masasuzu
1
400
AI 時代のスタートアップエコシステ厶から考究する技術的負債との向き合い方
Avatar for memory m3m0r7
PRO
2
2.1k
積み重なった技術負債への挑戦 〜初手としての全社ゴト化〜
Avatar for PERSOL CAREER Dev | techtekt techtekt
PRO
0
1.3k
AIを活用するために決めた "やらないこと" - 価値に注目する / Not betting on AI
Avatar for soudai sone soudai
PRO
2
530

Featured

See All Featured
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
183
10k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
331
25k
Skip the Path - Find Your Career Trail
Avatar for Mark Kilby mkilby
1
230
Amusing Abliteration
Avatar for ianozsvald ianozsvald
1
300
Groundhog Day: Seeking Process in Gaming for Health
Avatar for Sebastian Deterding codingconduct
0
350
Producing Creativity
Avatar for Steve Smith orderedlist
PRO
348
41k
Digital Ethics as a Driver of Design Innovation
Avatar for Per Axbom axbom
PRO
1
420
Ethics towards AI in product and experience design
Avatar for Skipper Chong Warson skipperchong
2
380
Designing for Timeless Needs
Avatar for Cassini Nazir cassininazir
1
480
Git: the NoSQL Database
Avatar for Brandon Keepers bkeepers
PRO
432
67k
Building AI with AI
Avatar for Ines Montani inesmontani
PRO
1
1.2k
GitHub's CSS Performance
Avatar for Jon Rohan jonrohan
1033
470k

Transcript

  1. How to write like cats

  2. None

  3. What we won’t be talking about What we will be

    talking about • Category theory • Monads, Monoids, Functors etc. • Effect types • Polymorphism • Type classes • Implicits

  4. Subtype polymorphism

  5. Subtype polymorphism ↓ Ad-hoc Polymorphism (Type classes)

  6. None

  7. Live coding! github.com/MontyWest/tech-talk-typeclass

  8. Type Classes • Can add functionality to types you don’t

    ‘own’. • Can change functionality in different scopes. • Higher level of abstraction, composability and applicability. • Enables library like Cats, allows others to do your work for you!

  9. Links to follow • Typelevel Cats: https://typelevel.org/cats/ • Typelevel blog:

    https://typelevel.org/cats/typeclasses.html • Talks: ◦ Petra Bierleutgeb, Polymorphism in Scala: https://www.youtube.com/watch?v=-SA1Ui283Qc ◦ Rob Norris, ScalaX keynote: https://skillsmatter.com/skillscasts/11626-keynote- pushing-types-and-gazing-at-the-stars

  10. Thanks for listening! Any Questions?