Devlogy.cz » Seznam zdrojů » Blog | TomasP.Net
Blog | TomasP.Net
Základní informace o zdroji
| Podtitulek: | Blog |
|---|---|
| Domovská stránka: | http://tomasp.net/blog |
| RSS export: |
Systémové informace o zdroji
| ID: | 24 |
|---|---|
| Jmenné ID: | tomasp |
| Články ručně přidává správce systému: | NE |
| Články jsou schvalovány správcem: | NE |
| Titulek zdroje stahován z RSS exportu: | ANO |
| RSS export je lineární: | ANO |
| Kontrola aktuálnosti proběhla: | dnes 16:57 |
| Návratový kód: | HTTP 200 |
| RSS export naposledy zpracován: | dnes 16:57 |
| Kontrola aktuálnosti naplánována na: | dnes 17:27 |
F# courses and talks (Winter 2012 and beyond...)
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 …
Blog | TomasP.NetRegions and navigation bar for F# in Visual Studio
The beginning of a new year may be a good time for writing one lightweight blog post that I wanted to publish for some time now. During my last internship with the F# team at MSR, I did some work on improving the F# IntelliSense in Visual Studio. This …
F# Math (IV.) - Writing generic numeric code
Generic numeric code is some calculation that can be used for working with multiple different numeric types including types such as int , decimal and float or even our own numeric types (such as the type for clock arithmetic from the previous article …
F# Math (III.) - Defining custom numeric types
In this article, we define an F# numeric type for calculating in the modular arithmetic (also called clock arithmetic) [ 1 ]. Modular arithmetic is used for calculations where we want to keep a value within a specified range by counting in cycles. For …
F# Math (II.) - Using matrices for graph algorithms
In the previous article of this series , we looked at complex and BigRational , which are two numeric types that are available in F# PowerPack. Aside from these two, the PowerPack library also contains a type matrix representing a two-dimensional …
F# Math (I.) - Numeric types in PowerPack
In this article, we'll briefly look at two numeric types that are available in F# PowerPack. The type complex represents complex numbers consisting of real and imaginary parts. Both parts are stored as a floating point numbers. The type …
F# Math - Numerical computing and F# PowerPack
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. Most of the content was originally written for the …
F# courses and talks (Autumn 2011)
The end of the summer holiday season is getting closer. Luckily, I was in Prague last week so I actually noticed there was summer this year! After a few quiet months, the autumn is going to be quite busy. Microsoft's //build/ conference will …
Programming with F# asynchronous sequences
In F#, we can represent asynchronous operations that do not block threads and eventually return a value of type 'T using asynchronous workflows Async<'T> . Asynchronous workflows can be easily constructed using the computation …
Real-World F# Articles on MSDN
More than a year ago, Mike Stephens from Manning (who was also behind my Real-World Functional Programming book) asked me if I'd be interested in collaborating on a project for MSDN. The idea was to collaborate with Microsoft on creating some …
Extending Monads with Pattern Matching (Haskell 2011)
Some time ago, I wrote a paper about joinads and the match! extension of the F# language. The paper was quite practically oriented and didn't go into much details about the theory behind joinads . Many of the examples from the F# version relied …
Fun with parallel monad comprehensions (The Monad.Reader)
This article is a re-publication of an article that I wrote some time ago for The Monad.Reader magazine, which is an online magazine about functional programming and Haskell. You can also read the article in the original PDF format as part of the …
Safer asynchronous workflows for GUI programming
In the previous article , I discussed how to use F# asynchronous workflows for creating reactive user-interfaces. One of the main concerns was to avoid blocking the GUI thread (to prevent the user-interface from freezing). The workflow shouldn't …
Writing non-blocking user-interfaces in F#
F# asynchronous workflows are best known as a way to write efficient I/O operations or as an underlying mechanism of F# agent-based programming (using the MailboxProcessor type). However, they are also very useful for user-interface programming. I …
Accessing loosely structured data from F# and C# (GOTO 2011)
About two weeks ago, I gave a talk at GOTO Conference in Copenhagen at a very interesting .NET session organized by Mark Seemann . In my talk, I focused on the impedance mismatch between the data structures that are used in programming languages (such …
Explicit speculative parallelism for Haskell's Par monad
Haskell provides quite a few ways for writing parallel programs, but none of them is fully automatic. The programmer has to use some annotations or library to run computations in parallel explicitly . The most recent paper (and library) for writing …
Variations in F#: Research compiler with Joinads and more!
In this article, I'll write about an experimental extension for F# that I call joinads . If you're following my blog, you may have seen an academic paper that I wrote about it some time ago. Anyway, the motivation for the extension is that …
Beyond the Monad fashion (II.): Creating web forms with LINQ
The LINQ query syntax can be used for various things. Aside from writing queries, you can also use it to encode any monads . This has become a fashionable topic, so you can learn more about it at many .NET conferences (for example GOTO 2011 ). There …
Beyond the Monad fashion (I.): Writing idioms in LINQ
Thanks to LINQ and Erik Meier, monads have become a fashionable topic in the C# developer community. Indeed, no serious developer conference on .NET can get away without having a talk on monads. The attractive thing about LINQ and monads is that the …
MonoDevelop & Teaching F# & QCon tutorial
Point of sale application from QCon tutorial It appears that I have been doing a lot more talking than writing in the last two months. I'm hoping to change this direction and I have two articles almost ready, so stay tuned! I was also posting all …
Announcing F# snippets web site
When writing F# programs, I often write some nice code snippet or some useful helper function that I'd like to share with the F# community. Unfortunately, my blog posts are usually longer and more elaborate, so I never get to blogging about it. …
F# in Education & Concurrency with Agents
November was quite a busy month for me. First, I traveled to Cambridge (the "new one" in Massachusetts :-)) to present my work on the F# plugin for MonoDevelop at the F# in Education workshop. Shortly after getting back to London, I started …
Concurrent programming with F# agents in London
If you live anywhere near London and are interested in F#, then you probably already follow the F#unctional Londoners group started by Carolyn Miller and Phil Trelford . I gave a talk at the user group in June about Reactive programming in F# (if you …
Asynchronous C# and F# (III.): How does it work?
Some time ago, I started writing a series about the differences between the asynchronous model in F# (in Visual Studio 2010) and the asynchronous language extensions for C# proposed at PDC 2010. In the first article , I showed how both of the language …
F# community on GitHub & MonoDevelop update
When I talked with Miguel de Icaza and Michael Hutchinson at the F# in Education workshop some time ago, someone mentioned that it would be nice to have a clone of the official F# code drop that could accept patches from the community. I also talked …
F# in MonoDevelop and cross-platform web sites & screencasts
About a week ago, I attended the F# in Education workshop in Boston. It was a great event with many interesting people around. I believe that the workshop was very exciting for everyone who is interested in F#, but uses Mac or Linux. The F# team …
Asynchronous C# and F# (II.): How do they differ?
Anders Hejlsberg announced the support for asynchronous programming in the next version of C# announced at PDC 2010. The extension looks very similar to F# asynchronous workflows (which are already available in Visual Studio 2010). Despite the large …
Asynchronous C# and F# (I.): Simultaneous introduction
One of the exciting new technologies that was announced at PDC 2010 is the support for asynchronous programming in C#. So what exactly is asynchronous programming ? Many applications today need to connect to some service or external data source …
F# Parallel Extras (III.): Financial dashboard with cancellation
In this article we'll look at several improvements that can be done to the Financial dashboard example (originally from the Parallel Programming with Microsoft .NET book). When I was translating samples in the book from C# to F#, the sample …
F# Parallel Extras (II.): Agent-based blocking queue
In the previous article , we briefly introduced the BlockingQueueAgent<T> type and we used it to implement the pipeline pattern (from Chapter 7 of Parallel Programming with Microsoft .NET ) using asynchronous workflows. The type was used to …