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

How to write like Cats

Avatar for Shannon Shannon
August 28, 2019
Technology
250
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
99
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
LayerXにおけるセキュリティ管理の現在地と次の一手
Avatar for tosho tosho
0
220
2026TECHFRESH畢業分享會 - 葬送的通靈師：化系統與用戶雜訊成行動訊號
Avatar for LINE Developers Taiwan line_developers_tw
PRO
0
1.1k
スキルと MCP ツール、責務をどう分けるか？ AI が迷わないインターフェース設計の戦略
Avatar for CData Software Japan cdataj
1
1.1k
ACE-Step-1.5で見る 音楽生成AIのしくみと“破綻だけ直す”Retake機能の開発【zennfes spring 2026 登壇資料】
Avatar for asap personabb
1
510
エンジニアリング戦略の作り方 / Crafting Engineering Strategy
Avatar for iwashi iwashi86
21
7k
200個のGitHubリポジトリを横断調査したかった
Avatar for Issei.Komori icck
0
130
Socrates × Looker　〜セマンティックレイヤーで進化するデータ分析エージェント〜
Avatar for Uchide Hiroki(ucchi-) hanon52_
3
2.4k
AAIFに入ってみた ～内から見えるコミュニティ動向～
Avatar for Satoshi Ito sato4
0
240
失敗を資産に変えるClaude Code
Avatar for Shinya Saita shinyasaita
0
680
小さくはじめるSLI/SLO ～育てながら組織に定着させる実践知～ / Starting Small with SLI/SLOs: Building Adoption Through Continuous Growth
Avatar for Narimichi Takamura nari_ex
7
2k
20260619 私の日常業務での生成 AI 活用
Avatar for Masaru Ogura masaruogura
1
220
入門！AWS Blocks
Avatar for Yosuke Suzuki ysuzuki
1
140

Featured

See All Featured
Navigating the moral maze — ethical principles for Al-driven product design
Avatar for Skipper Chong Warson skipperchong
2
390
Music & Morning Musume
Avatar for Bryan Veloso bryan
47
7.2k
Thoughts on Productivity
Avatar for Jon Yablonski jonyablonski
76
5.2k
Building Adaptive Systems
Avatar for Chris Keathley keathley
44
3.1k
Designing Experiences People Love
Avatar for Jonathan Moore moore
143
24k
Evolving SEO for Evolving Search Engines
Avatar for Ryan Jones ryanjones
0
220
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
Avatar for Kenny Baas-Schwegler baasie
0
590
Designing for Performance
Avatar for Lara Hogan lara
611
70k
Making Projects Easy
Avatar for Brett Harned brettharned
120
6.7k
Balancing Empowerment & Direction
Avatar for Lara Hogan lara
6
1.2k
Test your architecture with Archunit
Avatar for Yoan thirion
1
2.3k
Exploring the relationship between traditional SERPs and Gen AI search
Avatar for Ray Grieselhuber raygrieselhuber
PRO
2
4k

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?