Books, Computers & Internet, Programming, Functional

Page 1 of 5 | next

Don Syme, Adam Granicz, Antonio Cisternino
Expert F# (Expert's Voice in .Net)
by Apress (Hardcover)

Expert F# Expert F# is about practical programming in a beautiful language that puts the power and elegance of functional programming into the hands of .NET developers. In combination with .NET, F# achieves unrivaled levels of programmer productivity and program clarity. This books serves as The authoritative guide to F# by the designer of F#A comprehensive reference of F# concepts, syntax, and featuresA treasury of expert F# techniques for practical, real-world programming While inspired by OCaml, F# isn't just another functional programming language. Drawing on many of the strengths of both OCaml and .NET, it's a general-purpose language ideal for real-world development. F# integrates functional, imperative, and object-oriented programming styles so you can flexibly and elegantly solve programming problems, and brings .NET development alive with interactive execution. Whatever your background, you'll find that F# is ...

Chris Okasaki
Purely Functional Data Structures
by Cambridge University Press (Hardcover)

Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages. All source code is given in Standard ML and Haskell, and most of the programs are easily adaptable to other functional languages. This handy reference for professional programmers working with functional languages can also be used as a tutorial or for self-study.

Paul Hudak
The Haskell School of Expression: Learning Functional Programming through Multimedia
by Cambridge University Press (Hardcover)

Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clarity. This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular purely functional language. Rather than using the conventional (boring) mathematical examples commonly found in other programming language textbooks, the author uses examples drawn from multimedia applications, including graphics, animation, and computer music, thus rewarding the reader with working programs for inherently more interesting applications. Aimed at both beginning and advanced programmers, this tutorial begins with a gentle introduction to functional programming and moves rapidly on to more advanced topics. Details about progamming in Haskell are presented in boxes throughout the text so they ...

Simon Thompson
Haskell: The Craft of Functional Programming (2nd Edition) (International Computer Science Series)
by Addison Wesley (Paperback)

The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, as well as advice an program design, testing, problem solving and how to avoid common pitfalls. Building on the strengths of the first edition, the book includes many new and improved features: Complete coverage of Haskell 98, the standard version of Haskell which will be stable and supported by implementations for years to come. An emphasis on software engineering principles, encouraging a disciplined approach to building reusable libraries of software components. Detailed coverage of the Hugs interpreter with an appendix covering other implementations. A running case study of pictures emphasizes the built-in functions which appear in the standard prelude and libraries. ...

Fethi A. Rabhi, Guy Lapalme
Algorithms: A Functional Programming Approach (International Computer Science Series)
by Addison Wesley (Paperback)

The design of algorithms for problem-solving lies at the heart of computer science. Concise yet authoritative, Algorithms: A Functional Programming Approach teaches the skills needed to master this essential subject. The authors challenge more traditional methods of teaching algorithms by using a functional programming context, with Haskell as the implementation language. This leads to smaller, clearer and more elegant programs which enable the programmer to understand the algorithm itself more quickly and to use that understanding to explore alternative solutions. Placing the emphasis on program development rather than the mathematical properties of algorithms, the book uses a succession of practical programming examples to develop in the reader problem-solving skills which can be easily transferred to other language paradigms. Key features of this innovative text include: Unmatched collection of functional programming algorithms A wealth of practical examples, ...

Richard Bird
Introduction to Functional Programming using Haskell (2nd Edition)
by Prentice Hall PTR (Paperback)

After the success of the first edition of Introduction to Functional Programming, the authors have thoroughly updated and revised this bestselling title. This book is unusual amongst books on functional programming in that it is primarily directed towards the concepts of functional programming, rather than their realization in a specific programming language. The book clearly expounds the construction of functional programs as a process of mathematical calculation, but the mathematics is restricted to that relevant to the actual construction of programs.

Andrew D. Gordon
Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)
by Cambridge University Press (Hardcover)

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains, for the first time, operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He also develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's "applicative bisimulation." Graduate students and researchers will gain much from reading this book.

Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (Lecture Notes in Computer Science)
by Springer (Paperback)

This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structured software.

Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures (Lecture Notes in Computer Science)
by Springer (Paperback)

This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998. The lectures presented are targeted at individual students and programming professionals as well as at small study groups and lecturers who wish to become acquainted with recent work in the rapidly developing area of functional programming. The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Sorting Morphisms; Generic Programming: An Introduction; Generic Program Transformation; Designing and Implementing Combinator Languages; Using MetaML: A Staged Programming Language; Cayenne: A Language with Dependent Types; Haskell as an Automation Controller.

Applications Of Functional Programming
by CRC (Hardcover)

This book is unique in showcasing real non-trivial applications of functional programming using the Haskell language. It presents state-of- the-art work from the flare project and will be an invaluable resource for advanced study, research and implementation.; The applications covered in the book range from workforce management and graphical design to computational fluid dynamics. The section on parallelism will be of particular significance as the relevance of functional programming to this domain begins to emerge as one of its most promising future directions. Any professional wishing to develop an application using Haskell will find this book a priceless reference and starting point.; "Applications of functional programming" should be on the shelf of all computer scientists with an interest in the development of declarative programming, and in particular, the implementation of Haskell. It will be accessible for those with only a foundational knowledge of functional programming ...

Page 1 of 5 | next