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

How to write like Cats

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Shannon Shannon
August 28, 2019
Technology
270
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
160
The Last Frontier and Beyond
Avatar for Shannon signify
0
160
Jon Pither
Avatar for Shannon signify
0
250
Kubernetes as a Streaming Data Platform with Kafka, Spark, and Scala
Avatar for Shannon signify
0
110
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
「Docker Desktop不要の時代」は 来たのか？
Avatar for ueponx ueponx
0
250
プロダクト価値を、 チームが使える判断軸に変える
Avatar for viviON vivion
0
130
検証フェーズはAIの回答を判断するための学習機会
Avatar for Toru_Kubota toru_kubota
2
530
子育てエンジニアの可処分時間が減っても成長を諦めない戦い方
Avatar for aki sudoakiy
4
4k
しろおびから始める！ログ活用の第一歩
Avatar for Shumei Ito shumei_ito
0
680
IoTデバイスを繋げるプロトコルMatterをAndroidで使用する方法
Avatar for harutiro harutiro
0
120
オンラインゲームのシステム全体像 - コロプラ 2026年度 新卒研修
Avatar for COLOPL Inc. colopl
0
930
The seven pitfalls of AI (revised version)
Avatar for Uwe Friedrichsen ufried
0
290
AIがコードを書く時代に、エンジニアは何で自分の価値を証明するのか / In an era where AI writes code how do engineers prove their value
Avatar for CARTA Engineering carta_engineering
0
420
継続的なAIコスト最適化
Avatar for Atsushi Tanaka bgpat
1
240
AI時代だからこそ推したい！Gitコマンド再入門
Avatar for ムナカタ munakata
0
160
自主式軟體工廠
Avatar for philipz philipz
0
240

Featured

See All Featured
brightonSEO & MeasureFest 2025 - Winning Strategies for Black Friday CRO & PPC - Christian Goodrich
Avatar for Christian Goodrich cargoodrich
3
860
Crafting Experiences
Avatar for Bethany Jepchumba bethany
1
370
Imperfection Machines: The Place of Print at Facebook
Avatar for Scott Boms scottboms
270
14k
Unsuck your backbone
Avatar for Amy Palamountain ammeep
672
58k
Facilitating Awesome Meetings
Avatar for Lara Hogan lara
57
7.2k
Producing Creativity
Avatar for Steve Smith orderedlist
PRO
348
41k
Being A Developer After 40
Avatar for Adrian Kosmaczewski akosma
92
590k
Building AI with AI
Avatar for Ines Montani inesmontani
PRO
1
1.3k
Paper Plane
Avatar for Katie Cordina Lindsey katiecoart
PRO
4
54k
世界の人気アプリ100個を分析して見えたペイウォール設計の心得
Avatar for Akihiro Kokubo akihiro_kokubo
PRO
74
42k
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
240
The innovator’s Mindset - 
Leading Through an Era of Exponential Change - McGill University 2025
Avatar for Jean-Marc De Jonghe jdejongh
PRO
1
370

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?