Sharon Curtis and Shin-Cheng Mu have a Functional Pearl using zygomorphisms to find maximally dense segments (a generalization of maximum segment sums). Zygomorphisms are seemingly a good fit for sliding window problems once you are accustomed to them. http://www.iis.sinica.edu.tw/~scm/2010/functional-pearl-maximally-dense-segments/ I’d nominate the authors for extra credit as they’ve avoided the use of the fixed-point Mu … Read more
In the 2009-2012 period, the following things have happened: 2012: From 2012, the parallel Haskell status updates began appearing in the Parallel Haskell Digest. 2011: Parallel and Concurrent Programming in Haskell, a tutorial. version 1.1 released by Simon Marlow Haskell and parallelism, mentioned in an article in the Economist magazine, Jun 2nd 2011. Parallel tree … Read more
Both newtype and the single-constructor data introduce a single value constructor, but the value constructor introduced by newtype is strict and the value constructor introduced by data is lazy. So if you have data D = D Int newtype N = N Int Then N undefined is equivalent to undefined and causes an error when … Read more
The recursion for foldr f x ys where ys = [y1,y2,…,yk] looks like f y1 (f y2 (… (f yk x) …)) whereas the recursion for foldl f x ys looks like f (… (f (f x y1) y2) …) yk An important difference here is that if the result of f x y can … Read more
Dependently Typed Haskell, Now? Haskell is, to a small extent, a dependently typed language. There is a notion of type-level data, now more sensibly typed thanks to DataKinds, and there is some means (GADTs) to give a run-time representation to type-level data. Hence, values of run-time stuff effectively show up in types, which is what … Read more
There are at least 4 libraries that I am aware of providing lenses. The notion of a lens is that it provides something isomorphic to data Lens a b = Lens (a -> b) (b -> a -> a) providing two functions: a getter, and a setter get (Lens g _) = g put (Lens … Read more
Suppose a function has side effects. If we take all the effects it produces as the input and output parameters, then the function is pure to the outside world. So, for an impure function f’ :: Int -> Int we add the RealWorld to the consideration f :: Int -> RealWorld -> (Int, RealWorld) — … Read more
GHCi now has a multiline-input mode, enabled with :set +m. For example, Prelude> :set +m Prelude> let fac 0 = 1 Prelude| fac n = n * fac (n-1) Prelude| Prelude> fac 10 3628800
Remember that you can look up the definition of Prelude functions! http://www.haskell.org/onlinereport/standard-prelude.html Looking there, the definition of words is, words :: String -> [String] words s = case dropWhile Char.isSpace s of “” -> [] s’ -> w : words s” where (w, s”) = break Char.isSpace s’ So, change it for a function that … Read more
This GHC Trac page also explains the passes fairly well. This page explains the optimization ordering, though, like the majority of the Trac Wiki, it is out of date. For specifics, the best thing to do is probably to look at how a specific program is compiled. The best way to see which optimizations are … Read more