I’m a frequent speaker at F# and .NET events, author of numerous C# and F# articles and a StackOverflow addict. I have been Microsoft C# MVP since 2004 and I used F# since early Microsoft Research versions.
I’m convinced that F# and functional programming work well in practice and I do my best to help them:
I'm also partly involved in Phalanger, which is a PHP compiler for .NET. If you're interested in integrating PHP and ASP.NET contact DEVSENSE.
I'm a PhD student at the University of Cambridge, under the supervision of Alan Mycroft and Don Syme. I did a Master's degree at Charles University and visited Microsoft Research as an intern.
I'm interested in programming models and questions like: What is the best "language" for solving a given problem? How to encode these models in existing languages? How to help programmers avoids certain types of errors when using the model?
You can find my publications and other information about my research projects on my academic page.
I like taking photos, but updating the online gallery frequently was always a bit of a problem. That's why this page has a calendar, which shows a new picture every month (and also forces me to find and upload a new picture regularly).
You can browse through calendars for years 2005, 2006, 2007, 2008, 2009, 2010, 2011 and the first photos of 2012.
Here are links to the most important things that I've been working on recently:
Together with Phil Trelford and SkillsMatter, I'm working on two courses that explain functional programming concepts to working .NET developers and teach advanced F# techniques, such as agent-based concurrency and working with data. You can find more information on my Real-World Functional Programming web site.
Content from first three chapters of my book, together with five new chapters on Real-World F# programming topics are on MSDN as part of F# documentation. The articles cover using ASP.NET MVC and Silverlight from F#, agent-based programming, charting and numerical computing.
I created the F# Snippets web site where you can easily share F# code. The website contains plenty of useful snippets with nice formatting and InstlliSense tool tips.
I extended monads with parallel composition, choice and aliasing to get an abstract notion of computation that can capture a wide range of useful programming models. A paper about the work appears in Haskell 2011.
A couple of months ago, I posted a list of my F# talks and courses for Autumn 2011. Although I tried hard to have fewer speaking engagements during the winter and spring, there are quite a few events that I'd like to invite you to.
Last year, I spent quite a lot of time talking about asynchronous programming and agents. I think this is still a very important topic and especially agent-based programming in F# is a powerful way to implement concurrency primitives (like blocking queue), as well as complex systems (like trading screens and market analysis). I also wrote a series of articles on this topic that are available on MSDN and should be a good starting point.
Over the next few months, I'll be doing some talks about type providers, which is an upcoming F# 3.0 technology for accessing data. However, I also hope to find some time to look at other directions for F#, especially how it can be used in an online web-based environment, either using Azure or by translating F# to JavaScript using a recently announced open-source project named Pit.
Continue reading to see the list of planned talks, tutorials and courses....
Read the complete article
Friday, January 13, 2012
The beginning of a new year may be a good time for writing one lightweight blog post - this article shows two hidden features of F# IntelliSense in Visual Studio and also talks about writing plugins using the F# open-source release.
Writing generic numeric code in .NET is difficult, because .NET generics do not support constraints specifying that a type has to support certain numeric operations. In this article, we look how to solve the problem in F#. Using static member constraints, it is possible to write simple generic calculations and using the INumeric interface, we can capture numeric operations for a type and use them when implementing complex types such as a matrix.
In this article, we look at defining custom numeric types in F#. We'll create a numeric type representing numbers in a clock artihmetic (with base 5) and we'll see how to define custom operators, numeric literals and how to support F# PowerPack matrices.
This article introduces the matrix type available in F# PowerPack. It discusses how to create matrices, manipulate matrices using indexing and slices and how to use built-in functions for working with them. As a running example, we use matrix to represent a graph using an adjacency matrix.
This article discusses two numeric types that are available in F# PowerPack - BigRational represents arbitrary precision rational numbers and complex represents (floating-point) complex numbers. The types can be nicely used from F# as well as from C#.
This article is the first article of a series where I'll explain some of the F# features that are useful for numeric computing as well as some functionality from the F# PowerPack library.
Hello, my name is Tomas Petricek and I'll be happy to hear from you:
The articles are licensed under Creative Commons Attribution Share Alike. Source code samples are licensed under Apache 2.0.
I did my undergraduate and Master's degree at the Faculty of Mathematics and Physics. Now, I'm a PhD student at the Computer Laboratory in Cambridge as a member of Clare Hall.
