Starting with our experiments with integrating General Purpose GPU programming into F# at Microsoft Research, I’ve been watching the evolution of F# as a GPGPU programming platform. Over time, GPGPU programming with F# has become both more professionalized, and much more broad spectrum (including CUDA, OpenCL and other options). Some latest developments in this area have...

A lightweight post this week. One of my favorite F# type providers is the World Bank type provider, which enables ridiculously easy access to a boatload of socio-economic data for every country in the world. However, numbers are cold – wouldn’t it be nice to visualize them using a map? Turns out it’s pretty easy to do, using another of my favorites, the R type provider. The rworldmap R package, as its name suggests, is all about world maps, and is a perfect fit with the World Bank data. The video below sh[...]

As someone doing programming language research, I find it really interesting to think about how programming language research is done, how it has been done in the past and how it should be done. This kind of questions are usually asked by philosophy of science, but only a few people have discussed this in the context of computing (or even programming languages). So, my starting point was to look at the classic works in the general philosophy of science and see which of these could tell us something about[...]