Silicon Valley Code Camp : October 6th and 7th, 2012session
Logic Paradigm for C++ [ Part 1 ]
About This Session
The Logic paradigm (LP) is a powerful, Turing-complete programming
paradigm that has seen little representation in mainstream languages.
LP is an important approach in Computer Science towards
what is sometimes referred to as the Holy-Grail of programming "The
user states the problem, the computer solves it". Origins of Logic
theory dates back to about 300 B.C. when Aristotle founded
Formal Logic to bring rigor to logical inferencing. The theory
matured into Modern Logic more recently (early 1900s) when Russell &
Whitehead showed that all of Mathematics could be reduced to Logic.
This talk will provide a fast track introduction to the basics of LP in C++
without indulging too much in arcane theory. We will observe how blending LP into existing C++ concepts allows programmers to come up with really cool solutions.
For this talk we shall use Castor, an open source C++ library which introduces LP into standard C++.