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 [...]

Intended F# build workflow: start from an empty folder, write build.fsx, and run fake - and get anything building with software from NuGet. Draft Implementation  Discussion As we are using FAKE for scripting builds a little more at IntelliFactory, I could not resist to make a little fork to reduce some of the burden. NuGet quickly is becoming the de-facto package manager for C#/F# assemblies, and we are even considering using a private NuGet feed inside the company for our own projects. It therefore mak[...]

Towards generic programming in F#: thoughts on generalizing the earlier combinators over records and unions... I wrote earlier a little post on combinators over records and unions. This approach in F# is still very attractive to me for defining various converters and serializers because it (1) uses no reflection and thus works in JavaScript via WebSharper out of the box; (2) gives the programmer full control to drop out of combinators anywhere where specific (more optimal, or custom) behavior is needed;[...]