Spotlight Topics
Most of the content on this page is related to one of the topics that I was recently interested in, so here you can find a page for every topic with some my articles, comments and other useful links:
- F# Language, Functional Programming, etc.
F# is a multi-paradigm programming language for .NET from Microsoft Resarch, which supports functional, object-oriented and language-oriented style.
- Phalanger - PHP Language Compiler for .NET
Phalanger is an open-source PHP compiler, which is able to run many existing PHP applications and is fully integrated with .NET.
- C# 3.0 and the LINQ Project
Aside from querying facilities integrated in the new language version, C# 3.0 also enables using several interesting functional techniques.
Academic Stuff
As already mentioned, I'm a student of computer science at Faculty of Mathematics and Physics [^] of Charles University.
The topcis that I'm interested in are still changing :-), but you can find some up-to-date information on my academic page. My Bachelor thesis (it is available there) was about type-safe "AJAX" web development in F# with modality tracked in a type system using computation expressions (aka "monads"), so you can expect topics related to programming languages and tools...
- Visit my academic page.
Photography
I like taking photos, but updating the online gallery frequently was always a bit 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).
Calendar - December 2008
- Calendars for years 2005, 2006 and also for 2007
- Some more photos can be found in photo gallery
More About Me
I'm student and Microsoft C# MVP from Prague, Czech Republic. I'm studying computer science at Charles University of Prague and I finished Bachelor studies in 2007.
Recently, I spent 3 months in Microsoft Research as an intern (with the F# team) and started wokring on the F# WebTools [^] project which allows developing "AJAX" applications purely in F# and this was also a topic of my thesis. I believe that F# and functional programming has a very promissing future.
The second topic that I'm involved in is maintaining of a project called Phalanger [^], which is a PHP language compiler started by my fellow students.
Latest Articles by Tomáš Petříček 
Reactive Programming (IV.) - Developing a game in Reactive LINQ
In this part of the article series about Reactive LINQwe're going to implement a slightly more complicated application using the library that I introduced in the previous three articles. We're going to use basic event stream queries from the second article as well as advanced operators introduced in the third part. This time, I'll also show the F# version of all the examples, so we're going to build on the ideas from the first part.
I originally wanted to write the demo only in Visual Basic, because I think that it is really amazig to show an idea that came from functional programming in a language that no one (maybe until recently) connects with functional programming. Then I realized that I really want to show the F# version too, because F# was an inspiration for the whole Reactive LINQ idea and it is interesting alone as well. But finally, I thought that don't showing the C# version may look offensive to many readers (especially since I'm still C# MVP...). So, I ended up writing the game in all three languages, but the code is surprisingly similar in all of them!
Read the complete article
Monday, November 24, 2008
More Recent Articles
- Reactive Programming (III.) - Useful Reactive LINQ Operators (11/21/2008)
In the previous article, I introduced Reactive LINQ. Today, we're going to look at other operators that canbe used for working with events. We'll see aggregation is useful and how to dynamically change (switch) behavior.
- Reactive programming (II.) - Introducing Reactive LINQ (11/19/2008)
In the second part of the series about reactive programming, I introduction the Reactive LINQ project, which allows writing event processing code in C# using LINQ queries.
- Reactive programming (I.) - First class events in F# (11/16/2008)
The LINQ project and changes in C# 3.0 are interesting because they allow implementing many ideas from functional languages in C#. In this article I'll explain "first-class events" in F# and later I'll implemet similar concept using LINQ.
- Calculating with infinite sequences on MSDN (11/13/2008)
About a year ago, I wrote an article about infinite sequences on MSDN. I remembered about it this week, because these topics will be discussed in the book I'm working on as well...
Other Links
My Projects
F# Web Tools - Using the F# Web Tools you can author homogeneous client/server/database web applications in one type-checked project in F#. The distinction whether a code runs on the client (as JavaScript) or natively on the server is modeled using F# computation expressions.
Phalanger - PHP Language Compiler with several language extensions to allow smooth interoperability between PHP and other .NET (for example C#) code. Phalanger is complete enough to run applications like WordPress or MediaWiki.
LINQ Extensions - The project implements several useful extensions for the LINQ project. These extensions incude LINQ support for the C++/CLI language and simplified syntax or writing common types of database queries.
Other Projects Archive - Contains links to several older or partially completed projects that are no longer in active development, but may still be fun or even useful.