Category: General Programming
-
Shiny New Toys, Visitor Pattern, and Real World Functional Programming
Last week in the office I thought to my self, “Holiday weekend coming! I’ll have time to play with WP7 or maybe I’ll play with HTML5”. Then I saw this tweet on twitter. We as developers spend too much time playing with baubles and shiny new tools and not enough time on core skills […]
-
Turing’s Lambda Notation
I’m still working through Turing’s paper on Computability and the Turing Machine. I am at the end and reading the appendix on Alonzo Church’s equivalent approach using Lambda Calculus. His work is so familiar to most programmers since we use the concepts in C, C++, Java, and C#. I decided to use C# […]
-
Intro to Propositional Logic Using C#
I’ve been reading about propositional (or sentential) logic in the book “The Annotated Turing”. I put together a quick console app to write out truth tables. It helped me get the hang of the mathematical notation “v”, “&”, and “->”. In C# those would be ||, &&, and !x || y respectively. I hope someone […]