Description: This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, a mini-projects and links to further F# sources.
Brief description: Michael R. Hansen is an Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Hans Rischel) and Duration Calculus: A Formal Approach to Real-Time Systems (with Zhou Chaochen).
Review Quotes: "I highly recommend this textbook introducing functional programming with F#. Building on core functional concepts, Hans and Michael introduce topics carefully and with an eye to both theory and practice. The book gives an excellent basis for programming in today's strongly typed multi-paradigm languages and will enable the student to explore many further applied programming domains."
Don Syme, Principal Researcher and F# Designer, Microsoft Research