It's all in the name: Learn You a Haskell for Great Good! is a hilarious, illustrated guide to this complex functional language. Packed with the author's original artwork, pop culture references, and most importantly, useful example code, this book teaches functional fundamentals in a way you never thought possible. You'll start with the kid stuff: basic syntax, recursion, types and type classes. Then once you've got the basics down, the real black belt master-class begins: you'll learn to use applicative functors, monads, zippers, and all the other mythical Haskell constructs you've only read about in storybooks. As you work your way through the author's imaginative (and occasionally insane) examples, you'll learn to: –Laugh in the face of side effects as you wield purely functional programming techniques –Use the magic of Haskell's "laziness" to play with infinite sets of data –Organize your programs by creating your own types, type classes, and modules –Use Haskell's elegant input/output system to share the genius of your programs with the outside world Short of eating the author's brain, you will not find a better way to learn this powerful language than reading Learn You a Haskell for Great Good!
A Student's Introduction to Methods and Procedures
Author: Britt Anderson
"For the neuroscientist or psychologist who cringes at the sight of mathematical formulae and whose eyes glaze over at terms like differential equations, linear algebra, vectors, matrices, Bayes’ rule, and Boolean logic, this book just might be the therapy needed." - Anjan Chatterjee, Professor of Neurology, University of Pennsylvania "Anderson provides a gentle introduction to computational aspects of psychological science, managing to respect the reader’s intelligence while also being completely unintimidating. Using carefully-selected computational demonstrations, he guides students through a wide array of important approaches and tools, with little in the way of prerequisites...I recommend it with enthusiasm." - Asohan Amarasingham, The City University of New York This unique, self-contained and accessible textbook provides an introduction to computational modelling neuroscience accessible to readers with little or no background in computing or mathematics. Organized into thematic sections, the book spans from modelling integrate and firing neurons to playing the game Rock, Paper, Scissors in ACT-R. This non-technical guide shows how basic knowledge and modern computers can be combined for interesting simulations, progressing from early exercises utilizing spreadsheets, to simple programs in Python. Key Features include: Interleaved chapters that show how traditional computing constructs are simply disguised versions of the spread sheet methods. Mathematical facts and notation needed to understand the modelling methods are presented at their most basic and are interleaved with biographical and historical notes for contex. Numerous worked examples to demonstrate the themes and procedures of cognitive modelling. An excellent text for postgraduate students taking courses in research methods, computational neuroscience, computational modelling, cognitive science and neuroscience. It will be especially valuable to psychology students.
Erlang is the language of choice for programmers who want to write robust, concurrent applications, but its strange syntax and functional design can intimidate the uninitiated. Luckily, there’s a new weapon in the battle against Erlang-phobia: Learn You Some Erlang for Great Good! Erlang maestro Fred Hébert starts slow and eases you into the basics: You’ll learn about Erlang’s unorthodox syntax, its data structures, its type system (or lack thereof!), and basic functional programming techniques. Once you’ve wrapped your head around the simple stuff, you’ll tackle the real meat-and-potatoes of the language: concurrency, distributed computing, hot code loading, and all the other dark magic that makes Erlang such a hot topic among today’s savvy developers. As you dive into Erlang’s functional fantasy world, you’ll learn about: –Testing your applications with EUnit and Common Test –Building and releasing your applications with the OTP framework –Passing messages, raising errors, and starting/stopping processes over many nodes –Storing and retrieving data using Mnesia and ETS –Network programming with TCP, UDP, and the inet module –The simple joys and potential pitfalls of writing distributed, concurrent applications Packed with lighthearted illustrations and just the right mix of offbeat and practical example programs, Learn You Some Erlang for Great Good! is the perfect entry point into the sometimes-crazy, always-thrilling world of Erlang.
This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers modeling and verification methodologies targeting digital and analog systems; Addresses firmware development and validation; Targets both functional and non-functional properties; Includes descriptions of methods for reliable system design.