Posts tagged 'haskell'
- Date: 2017-08-23
Tags: haskell
2 comments
Traversing syntax treesA convenient traversal function on which to build substitution and more
- Date: 2016-06-07
Tags: haskell, pipes
0 comments
Stream fusion for streaming, without writing any codeReusing existing libraries for fun and profit
- Date: 2015-10-10
Tags: haskell, unsafe
15 comments
Extra unsafe sequencing of IO actionsWhy write sane code when you can live on the edge instead?
- Date: 2012-07-26
Tags: haskell, pipes
3 comments
Categories over pairs of typesPipes with upstream results are a Haskell category
- Date: 2012-06-08
Tags: haskell, performance
2 comments
Benchmark: unpacked values in containersHow much can performance of Data.Map be improved by unpacking integers?
- Date: 2012-06-02
Tags: haskell, pipes
0 comments
Building pipes with monad transformerswhere Pipe = ProducerT . ConsumerT
- Date: 2012-04-04
Tags: haskell, pipes
4 comments
What to do with the results of upstream pipesShould pipes have a fifth type argument?
- Date: 2012-03-24
Tags: haskell, pipes
9 comments
Conduits vs. PipesOne pipe to rule them all
- Date: 2012-03-19
Tags: haskell
11 comments
Dependently typed DAGsUsing GADTs to get a safe representation of Directed Acyclic Graphs.
- Date: 2012-02-11
Tags: haskell, rectangles
1 comment
Finding rectangles, part 3: divide and conquerA faster algorithm for finding border rectangles in images.
- Date: 2012-02-07
Tags: haskell
4 comments
Search trees without sortingEfficient searches with the help of a semilattice.
- Date: 2011-10-12
Tags: haskell, rectangles
6 comments
Finding rectangles, part 2: bordersAn efficient algorithm for finding rectangles in images.
- Date: 2011-09-28
Tags: haskell, rectangles
15 comments
Finding rectanglesAn efficient algorithm for finding rectangles in images.
- Date: 2011-05-22
Tags: haskell, lens
10 comments
Isomorphism lensesMy new favorite implementation of lenses. It gives you the laws for free
- Date: 2011-05-19
Tags: haskell, lens, talks
3 comments
Talk on LensesTalk at the Radboud foundations group, 2011-05-17
- Date: 2010-07-12
Tags: haskell
6 comments
More composition operatorsVariations of the trusted (.) operator
- Date: 2009-11-08
Tags: haskell
3 comments
Four ways to fold an arrayfoldr and foldl in two ways each
- Date: 2009-07-19
Tags: haskell, lens
13 comments
CPS based functional references
- Date: 2009-04-24
Tags: haskell
0 comments
Where do I get my non-regular types?
- Date: 2009-04-22
Tags: haskell
16 comments
A non-regular data type challenge
- Date: 2008-12-09
Tags: haskell, knight-in-n
1 comment
Knight in n, part 4: tensorsHow many ways are there to move a knight on a chessboard from a to b?
- Date: 2008-12-03
Tags: haskell, knight-in-n
8 comments
Knight in n, part 3: ringsHow many ways are there to move a knight on a chessboard from a to b?
- Date: 2008-11-30
Tags: haskell, knight-in-n
5 comments
Knight in n, part 2: combinatoricsHow many ways are there to move a knight on a chessboard from a to b?
- Date: 2008-11-25
Tags: haskell, knight-in-n
2 comments
Knight in n, part 1: movesHow many ways are there to move a knight on a chessboard from a to b?
- Date: 2008-11-13
Tags: haskell
3 comments
Arrays without boundsA Haskell array datatype that grows as needed.
- Date: 2008-08-14
Tags: haskell
9 comments
A generic merge functionGeneralizing union, intersection and set difference
- Date: 2008-07-25
Tags: haskell, puzzle
8 comments
Solving nonogramsSolving 'nonogram' puzzles with Haskell
- Date: 2008-01-29
Tags: haskell
6 comments
Simple reflection of expressionsConvert Haskell expressions back into strings
- Date: 2007-11-06
Tags: haskell, lens
3 comments
References, Arrows and CategoriesFunctional references as a category
- Date: 2007-09-02
Tags: haskell, lens
6 comments
Overloading functional referencesUsing functional references without needing to call 'get'.
- Date: 2007-04-15
Tags: haskell
12 comments
Knuth-Morris-Pratt in HaskellFaster substring searching