I’m sure most developers reading this post will be familiar with the term “premature optimization”. For those who may not be familiar, this refers to the tendency that some developers have to worrying about the performance of their code, usually but not always in terms of execution time, before their code is proven to work correctly in terms […]

So I wanted to briefly talk about what I’ve been up to lately. I’ve been doing a spot of compiler hacking, working on improving type Providers and generally tinkering with concepts relating to macros etc. I’ve also been tinkering with the Elixir and Rust programming languages which I like a lot. I might write about those things at a later time depending on my train of thought which can be quite disjoint. What was I talking about again? :-)

Tweet Here’s the recorded live stream of the F# DSLs session I did at the F# |> Bristol user group last night. (apologies for the first few mins where I forgot to share my screen to the Hangout…) and here’s the slides to go with the talk: Tame cloud complexity with F#-powered DSLs from Yan Cui

Tweet NOTE : read the rest of the series, or check out the source code. If you enjoy read­ing these exer­cises then please buy Crista’s book to sup­port her work. Fol­low­ing on from the last post, we will look at the Quarantine style today.   Style 24 – Quarantine Constraints Core program functions have no side effects

Tweet NOTE : read the rest of the series, or check out the source code. If you enjoy read­ing these exer­cises then please buy Crista’s book to sup­port her work. Fol­low­ing on from the last post, we will look at the Declared Intentions style today.   Style 23 – Declared Intentions Constraints Existence of a run-time typechecker.