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# open-source developer, book author and computer scientist. I submitted my PhD thesis recently.
When offline, I enjoy traveling and taking pictures. You can find me at
at @tomaspetricek or email
Trainings and consulting
I'm an experienced F# developer and trainer.
I offer training and consulting
services through fsharpWorks.
Functional F# and C# books
I wrote or contributed to two books on F# and functional programming:
Real World Functional Programming explains functional
concepts using F# and C# and F# Deep Dives is a
collection of case studies written by industry experts.
I also wrote a series of tutorials on financial computing for Try F#.
This interactive environment let's you try F# in the browser.
Research and teaching
I submitted my PhD thesis at the University of Cambridge,
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# (105), c# (36), functional programming (16), research (30), data science (4), talks (5), open source (5), fslab (3), fun (4), linq (3), philosophy (2), deedle (2)