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

A sighting of sequence function in Practical FP...

Avatar for Philip Schwarz Philip Schwarz
PRO
September 24, 2023
Programming
0
490

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
Folding Cheat Sheet # 9 - List Unfolding 𝑢𝑛𝑓𝑜𝑙𝑑 as the Computational Dual of 𝑓𝑜𝑙𝑑 and how 𝑢𝑛𝑓𝑜𝑙𝑑 relates to 𝑖𝑡𝑒𝑟𝑎𝑡𝑒
Avatar for Philip Schwarz philipschwarz
PRO
0
71
List Unfolding - 'unfold' as the Computational Dual of 'fold', and how 'unfold' relates to 'iterate'"
Avatar for Philip Schwarz philipschwarz
PRO
0
190
Drawing Heighway’s Dragon - Part 4 - Interactive and Animated Dragon Creation
Avatar for Philip Schwarz philipschwarz
PRO
0
47
The Nature of Complexity in John Ousterhout’s Philosophy of Software Design
Avatar for Philip Schwarz philipschwarz
PRO
0
200
Drawing Heighway’s Dragon - Part 3 - Simplification Through Separation of Concerns - Rotation Without Matrix Multiplication
Avatar for Philip Schwarz philipschwarz
PRO
0
52
Drawing Heighway’s Dragon - Part II - Recursive Function Simplification - From 2^n Recursive Invocations To n Tail-Recursive Invocations Exploiting Self-Similarity
Avatar for Philip Schwarz philipschwarz
PRO
0
99
Drawing Heighway’s Dragon - Recursive Function Rewrite - From Imperative Style in Pascal 64 To Functional Style in Scala 3
Avatar for Philip Schwarz philipschwarz
PRO
0
260
Fibonacci Function Gallery - Part 2
Avatar for Philip Schwarz philipschwarz
PRO
0
310
Fibonacci Function Gallery - Part 1
Avatar for Philip Schwarz philipschwarz
PRO
0
320

Other Decks in Programming

See All in Programming
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
Avatar for r-kagaya rkaga
47
31k
XSLTで作るBrainfuck処理系
Avatar for MakKi makki_d
0
210
deno-redisの紹介とJSRパッケージの運用について (toranoana.deno #21)
Avatar for uki00a uki00a
0
150
設計やレビューに悩んでいるPHPerに贈る、クリーンなオブジェクト設計の指針たち
Avatar for panda_program panda_program
6
1.6k
プロダクト志向ってなんなんだろうね
Avatar for RightTouch righttouch
PRO
0
170
GraphRAGの仕組みまるわかり
Avatar for とすり tosuri13
8
500
GitHub Copilot and GitHub Codespaces Hands-on
Avatar for Kento.Yamada ymd65536
1
130
High-Level Programming Languages in AI Era -Human Thought and Mind-
Avatar for Hayato Ishida hayat01sh1da
PRO
0
560
XP, Testing and ninja testing
Avatar for seki at druby.org m_seki
3
210
Create a website using Spatial Web
Avatar for Akio Itaya akkeylab
0
310
都市をデータで見るってこういうこと　PLATEAU属性情報入門
Avatar for nokonoko1203 nokonoko1203
1
570
Go1.25からのGOMAXPROCS
Avatar for kuro kuro_kurorrr
1
810

Featured

See All Featured
Design and Strategy: How to Deal with People Who Don’t "Get" Design
Avatar for Morgane Peng morganepeng
130
19k
Building Applications with DynamoDB
Avatar for Matt Wood mza
95
6.5k
Become a Pro
Avatar for Speaker Deck speakerdeck
PRO
28
5.4k
Building Flexible Design Systems
Avatar for Yesenia Perez-Cruz yeseniaperezcruz
328
39k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
Avatar for Tammy Everts tammyeverts
5
230
YesSQL, Process and Tooling at Scale
Avatar for Rocio Delgado rocio
173
14k
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
48
2.8k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
Avatar for Chris Coyier chriscoyier
507
140k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
331
24k
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
Avatar for Aki / @LoveIdahoBurger aki_iinuma
124
52k
[RailsConf 2023] Rails as a piece of cake
Avatar for Vladimir Dementyev palkan
55
5.6k
The Illustrated Children's Guide to Kubernetes
Avatar for Chris Short chrisshort
48
50k

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