Recording and samples from my Reactive F# talk
Almost a week ago, I posted an invitation to my
F# talk at the F#unctional Londoners user group. The theme of my talk was reactive programming, which
was also a topic of my Master's thesis (defended
earlier in June), so I really enjoyed talking about it. In the talk, I discussed the two approaches that you can
use for developing reactive applications in F# (using examples in Silverlight):
- Declarative (or data-flow oriented) allows you to describe "what" should be
done with data that your component receives from various events (such as mouse position etc.) This can
be written using F# event combinators such as
- Imperative (or control-flow oriented) - in this style, we describe various
states of the component (e.g. semaphore with green, orange and red) and describe transitions between the
states. This can be written using F# asynchronous workflows and the
primitive (which you can get as part of the source code).
Thanks to the folks from SkillsMatter who provided place for the meetup
and helped with the organization, the talk was also recorded and is already available online! Below, you can also
get all the nice Silverlight demos that I used during the talk...
Thanks again to Carolyn Miller and Phil Trelford
for organizing the talk and also to Don Syme for taking me to the
airport in the early morning (at 4 AM...) after the talk.
Links & Resources
I'm an F# enthusiast, book author and a PhD student at the University of Cambridge.
When offline, I enjoy traveling and taking pictures. You can find me at
at @tomaspetricek or email
Trainings and consulting
I run F# and functional programming courses in London
and New York with SkillsMatter.
F# Books and articles
Real World Functional Programming explains functional
concepts using F# and C#. You can get it from Amazon.com, Amazon.co.uk or your favorite book store.
Some chapters and new materials are also available on MSDN.
Currently, I'm putting together F# Deep Dives - a collection
of practical F# essays written by community leaders and commercial users of F#.
I also wrote a series of tutorials on financial computing
for Try F# - an interactive environment that let's you try F# in the browser.
Research and teaching
I'm finishing PhD in computer science at the University of Cambridge.
I'm working on making better types for programs that run in rich context (like F# type providers, distributed
programming or data-flow). See my academic page for
f# (92), research (28), c# (31), functional programming (6), writing (11), haskell (7), f# data (3), fun (2), art (2), fractals (2), funscript (2), open source (3), talks (2), new york (2), manning (2), books (2), philosophy (1), coeffects (1), comonads (1), fake (1)