Tag Archives: functional programming

A functional version of the KMP algorithm

For one of the projects I’m working on, I needed a compile-time version of the KMP algorithm in C++. I started by making the algorithm functional.

Posted in C & C++, Software Development | Tagged , , | Comments Off on A functional version of the KMP algorithm

The benefits of formal, executable specifications

While a specification should not specify the C++ code that should be implemented for the specified feature, it should specify the feature in a verifiable manner. In some cases, formal — and even executable — specifications can be of great … Continue reading

Posted in Software Development, Software Engineering, Software Testing | Tagged , , , , | Comments Off on The benefits of formal, executable specifications

Run-time composed predicates and Code generation

While working on Arachnida, preparing version 2.2 due out this fall, one of the things we’ll be introducing is a hardened OpenSSL transport-layer-security plug-in, to replace the one we’ve had for the last seven or so years. One of the … Continue reading

Posted in C & C++, C++ for the self-taught, Software Design | Tagged , | Comments Off on Run-time composed predicates and Code generation

A few final words on functional programming

The previous two installments of C++ for the self-taught were both about functional programming. Before we get back to Chausette, I’ll put in a few final words on the topic, combining both run-time functional programming with compile-time functional programming and, … Continue reading

Posted in C++ for the self-taught | Tagged , , , , | Comments Off on A few final words on functional programming

Functional Programming at Compile-Time

In the previous installment I talked about functional programming a bit, introducing the idea of functors and lambda expressions. This time, we will look at another type of functional programming: a type that is done at compile-time.

Posted in C++ for the self-taught | Tagged , , | Comments Off on Functional Programming at Compile-Time

Using Ranges and Functional Programming in C++

C++ is a very versatile language. Among other things, you can do generic meta-programming and functional programming in C++, as well as the better-known facilities for procedural and object-oriented programming. In this installment, we will look at the functional programming … Continue reading

Posted in C++ for the self-taught | Tagged , , , | 1 Comment

Ranges

The concept of a range is one of the fundamental concepts in the design of the STL and of the C++ programming language. In this installment, we will take a close look at what a range is, and we will … Continue reading

Posted in C++ for the self-taught | Tagged , , | Comments Off on Ranges

Funky, functional programming and looping

functional combines
programming summers into
sheerly fun coding Continue reading

Posted in C & C++, Software Design | Tagged , | Comments Off on Funky, functional programming and looping

A glimmer of hope on comp.std.c++

Sun to early spring
is like snow is to autumn:
unexpected joy Continue reading

Posted in C & C++ | Tagged , | Comments Off on A glimmer of hope on comp.std.c++