blog.mavnn.co.uk
Advent 2016 - Mavnn's blog
http://blog.mavnn.co.uk/advent-2016
Stuff from my brain. Each year I like to make my F# advent post centered around an aspect of the actual Christmas story, so this year I decided to look at the actual text of the Christmas story. There are a couple of direct historical accounts recorded in the bible, in the Gospels of Mark and Luke. But Jesuss birth is a central point of the overall biblical story, with links to the Old Testiment books written before and referenced in places through the New Testiment. So This is F#, so the first thing wel...
blog.mavnn.co.uk
Type Provider Pro-Tip: Using Dictionary - Mavnn's blog
http://blog.mavnn.co.uk/type-provider-pro-tip-using-dictionary
Stuff from my brain. Type Provider Pro-Tip: Using Dictionary. During the Type Provider Live. Asked me about basing erased provided types on dictionary types, and then exposing nicely typed properties to access data stored within the dictionary. This will sound familiar to users of a number of dynamically typed languages as in many cases objects in these languages are just dictionaries under the hood. So, normally when you write a. Binding in F#, and end up writing something like this:. Produces an Expr t...
blog.mavnn.co.uk
EmParsec Embedded Parser Library - Mavnn's blog
http://blog.mavnn.co.uk/emparsec-embedded-parser-library
Stuff from my brain. EmParsec Embedded Parser Library. You can find EmParsec on GitHub: https:/ github.com/mavnn/EmParsec. Type providers, by their very nature, tend to access data external to the .net ecosystem. It can also be very awkward technically to make use of dependencies during the actual type generation process. Library. Instead, many (most? So I built it. It consists of a single fs file that can be loaded in the editor of your choice without any requirement for a project file or similar. W...
blog.mavnn.co.uk
LambdaCon 2015 - Mavnn's blog
http://blog.mavnn.co.uk/lambdacon-2015
Stuff from my brain. This weekend I had the honour of speaking at LambdaCon. My own talk Ill be writing some separate posts on in the future, but I also wanted to jot down some notes on the conference before the memory faded. Friday night kicked off with a round of meeting online friends in person: Manuel. Chris (sorry, no link! Its been fun :) Thats how every language fight should be settled! With tortellini, tagliatelle and red wine. Mdash; Manuel Paccagnella (@map it) March 29, 2015. Unfortunately, th...
blog.mavnn.co.uk
Beginnings and Endings - Mavnn's blog
http://blog.mavnn.co.uk/beginnings-and-endings
Stuff from my brain. Theres the normal mix of excitement and sadness as I announce that today is my last day with my current employers, 15below. Sadness because the people here are great and Ive learned an unbelievable amount while working here. Excitement because theres exciting things happening for the future. What are these brave new vistas? Well, that will have to wait for next week. But for now, its time for a brief thank you and review of what Im leaving. Picking solid, generous people as staff.
blog.mavnn.co.uk
Expanding Existing Computational Expressions - Mavnn's blog
http://blog.mavnn.co.uk/expanding-existing-computational-expressions
Stuff from my brain. Expanding Existing Computational Expressions. This is a just because you can post, although frankly bizarrely I have a genuine use case for this. Let the mind melting commence! Computational expressions in F# provide nice sugared syntax for monadic data structures such as. But the specific expressions are not built in language features. You can build your own. Which is fun and all, but you know whats even more fun? Currently let bound things: %A. Log message: a string. Results and bo...
blog.mavnn.co.uk
Property Based Testing at SDD Conf 2015 - Mavnn's blog
http://blog.mavnn.co.uk/sdd-conf-2015
Stuff from my brain. Property Based Testing at SDD Conf 2015. So, nearly a month back now I had the fantastic opportunity to speak at this years Software, Design and Development. At the Barbican on property based testing - or more specifically, FsCheck. I wont go into the details of all the talks I attended as I was there for 3 days. But there were a lot of good ideas on display ranging through sane naming (always worth watching anything by Kevlin Henney. As a thank you to Kurt Schelfthout. To any intere...
blog.mavnn.co.uk
Category: Typeprovider - Mavnn's blog
http://blog.mavnn.co.uk/blog/categories/typeprovider
Stuff from my brain. Type Provider Pro-Tip: Using Dictionary. Type Providers Live - the Movie. EmParsec Embedded Parser Library. Testing ProvidedType.fs by Example. Modelling Inheritance With Inheritance. Type Safe Printf via Type Providers. Type Providers From the First Floor. Type Providers From the Ground Up. Video and Slides for "From the Ivory Tower". Expanding Existing Computational Expressions. Type Provider Pro-Tip: Using Dictionary. Type Providers Live - the Movie.
blog.mavnn.co.uk
Annoucing @mavnn Ltd - Mavnn's blog
http://blog.mavnn.co.uk/annoucing-at-mavnn-ltd
Stuff from my brain. As I hinted in the last post, new (and to me) exciting things are afoot. Im very pleased to announce the formation of @mavnn ltd. Thats great, but what is it going to do? Im glad you asked! Mavnn ltd is the continuation of a lot of the things Ive come to care most about over my years in software development: building reliable, maintainable and well crafted code and teaching others to do the same. Building code that works. What are doing already? Im glad you asked that too! Secondly, ...
SOCIAL ENGAGEMENT