http://tomaspetricek.pip.verisignlabs.com/

http://tomaspetricek.pip.verisignlabs.com/
Name: http://tomaspetricek.pip.verisignlabs.com/
Score: 245
Last Seen: 147 days, 18 hours, 12 minutes ago
Member Since: 21 December, 2009
DotNetShoutout
atom rss
6
Shouts
spam Shout it Mute it

Announcing: Literate programming tools for F#
published 139 days, 6 hours, 29 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 147 days, 18 hours, 12 minutes ago
Thursday, January 31, 2013 5:23:10 PM GMT Wednesday, January 23, 2013 5:39:36 AM GMT
This article introduces a new F# package that makes it possible to write literate F# programs that combine code with documentation. Given an F# script with a special comments or Markdown document with F# code, you get a nicely formatted HTML that can be used to build documentation or write blogs. (more)
category: How To | clicked: 8 | comment | | source: tomasp.net
tags:
5
Shouts
spam Shout it Mute it

Why type-first development matters
published 299 days, 14 hours, 1 minute ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 307 days, 13 hours, 2 minutes ago
Friday, August 24, 2012 9:50:51 AM GMT Thursday, August 16, 2012 10:49:30 AM GMT
This article describes type-first development (TFD). A software development methodology that is quite common among functional programmers and uses types as a simple way of communicating ideas about program design. (more)
category: Agile | clicked: 25 | comment | | source: tomasp.net
tags:
6
Shouts
spam Shout it Mute it

The theory behind covariance and contravariance in C# 4
published 355 days, 7 hours, 59 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 364 days, 23 hours, 18 minutes ago
Friday, June 29, 2012 3:52:43 PM GMT Wednesday, June 20, 2012 12:33:39 AM GMT
Covariance and contravariance are two useful features of generics in C# 4.0. Most of the time you don't see them. They just let you write code that you'd expect to work. Actually understanding how they work is more difficult. In this article, I explain that, together with some theory where the two concepts come from. (more)
category: How To | clicked: 54 | comment | | source: tomasp.net
4
Shouts
spam Shout it Mute it

Safer asynchronous workflows for GUI programming
published 730 days, 11 hours, 23 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 735 days, 3 hours, 10 minutes ago
Monday, June 20, 2011 12:28:19 PM GMT Wednesday, June 15, 2011 8:41:55 PM GMT
When writing reactive applications using F# asynchronous workflows, it is important to run some operations on the right thread. User interface elements are accessible only on GUI threads and CPU-intensive computations should be done on a background thread. This article describes an extension of F# asynchronous workflows that guarantees correct use of threads using types. (more)
category: Metro | clicked: 31 | comment | | source: tomasp.net
tags: Silverlight, User Interface, Asynchronous programming, FSharp
3
Shouts
spam Shout it Mute it

Writing non-blocking user-interfaces in F#
published 736 days, 11 hours, 34 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 737 days, 9 hours, 2 minutes ago
Tuesday, June 14, 2011 12:17:32 PM GMT Monday, June 13, 2011 2:50:06 PM GMT
F# asynchronous workflows are mainly used for non-blocking I/O and concurrency, but they provide nice abstraction for writing user interface interactions. This article shows an Silverlight example and explains how F# makes it easy to write code that avoids blocking the user-interface when performing CPU-intensive processing. (more)
category: Metro | clicked: 12 | comment | | source: tomasp.net
tags: Silverlight, Async, User Interface, Asynchronous programming, FSharp, F#
6
Shouts
spam Shout it Mute it

Improve WordPress performance with Phalanger
published 769 days, 14 hours, 46 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 772 days, 12 hours, 43 minutes ago
Thursday, May 12, 2011 9:05:18 AM GMT Monday, May 09, 2011 11:08:50 AM GMT
Phalanger is a PHP language compiler for .NET. It is almost fully compatible with PHP, and it also adds several useful extensions. We recently spent some time tuning the Phalanger performance. This article shows that Phalanger is more efficient than standard PHP interpreter and is comparable to the fastest solutions using e.g. WinCache extension. (more)
category: Web Dev | clicked: 1 | comment | | source: www.php-compiler.net
tags: Phalanger, Wordpress, PHP, ASP.NET
3
Shouts
spam Shout it Mute it

Variations in F#: Research compiler with Joinads and more!
published 816 days, 2 hours, 55 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 817 days, 23 hours, 25 minutes ago
Saturday, March 26, 2011 8:56:13 PM GMT Friday, March 25, 2011 12:26:33 AM GMT
Joinads are a research extension of the F# language. They simplify conrurrent programming with tasks, reactive programming with events, but can be also used for other types of computations. This article introduces the extension, which is now available, based on the open-source source-drop of F#. (more)
category: How To | clicked: 0 | comment | | source: tomasp.net
tags: Reactive, Parallel, Monads, FSharp
4
Shouts
spam Shout it Mute it

Beyond the Monad fashion: Creating web forms with LINQ
published 826 days, 8 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 828 days, 6 hours, 22 minutes ago
Wednesday, March 16, 2011 11:44:10 PM GMT Monday, March 14, 2011 5:30:06 PM GMT
Formlets are elegant functional abstraction for describing web forms that encapsulates both rendering and functionality. In this article, we look how to write formlets in C#. Although formlets are not monads, we can still use elegant LINQ syntax. Interestingly, using the join clause... (more)
category: How To | clicked: 1 | 1 comment | | source: tomasp.net
tags: Functional Programming, join, MONAD, CSharp, Linq
4
Shouts
spam Shout it Mute it

Beyond the Monad fashion: Writing idioms in LINQ
published 831 days, 11 hours, 48 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 832 days, 10 hours, 20 minutes ago
Friday, March 11, 2011 12:04:09 PM GMT Thursday, March 10, 2011 1:31:29 PM GMT
Everyone tells you that LINQ is a monad, but LINQ can be used to enocde other types of computations too. This article demonstrates that you can use LINQ to program using idioms, which are in some ways more useful than monads. (more)
category: How To | clicked: 1 | comment | | source: tomasp.net
4
Shouts
spam Shout it Mute it

Asynchronous programming in C# and F#: How does it work?
published 939 days, 5 hours, 34 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 940 days, 9 hours, 9 minutes ago
Tuesday, November 23, 2010 6:17:39 PM GMT Monday, November 22, 2010 2:43:01 PM GMT
In this article, we look at the internals of asynchronous programming models in F# and a future version of C#. We compare the compilation in C# (based on state machines) and the compilation in F# (based on combinators) and we look at advantages and disadvantages of both of the approaches. (more)
category: How To | clicked: 0 | comment | | source: tomasp.net
3
Shouts
spam Shout it Mute it

F# in MonoDevelop and cross-platform web sites
published 945 days, 22 hours, 3 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 946 days, 22 hours, 4 minutes ago
Wednesday, November 17, 2010 1:49:00 AM GMT Tuesday, November 16, 2010 1:47:57 AM GMT
The first version of the F# language binding for MonoDevelop is now available. Using the F# compiler service, it provides autocompletion, information tool tips and background type-checking. For more information and installation instructions, watch two screencasts showing F# on Linux. (more)
category: Screencast | clicked: 2 | comment | | source: tomasp.net
7
Shouts
spam Shout it Mute it

Reactive, parallel and concurrent programming in F# (PADL 2011)
published 967 days, 23 hours, 23 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 968 days, 20 hours, 58 minutes ago
Tuesday, October 26, 2010 12:29:03 AM GMT Monday, October 25, 2010 2:53:32 AM GMT
This paper describes work that started during my internship at Microsoft Research in 2009. It presents a simple language extension for computation expressions that makes them even more useful in some reactive, concurrent and parallel programming models. Note that this is only a research project and there are currently no plans to support the extension in the F# language (although, if there will, eventually, be an open-source F# release, then you'll hear about the extension again...) (more)
category: How To | clicked: 2 | comment | | source: tomasp.net
tags: Reactive, Parallel, research, FSharp, concurrent
10
Shouts
spam Shout it Mute it

Dynamic in F#: Reading data from SQL database
published 1074 days, 13 hours, 7 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 1076 days, 23 hours, 39 minutes ago
Sunday, July 11, 2010 10:44:53 AM GMT Friday, July 09, 2010 12:12:56 AM GMT
In this article we look at working with SQL databases in F# using ADO.NET. We'll see how to use dynamic invoke operator to make the usual ADO.NET code remarkably elegant and simple... (more)
category: How To | clicked: 6 | comment | | source: tomasp.net
tags: stored procedures, ADO.NET, FSharp, F#
6
Shouts
spam Shout it Mute it

ASP.NET and F# - Creating MVC web applications in F#
published 1135 days, 8 hours, 38 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 1137 days, 4 hours, 57 minutes ago
Tuesday, May 11, 2010 3:13:40 PM GMT Sunday, May 09, 2010 6:54:25 PM GMT
This article shows how to use F# for developing ASP.NET web applications using the MVC framework. It also shows how to access data using LINQ in F# and how to simplify web programming using F# meta-programming, modules and records. (more)
category: Web Dev | clicked: 1 | comment | | source: tomasp.net
tags: FSharp, F#, MVC, ASP.NET
2
Shouts
spam Shout it Mute it

Deal of the day: Real-World Functional Programming
posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 1242 days, 7 hours, 39 minutes ago
Sunday, January 24, 2010 4:12:57 PM GMT
Real-World Functional Programming is Manning's Deal of the Day this Sunday, January 24. On this day, the print book is available for $20 from the Manning website, with code dotd0124. (more)
category: How To | clicked: 1 | comment | | source: tomasp.net
tags: Functional Programming, Functional languages, manning, FSharp
7
Shouts
spam Shout it Mute it

Accelerator and F# (III.): Data-parallel programs using F# quotations
published 1261 days, 10 hours, 19 minutes ago posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 1262 days, 12 hours, 5 minutes ago
Tuesday, January 05, 2010 1:32:31 PM GMT Monday, January 04, 2010 11:47:07 AM GMT
I already discussed how to write programs that run on GPU using Microsoft Research Accelerator project. In this article, we'll write an image rotation using data-parallel F# functions and then use a library that translates it to Accelerator automatically. This way we can get a significant performance improvement almost for free. (more)
category: How To | clicked: 0 | comment | | source: tomasp.net
5
Shouts
spam Shout it Mute it

Accelerator and F# (I.): Introduction and calculating PI
posted by http://tomaspetricek.pip.verisignlabs.com/http://tomaspetricek.pip.verisignlabs.com/ 1276 days, 10 hours, 21 minutes ago
Monday, December 21, 2009 1:30:46 PM GMT
This article shows how to write F# programs that run in parallel as shader programs on GPU or on multi-core CPU using Microsoft Research Accelerator project. (more)
category: How To | clicked: 1 | comment | | source: tomasp.net
tags: Accelerator, multi threading, Parallel Programming, F#