Slides and demos from F# presentation
This semester I attended Advanced .NET Seminar that was led by Tomas Matousek [^] who is one of the authors of Phalanger project [^] (Which is an amazing project by the way. It takes PHP source code and compiles it without any modification to .NET).
Seminar was mostly focused on Rotor and .NET internals, so if you want to learn more about these topics you can look at Advanced .NET programming [^] slides (by Tomas Matousek).
I did one presentation at this seminar too. It was about the F# language developed at Microsoft Research. It was just a quick overview of F# features, because F# is very rich topic, so it coveres only the language (functional vs. imperative behavior), F# type system, compilation of F# constructs to .NET and interoperability with .NET (for example how to create windows forms application in F#). At the end, I also mentioned F# meta-programming that allows you to look at F# code as data.
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)