**Haskell**

H-99: Ninety-Nine Haskell Problems

12 hours ago by matijap29

hese are Haskell translations of Ninety-Nine Lisp Problems, which are themselves translations of Ninety-Nine Prolog Problems. If you want to work on one of these, put your name in the block so we know someone's working on it. Then, change n in your block to the appropriate problem number, and fill in the <Problem description>,<example in Haskell>,<solution in haskell> and <description of implementation> fields. Then be sure to update the status on this page to indicate that we have a solution!

haskell
coding_problems
12 hours ago by matijap29

School of Haskell

12 hours ago by matijap29

Introductory tutorials, teaching you Haskell, how to use the School, and some common libraries

haskell
programming_tutorial
12 hours ago by matijap29

Home - The Haskell Tool Stack

13 hours ago by atomicules

Easier cross platform stuff

haskell
programming
documentation
13 hours ago by atomicules

Lazy implementqtion of bytestringsToVectors by newhoggy · Pull Request #9 · haskell-works/hw-prim · GitHub

yesterday by etorreborre

RT @newhoggy: Serendipity is when you make a function lazy for streaming and you find it runs twice as fast. #haskell

haskell
from twitter
yesterday by etorreborre

Declarative equations, compositional strategies: solving differential systems with lazy splines

2 days ago by doneata

A simple Haskell encoding of Euler’s method of integration is presented. From this encoding, a general solver for continuous differential equations is developed, by way of lazy splines. Various

refinement strategies are introduced to improve accuracy. The result is a declarative, compositional library for solving differential

equations.

pdf
article
haskell
mathematics
refinement strategies are introduced to improve accuracy. The result is a declarative, compositional library for solving differential

equations.

2 days ago by doneata

What Sequential Games, the Tychonoff Theorem, and the Double-Negation Shift have in Common

2 days ago by doneata

This is a tutorial for mathematically inclined functional programmers, based on previously published, peered reviewed theoretical work. We discuss a higher-type functional, written here in the functional programming language Haskell, which

1. optimally plays sequential games,

2. implements a computational version of the Tychonoff Theorem from topology, and

3. realizes the Double-Negation Shift from logic and proof theory.

The functional makes sense for finite and infinite (lazy) lists, and in the binary case it amounts to an operation that is available in any (strong) monad.

In fact, once we define this monad in Haskell, it turns out that this amazingly versatile functional is already available in Haskell, in the standard prelude, called sequence, which iterates this binary operation. Therefore Haskell proves that this functional is even more versatile than anticipated, as the function sequence was introduced for other purposes by the language designers, in particular the iteration of a list of monadic effects (but effects are not what we discuss here).

Checkout related resources as well:

http://www.cs.bham.ac.uk/~mhe/papers/msfp2010/

http://homepages.inf.ed.ac.uk/wadler/papers/tychonoff/tychonoff.lhs

article
pdf
programming
haskell
mathematics
logic
1. optimally plays sequential games,

2. implements a computational version of the Tychonoff Theorem from topology, and

3. realizes the Double-Negation Shift from logic and proof theory.

The functional makes sense for finite and infinite (lazy) lists, and in the binary case it amounts to an operation that is available in any (strong) monad.

In fact, once we define this monad in Haskell, it turns out that this amazingly versatile functional is already available in Haskell, in the standard prelude, called sequence, which iterates this binary operation. Therefore Haskell proves that this functional is even more versatile than anticipated, as the function sequence was introduced for other purposes by the language designers, in particular the iteration of a list of monadic effects (but effects are not what we discuss here).

Checkout related resources as well:

http://www.cs.bham.ac.uk/~mhe/papers/msfp2010/

http://homepages.inf.ed.ac.uk/wadler/papers/tychonoff/tychonoff.lhs

2 days ago by doneata

A novel representation of lists and its applications to the function "reverse"

2 days ago by doneata

A representation of lists as first-class functions is proposed. Lists represented in this way can be appended together in constant time, and can be converted back into ordinary lists in time proportional to their length. Programs which construct lists using append can often be improved by using this representation. For example, naive reverse can be made to run in linear time, and the conventional ‘fast reverse’ can then be derived easily. Examples are given in KRC (Turner, 1982), the notation being explained as it is introduced. The method can be compared to Sleep and Holmström's proposal (1982) to achieve a similar effect by a change to the interpreter.

pdf
article
programming
haskell
difference-lists
2 days ago by doneata

Haskell Programming - Home

books
programming
haskell
functionalprogramming

2 days ago by philiphagen

An exercise-driven Haskell book for beginners that works for non-programmers and experienced hackers alike.

2 days ago by philiphagen