Systematic Software with Scala

on YouTube ↗34m

" summary

Claims about "ten or so" repeatable Scala strategies get concrete: ten-ish strategies are listed and five are demonstrated by building a tiny stream library inspired by fs2/Monix. Implementation uses reification into ADT (map/flatMap/zip as case classes), a structural recursion interpreter to run the AST, and the follow the types tactic to fill holes. Tools are plain Scala: sealed traits, pattern matching, for-comprehensions and the ??? placeholder. The demo compiles and produces expected lists, proving the approach works end-to-end.

AI-written summary · about

" chapters (10)

1. 0:00Start
2. 7:43Design a Stream Processing System
3. 13:48Reification
4. 15:54Structural Corrosion
5. 17:26Follow the Types
6. 18:04Implementation of Map
7. 22:52Denotational Strategy
8. 24:55Triple Questionmark Language
9. 25:32Algebraic Data Types
10. 26:57Sequencing

" related talks

• 01h 05mScala: The Simple PartsMartin Odersky · GOTO Chicago 2014
• 48mTechniques for Teaching ScalaNoel Welsh · Scala Days Lausanne 2019
• 45mEffective ScalaBill Venners, Frank Sommers · Scala Days Berlin 2018
• 38mThinking Less with ScalaDaniel Sivan · Scalapeño 2018
• 28mStreams on top of ScalaQuentin Adam · Scalar Conference 2015
• 31mBoring use cases for exciting typesItamar Ravid · Lambda World Cádiz 2018
• 19mScala for the Rest of UsPaul Cleary · Scale By the Bay 2017
• 01h 02mPrinciples and tools to cleverly model your data in ScalaChristophe Calvès · Scala.IO 2017