There’s no standard computation builder for options, but if you don’t need things like laziness (as added in the examples you linked) the code is straightforward enough that there’s no reason not to trust it (particularly given the suggestively named Option.bind function from the standard library). Here’s a fairly minimal example: type OptionBuilder() = member … Read more
This is not a MySQL-related solution in itself, but we’ve had a lot of success with a product called liquibase. (http://www.liquibase.org/) It’s a migration solution which covers many different database vendors, allowing all database changes to be coded in configuration files, all of which are kept in Subversion. Since all configuration is kept in XML … Read more
The choice to use WF takes some evaluation and I’m going to try and provide a fairly comprehensive list here on what the pros and cons are. Keep in mind that if you’re going to use WF don’t use anything other than WF4+ because it was rewritten and is significantly vetted past its predecessors. Pros … Read more
Mainline kernel First of all: don’t use that github link (it’s just a mirror). The actual repositories are located at kernel.org. You probably want to use Linus Torvalds’ tree, which is torvalds/linux.git. It’s called mainline kernel, which means this tree is the one where actual development of next kernel version is happening. Although it has … Read more
Windows Workflow Foundation is a very capable product but still very much in its 1st version 🙁 The main reasons for use include: Visually modeling business requirements. Separating your business logic from the business rules and externalizing rules as XML files. Separating your business flow from your application by externalizing your workflows as XML files. … Read more
I have used http://codeplex.com/simplestatemachine in one production system successfully (an ASP.NET system for handling 350+ different government business license issuance). A simple state machine is implemented in Boo, so we just expose the definition in a text file which the system administrator can modify. In the editor we do verification to make sure the editing … Read more
The command you are looking for is $git checkout -p The git checkout Manual Page says: -p –patch Interactively select hunks in the difference between the (or the index, if unspecified) and the working tree. The chosen hunks are then applied in reverse to the working tree (and if a was specified, the index). This … Read more