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

We are experimenting with PhoneGap, PhoneGap Build, Ripple emulator and WebSharper. If successful, this will let you write truly cross-platform native mobile apps in F#, quickly pre-testing them in Chrome, and then generating various installers (Android, Windows, iOS - yes, iOS!) without even having to install the SDK. Current mobile HTML 5 application story is this: either you create a mobile-friendly website and have users navigate to it, or you wrap your HTML 5 app into a native app - the second cho[...]

There are several things under the TypeScript umbrella: a type system, language spec, JavaScript-targeting compiler and tooling that provides interactive code completion. I have tried TypeScript on a few small projects, the latest one being TypedPhoneGap. I also worked extensively with the language spec, wrote a parser and analyzer for the `.d.ts` contract specification fragment, pondered the semantics, and engaged in little flamewars on the language forum. My conclusion, in short, is this: the type system[...]

I tend to complain a lot about the programming tools I work with. In one sentence, the world of software is just not a sane place. If left unchecked, this complaining attitude can grow into despair - so I enjoy a little escape from time to time. I need to dream of a better world, where programming is meaningful, fun, beautiful, efficient, mostly automated, and where programs are verified. This is why my escape activity is playing with Coq. One fascinating trick that Coq does really well is computing and m[...]