sorted by: recent | see : popular

Content Tagged with geek + Software

Excellent explanation of kinds and fixed points over types in Haskell.

most interesting for the function tselect, which is like unix select() for STM.TChans.

"This project uses a language-based technique to unify two seemingly opposite programming models for building massively concurrent network services: the event-driven model and the multithreaded model. The result is a unified concurrency model providing both thread abstractions and event abstractions. We implemented the unified concurrency model in Haskell, a pure, lazy, functional programming language. Our implementation demonstrates how to use these techniques by building an application-level thread library with support for multiprocessing and asynchronous I/O mechanisms in Linux. The thread library is type-safe, is relatively simple to implement, and has good performance. Application-level threads are extremely lightweight (scaling to 10,000,000 threads!) and our scheduler, which is implemented as a modular and extensible event-driven system, outperforms NPTL in I/O benchmarks."

"At this point in the paper I was skimming, but when I saw 'return return', I boggled. I went back and read it more carefully after that, you betcha."

a post covering the interactions of laziness with exception handling

"There exists an algorithm called the Knuth-Morris-Pratt string searching algorithm which has a much better, O(length as + length bs), worst case behavior." It's usually an imperative style algorithm, but this post presents a functional version in Haskell.

a direct literate haskell translation from a python script, implementations interleaved. better performance. code relates to the netflix prize. references: http://groups.google.com/group/comp.lang.haskell/browse_frm/thread/9e33e4fbc786471a#

"Someone in the #haskell IRC channel mentioned the “reverse state monad” explaining that it used the state from the next computation and passed it to the previous one. Well, I just had to try this!"

(TODO: Grok this.) Cale demonstrates a one-liner that is "generally useful whenever you have a bunch of with-style functions for managing the allocation of resources, and would like to turn them into a single with-style function providing a list of the...