Blog - Title

What this Tutorial Covers

What this Tutorial Covers

  • Comments 0

[Table of Contents] [Next Topic]

Aside from the semantics of the VB 9.0 code, there are a few key ideas to learn.  These ideas are pretty easy.

This blog is inactive.
New blog: EricWhite.com/blog

Blog TOC
·         Writing pure code and functions without side effects.  A function implemented in a pure fashion doesn't affect any data outside of the function.  If you pass a certain set of arguments to a pure function, you always get the same results.

·         Composability is one of the key concepts of functional transformations.  If you write code that does not exhibit side effects, you gain composability.  This means that anywhere in a pure functional transformation, you can refactor by writing a pure function, and calling it with impunity, knowing that your transformation will continue to operate properly.

·         Lazy evaluation, which is one of the features that allows LINQ to work in the real world.  Lazy evaluation avoids the creation of large intermediate result sets.  However, it has some pitfalls.  For example, you can write a query that will eventually cause an InvalidCastException, but this exception isn't thrown when the code that contains the query is (apparently) executed.  It is thrown when you iterate over the results of the query.  In example programs, of course, this issue isn't too much of a problem, but when writing large systems, it could be problematic.

·         Use of lambda expressions to gain code readability.  Lambda expressions are inline anonymous functions written using a terse syntax.

·         Use of extension methods on generic interfaces.  This allows us to write extension methods that operate on collections of a variety of constructed types.  The prototypical example is the Where extension method that is implemented on IEnumerable(Of T).  It allows you to filter a collection, specifying the predicate as a lambda expression.  This leads to very readable code.

·         Use of tuples to produce intermediate results and collections of intermediate results.

·         The differences between imperative code and declarative code.  Imperative code is old-style procedural code that has observable side effects.  Declarative code consists of a set of queries where the emphasis is on the actual transforms you are effecting, rather than an algorithm to implement the transform.

We'll explore each of these ideas in depth in this tutorial.

One of the most important areas of learning is the different approach to solving problems.  When coding a complex transformation in a traditional imperative way, you often think in terms of algorithms.  When coding a complex transformation in a declarative way, you think in terms of incremental transformations: collection X transforms to collection Y which then in turn transforms into collection Z.  We'll explore this idea in detail in this tutorial.  This idea could have gone into the list above, but it is important, and I wanted to call it out specifically.

A question that some developers have posed is, "How does Language-Integrated Query (LINQ) figure into functional programming?"  It is kind of a chicken and egg thing.  LINQ is implemented using functional programming techniques, and to fully understand LINQ, you need to understand FP.  In addition, when writing pure FP code, you often use queries, either in the form of Query Expressions, or using method syntax.  This tutorial could be sub-titled, "Writing code in the pure functional programming style, using queries where appropriate."  There is quite a bit more to FP than queries.  It is a change in the basic approach to solving data transformation problems.

This tutorial is presented from a non-academic point of view.  I want it to be accessible to both journeyman and experienced OOP developers.  It is my intent to present the concepts in simple terms, and show their applicability in programs that you are writing right now.

[Table of Contents] [Next Topic] [Blog Map]

Leave a Comment
  • Please add 3 and 6 and type the answer here:
  • Post