1
Modern C++ and Lisp Programming Style
Modern C++, as defined in the C++11 standard has evolved to become an algorithmic language. This represents as much an idiomatic departure from Object Orientation as C++ was a departure from …
Chris Kohlhepp
Metacircular Musings
- Popular posts
- 3
- Total points
- 389
- HN comments
- 164
- Rank
- #6,846 personal
Visit chriskohlhepp.wordpress.com → RSS feedOn Hacker News Dec 2015 – Mar 2017
2
3
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…