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

A sighting of sequence function in Practical FP...

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Philip Schwarz Philip Schwarz PRO
September 24, 2023
Programming
0
560

A sighting of sequence function in Practical FP inย Scala

Slide deck home: http://fpilluminated.com/assets/sighting-of-scala-cats-sequence-function-in-practical-fp-in-scala.html

Download PDF for perfect image quality.

Avatar for Philip Schwarz

Philip Schwarz PRO

September 24, 2023
Tweet

More Decks by Philip Schwarz

See All by Philip Schwarz
AI Concepts - MCP Neurons
Avatar for Philip Schwarz philipschwarz
PRO
0
87
Combinatorial Interview Problems with Backtracking Solutions - From Imperative Procedural Programming to Declarative Functional Programming - Part 2
Avatar for Philip Schwarz philipschwarz
PRO
0
160
Combinatorial Interview Problems with Backtracking Solutions - From Imperative Procedural Programming to Declarative Functional Programming - Part 1
Avatar for Philip Schwarz philipschwarz
PRO
0
190
Test Doubles - Terminology, Definitions and Illustrations - with Examples - Part 1
Avatar for Philip Schwarz philipschwarz
PRO
0
130
ApplicativeError functions handling and recovering from errors: A mnemonic to recall their signatures from their names
Avatar for Philip Schwarz philipschwarz
PRO
0
160
Folding Cheat Sheet # 9 - List Unfolding ๐‘ข๐‘›๐‘“๐‘œ๐‘™๐‘‘ as the Computational Dual of ๐‘“๐‘œ๐‘™๐‘‘ and how ๐‘ข๐‘›๐‘“๐‘œ๐‘™๐‘‘ relates to ๐‘–๐‘ก๐‘’๐‘Ÿ๐‘Ž๐‘ก๐‘’
Avatar for Philip Schwarz philipschwarz
PRO
0
150
List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'"
Avatar for Philip Schwarz philipschwarz
PRO
0
270
Drawing Heighwayโ€™s Dragon - Part 4 - Interactive and Animated Dragon Creation
Avatar for Philip Schwarz philipschwarz
PRO
0
130
The Nature of Complexity in John Ousterhoutโ€™s Philosophy of Software Design
Avatar for Philip Schwarz philipschwarz
PRO
0
370

Other Decks in Programming

See All in Programming
20260127_่ฉฆ่กŒ้Œฏ่ชคใฎ็ตๆ™ถใ‚’1ๅ†Šใซใ€‚่‘—่€…ใ‹ใ‚™่งฃ่ชฌ ๅ…ˆ่ผฉใƒ†ใ‚™ใƒผใ‚ฟใ‚ตใ‚คใ‚จใƒณใƒ†ใ‚ฃใ‚นใƒˆใ‹ใ‚‰ใฎๆŒ‡ๅ—ๆ›ธ / author's_commentary_ds_instructions_guide
Avatar for nash_efp nash_efp
1
980
AIใซใ‚ˆใ‚‹้ซ˜้€Ÿ้–‹็™บใ‚’ใฉใ†ๅˆถๅพกใ™ใ‚‹ใ‹๏ผŸ ใ‚ฌใƒผใƒ‰ใƒฌใƒผใƒซ่จญ็ฝฎใง้–‹็™บ้€Ÿๅบฆใจๅ“่ณชใ‚’ไธก็ซ‹ใ•ใ›ใŸใƒใƒผใƒ ใฎไบ‹ไพ‹
Avatar for tonkotsuboy_com tonkotsuboy_com
7
2.4k
Data-Centric Kaggle
Avatar for ใญใผใ™ใ‘AI isax1015
2
780
Oxlintใฏใ„ใ„ใž
Avatar for Yuji Yamaguchi yug1224
5
1.4k
Basic Architectures
Avatar for Denys Poltorak denyspoltorak
0
680
CSC307 Lecture 06
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
690
360ยฐ Signals in Angular: Signal Forms with SignalStore & Resources @ngLondon 01/2026
Avatar for Manfred Steyer manfredsteyer
PRO
0
130
Vibe Coding - AI ้ฉ…ๅ‹•็š„่ปŸ้ซ”้–‹็™ผ
Avatar for Micky Li mickyp100
0
180
AtCoder Conference 2025
Avatar for shindannin shindannin
0
1.1k
ใ‚ณใƒžใƒณใƒ‰ใจใƒชใƒผใƒ‰้–“ใฎ้€ฃๆบใซๅฏพใ™ใ‚‹่„…ๅจๅˆ†ๆžใƒ•ใƒฌใƒผใƒ ใƒฏใƒผใ‚ฏ
Avatar for Aja9tochin pandayumi
1
460
AIใซใ‚ˆใ‚‹้–‹็™บใฎๆฐ‘ไธปๅŒ–ใ‚’ๆ”ฏใˆใ‚‹ ใ‚ณใƒณใƒ†ใ‚ญใ‚นใƒˆ็ฎก็†ใฎใ“ใ‚Œใพใงใจใ“ใ‚Œใ‹ใ‚‰
Avatar for Mulyu mulyu
3
410
Package Management Learnings from Homebrew
Avatar for Mike McQuaid mikemcquaid
0
230

Featured

See All Featured
Prompt Engineering for Job Search
Avatar for Mfonobong Umondia mfonobong
0
160
The Limits of Empathy - UXLibs8
Avatar for Cassini Nazir cassininazir
1
220
Navigating Weather and Climate Data
Avatar for Ryan Abernathey rabernat
0
110
Designing for Performance
Avatar for Lara Hogan lara
610
70k
Building AI with AI
Avatar for Ines Montani inesmontani
PRO
1
700
WENDY [Excerpt]
Avatar for Tessa Abrams tessaabrams
9
36k
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
77
5.3k
Self-Hosted WebAssembly Runtime for Runtime-Neutral Checkpoint/Restore in Edgeโ€“Cloud Continuum
Avatar for Yuki Nakata chikuwait chikuwait
0
330
B2B Lead Gen: Tactics, Traps & Triumph
Avatar for Sophie Logan marketingsoph
0
56
Measuring & Analyzing Core Web Vitals
Avatar for Philip Tellis bluesmoon
9
760
Visualization
Avatar for Eitan Lees eitanlees
150
17k
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
37
7.1k

Transcript

  1. sequence a sighting of in @philip_schwarz slides by http://fpilluminated.com/ by

  2. None

  3. ^โ‡งP Type Info ^โ‡งP Type Info

  4. @typeclass trait Traverse[F[_]] extends Functor[F] with Foldable[F] with โ€ฆ โ€ฆ

    Thread all the G effects through the F structure to invert the structure from F[G[A]] to G[F[A]]. def sequence[G[_]: Applicative, A](fga: F[G[A]]): G[F[A]] = traverse(fga)(ga => ga) List[F[Unit]] => F[List[Unit]] case class CartRoutes[F[_]: JsonDecoder: Monad] Applicative Monad Functor Traverse Foldable