Tag Archives: Functional Programming

Sull'isomorfismo di Curry-Howard (1)

Posted on 05/10/2009 by Dave

Nel corso della stesura di alcuni articoli riguardanti la programmazione funzionale e i suoi rapporti con il lambda-calcolo, mi sono reso conto del fatto che la letteratura in Italiano è a riguardo spesso troppo tecnica e non sufficientemente contestualizzata; ne risulta che … Continue reading →

Posted in Computer Programming, Formal Logic, Functional Programming | Tagged , , , , | Leave a comment

A brief introduction to functional programming – pt.2: Data Immutability

Posted on 09/07/2009 by Dave

Let’s consider the following: 1. x = x +1 which is a typical imperative assignment; as programmers, we’ve kind of gotten used to such statements. But if shown to a mathematician, he would quickly and smugly look at it and … Continue reading →

Posted in Computer Programming, Functional Programming | Tagged , , , , , | Leave a comment

A brief introduction to Functional Programming – pt. 1

Posted on 03/07/2009 by Dave

Overview: programming paradigms If you are not totally inexperienced about computer programming, in which case reading this article would just plainly be a total loss of time, you certainly know that there are a lot of different programming languages that … Continue reading →

Posted in Computer Programming, Functional Programming | Tagged , , , , , , | 1 Comment