Carsten Koenig's blog articles

0
comment
on 9/20/2012 12:39 AM
I’m lately trying to get (back) into Lisp/Scheme/Clojure-Space. While trying to get a reasonable Windows-environment for Clojure set-up (a pain… a PAIN – suggestions welcome) a stumpled upon Racket and I have to say I really like this (at least … Continue reading →
>> Read the full article
.
0
comment
on 9/19/2012 9:43 AM
In the last article we talked about subtraction. But of course there is more to “programming” than just arithmetic. One of the most basic things we need is a way to decide an output based on some value. You all … Continue reading →
>> Read the full article
.
0
comment
on 8/30/2012 10:07 AM
In the last article I defined the Succ operation on numbers and showed how this can be used to implement addition in untyped lambda calculus. Because of the number representation I choose this was rather easy so Subtraction should be … Continue reading →
>> Read the full article
.
0
comment
on 8/28/2012 9:23 AM
You might have heard that functional programming is based on Lambda Calculus – and indeed this is true (LISP was greatly influenced by Alonzo Church’s Lambda Calculus and you might have heard of “lambda”s in other functional languages as well) … Continue reading →
>> Read the full article
.
0
comment
on 8/28/2012 5:16 AM
I just installed DISQUS on this blog – I hope this will help me hold the spam down and you to a better user experience. As always feel free to give me your thoughts…
>> Read the full article
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper