Computation expressions in context
summary
Computation expressions in F# are implemented as builder as a record of operations that reinterprets code blocks (examples show option arithmetic, async sleep, and a cloud builder via MBrace style code), letting the same block run synchronously or distributed. A C# game built with the Duality engine moves some scripting into F# and ships on Steam, so the approach works in production. The talk shows concrete papers (Moggi 1991, Wadler), practical tools (FSVerbal, reveal.js, FsCheck property testing, QuickCheck ideas) and how to verify monad laws.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 1:33Computation expressions in F#
- 4:43Why I explored them
- 8:56Builders define syntax
- 10:00Researching monads
- 12:11Monads explained
- 15:28Defining monads
- 18:17Monad example in F#
- 20:43Adding safety with monads
- 21:46Verifying monad laws
- 23:52Benefits of monads
- 24:41Monads as building blocks
- 25:48Embrace monads
related talks
32mDeep Dive into Computational Expressions in F#
46mFunctional programming in F# Fad or Fabulous
01h 00mFunctional-first programming with F#
01h 01mThe power of composition
01h 14mFunctional Programming in F#: Fad or Fabulous?
27mComputation Expressions in Scala
01h 00mF# in the Real World
01h 08mWhy Every Day as a Developer Would Be Easier with F#