Downloads & Free Reading Options - Results

Advanced Functional Programming in Haskell Graham Hutton

We present an embedded DSL to support adaptation-based programming (ABP) in Haskell. ABP is an abstract model for defining adaptive values, called adaptives, which adapt in response to some associated feedback. We show how our design choices in Haskell motivate higher-level combinators and constructs and help us derive more complicated compositional adaptives. We also show an important specialization of ABP is in support of reinforcement learning constructs, which optimize adaptive values based on a programmer-specified objective function. This permits ABP users to easily define adaptive values that express uncertainty anywhere in their programs. Over repeated executions, these adaptive values adjust to more efficient ones and enable the user's programs to self optimize. The design of our DSL depends significantly on the use of type classes. We will illustrate, along with presenting our DSL, how the use of type classes can support the gradual evolution of DSLs.

Linux Audio Conference 2013 Paper: Live music programming in Haskell Henning Thielemann We aim to compose algorithmic music in an interactive way with multiple participants. To this end we develop an interpreter for a sub-language of the non-strict functional programming language Haskell that allows to modify the program during its execution. Our system can be used both for musical live-coding and for demonstration and education of functional programming.

We describe a method for deepening a student's understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a second-year course in computational physics at Lebanon Valley College. We argue that the structure of Newtonian mechanics is clarified by its expression in a language (Haskell) that supports higher-order functions, types, and type classes. In electromagnetic theory, the type signatures of functions that calculate electric and magnetic fields clearly express the functional dependency on the charge and current distributions that produce the fields. Many of the ideas in basic physics are well-captured by a type or a function.

We aim for composing algorithmic music in an interactive way with multiple participants. To this end we have developed an interpreter for a sub-language of the non-strict functional programming language Haskell that allows the modification of a program during its execution. Our system can be used both for musical live-coding and for demonstration and education of functional programming.

Philip Augustus (Philip II of France 1165-1223), grandfather of Saint Louis, was one of France's greatest kings. While England's Henry II was locked in combat with his rebellious offspring, Philip and his loyal son, Louis, steadily consolidated the scattered territories of their little kingdom. In this short, but vivid history we meet King Philip, now riding, at the behest of the imperious Pope Innocent III, with his spurned wife, Ingeborgis, behind him on the saddle, now impetuously flying at his enemies at the Battle of Bouvines. In his later years he quietly fended off conflict and crusade and passed, as the author writes, "from district to district hearing complaints, redressing wrongs...a great king ceaselessly active, of unwearied vigilance and ever-changing scheme...stern,secret, subtle, obstinate, and invincibly patient in the pursuit of what his eye desired and his hand found to do." - Summary by Pamela Nagami

William Holden Hutton (1860-1930) was a British historian and Dean of Winchester Cathedral. In this slim volume, Hutton writes of the long period of feudal anarchy following the death of King Henry I in 1135, during which Henry's implacable daughter, Mathilda, battled the ineffectual King Stephen. Hutton then describes the turbulent reign of the great King Henry II, the reigns of Kings Richard, John, Henry III, and of the first two Edwards, rulers who whether weak or strong, rigid or resourceful, were grimly opposed by their powerful barons. - Summary by Pamela Nagami