Archive for January, 2009
Functional Prgoramming Software Testing – videos
Type-driven testing in Haskell – Simon Peyton Jones http://video.google.com/videoplay?docid=-4991530385753299192
Simon Peyton Jones talks about QuickCheck and SmallCheck.
FP A Secret Weapon for Software Testing – John Hughes http://video.google.com/videoplay?docid=4655369445141008672
John Hughes gives an invited talk at ICFP 2007 in Freiburg, Germany, showing from his company’s experience how QuickCheck has found many obscure bugs in commercial software. *Even when the software under test is not written in a functional language.
Tags: functional programming
GPU Kernels as Data-Parallel Array Computations in Haskell
This paper provides a brief overview of approach to GPU programming with Haskell by embedding GPU kernels with a domain-specific language of data-parallel array computations in Haskell code. The paper also presents some preliminary benchmarks.
We present a novel high-level parallel programming model aimed at graphics processing units (GPUs). We embed GPU kernels as data-parallel array computations in the purely functional language Haskell. GPU and CPU computations can be freely interleaved with the type system tracking the two different modes of computation. The embedded language of array computations is sufficiently limited that our system can automatically extract these computations and compile them to efficient GPU code. In this paper, we outline our approach and present the results of a few preliminary benchmarks.
http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html
Tags: functional programming, GPU, Haskell
