Existing embedded DSLs for XML in F# all have their quirks and inconvenients. I'm presenting a small patch to the F# compiler that allows to implement a better XML EDSL.

Sample jQuery mobile single-page application with dynamically created and reused pages using WebSharper

Playing a bit more with generics, I stumbled upon some fairly compact combinators that can derive n-ary conjunctions from a binary conjunction. Here is a self-explanatory F# example (disregard the ugliness involved in F#'s lack of higher kinds, Haskell or OCaml code would not need this): In case you are wondering about the Coq file in the gist: a good objection to this approach is efficiency. Instances computed in this way are not efficient at all. Just think of all the allocated tuples! It turns out, w[...]

Chocolatey looks very useful - it lets you install software into PATH on Windows by one-liner commands from PowerShell. A poor-man's package manager.

FAKE is a tool to automate your builds with F# scripts. Use the newly available FAKE boot workflow to get started quickly, automatically reference packages, and plug in your own build logic from NuGet. Starting from FAKE 2.1.173-alpha FAKE includes a new "boot" workflow. Let us walk through it. First, make a new folder (I am using PowerShell, but you can do this in Cygwin, or CMD.exe; Linux+Mono will work once my patch to the F# compiler is accepted): mkdir proj cd proj Download NuGet.exe command-line [...]