sorted by: recent | see :
popular
Content Tagged with Haskell + code
Let's build an MP3-decoder!
A good explanation of the MP3 audio file format complete with a decoder written in Haskell.
blog.bjrn.se: Let's build an MP3-decoder!
A good discussion of lossy encoding and the MP3 codec in particular, then a decoder implementation in Haskell.
Code examples from "Session Types for Real Languages"
From Tov and Pucelli's session type paper at Haskell '08.
UnicodeInHaskellSource - Haskell Prime - Trac
GHC now (as of early Jan 2006) interprets source files as UTF-8. In -fglasgow-exts mode the above special symbols are interpreted as in JHC. GHC knows about the characters classifications of all unicode characters via the Data.Char library, and can therefore understand identifiers written using alphanumeric characters from any language (but see below for note about caseless character sets).
Metamorphic Programming
Metamorphic programming is an approach to extend the structured recursive programming discipline, which favors the use of fold operations over general recursion, to abstract data types. The key idea is to represent an ADT by two parts, a constructorand a destructor,which are essentially functions to/from a common representation. Then a fold can work on an ADT by applying parameter functions to values that are delivered by the ADT's own destructor. Fold operations that use as a parameter the constructor of another ADT, called ADT transformers,play an important role and offer a concise programming style. Several laws for ADT folds and transformers exist that can be used for program optimization and verification.
Functional Graph Library/Haskell
The functional graph library for Haskell provides several modules that define inductive graphs and graph algorithms.
Haskell: del.icio.us tag/haskell
Library
Persistence
haskell
code
mathematics
graphs
algorithm
Page 1 | Next >>