Charlie Harvey

Blog

424 Blog articles in total, showing 41 to 50

  • Seven More Languages: miniKanren day two

    Seven More Languages: miniKanren day two cover image

    Day two of MiniKanren starts by covering matching with matche which is a macro that allows you to do common matching operations with less boilerplate.But of course once you start down that route you are going to want to be able to lose the boilerplate from your whole function definition. That̵

  • Seven More Languages: miniKanren day one

    Seven More Languages: miniKanren day one cover image

    My last brush with logic programming was when I was working through the original Seven Languages in Seven Weeks back in 2011 and learning a little bit of Prolog. That was an eye opening experience — letting the computer do the work just didn’t feel like any coding I had done before.The

  • November 2015 Reading

    November 2015 Reading cover image

    I have been learning category theory in a sort of informal, slow way for a coule of years now. Eugenia Cheng’s intro is a book that I wish I had read before I started. The food metaphor s a bit cheesy (heh) but works surprisingly well fo

  • Seven More Languages: Julia day three

    Seven More Languages: Julia day three cover image

    The final day of Julia is a lot more challenging than the first 2 — consisting of a larger example of some image processing and a little bit about macros along with some wrap up material and some challenging exercises.Throughout the whole thing Julia struck me as a very usable language. Intu


  • Seven More Languages: Julia day two

    Seven More Languages: Julia day two cover image

    Day 2 of Julia takes a wander through control flow, types, concurrency and multiple dispatch. Multiple dispatch is something I have not played with much before, and it seems very useful indeed. It works like overridden methods in OOP. But rather than picking which function to call based on just the

  • Seven More Languages: Julia Day One

    Seven More Languages: Julia Day One cover image

    Today, I began working on learning a little bit of Julia. On the Julia website, the language is described as an high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. Which sounds pretty nice

  • October 2015 Reading

    October 2015 Reading cover image

    It is painfully late in the month to be posting my first review. Which is not to say that I haven’t been reading a lot; I have a few massive books on the go. Seven Eves was a gigantic book in every sense. In the 3 parts of the story, Stephenson d