- Haskell-Cafe - Haskell.org

Vector mysteries
by Fixie Fixie 06 Dec '12

06 Dec '12

Hi I am trying to implement Show for a storable-mutable-vector. Does anyone have a clue why the type-system is killing me :-) Code is below... Cheers Felix ---- {-# LANGUAGE ExistentialQuantification #-} import Control.Monad (liftM2) import qualified Data.Vector.Unboxed as V import qualified Data.Vector.Unboxed.Mutable as MV import Data.Vector.Storable.Mutable import GHC.Prim (RealWorld) import Control.Monad.Primitive import Control.Monad import qualified Data.Vector as VEC import qualified Data.Vector.Generic.Mutable as GM import Data.Int import Data.Typeable.Internal import Data.Primitive data Row = forall m s. (Storable s, MV.Unbox s, Prim s, PrimMonad m) => Row (MV.MVector (PrimState m) s) instance Show Row where show (Row row) = do let xx = MV.read row 0 "Done" main :: IO () main = do print "Done" I get this error: Could not deduce (PrimState m ~ PrimState m0) from the context (Storable s, MV.Unbox s, Prim s, PrimMonad m) bound by a pattern with constructor Row :: forall (m :: * -> *) s. (Storable s, MV.Unbox s, Prim s, PrimMonad m) => MV.MVector (PrimState m) s -> Row, in an equation for `show' NB: `PrimState' is a type function, and may not be injective Expected type: MV.MVector (PrimState m0) s Actual type: MV.MVector (PrimState m) s In the first argument of `MV.read', namely `row' In the expression: MV.read row 0

2 1

sequential logic
by Christopher Howard 06 Dec '12

06 Dec '12

Hi. I was wondering what the various (and especially most simple) approaches one could take for working with (simulating or calculating) sequential logic in Haskell. By sequential logic, I mean like wikipedia describes, where a system is made up of logic gates, whose output is dependent not only on the logic operation of the gate, but on the previous state of the gate. (Like in electronics where the system can be driven by a clock signal or have memory.) Does one have to get into FRP for that sort of thing? Or use some kind of FSM framework? Or is there some kind of fancy state monad suitable for that? Or...? I'm no electronic or digital engineer, but for learning purposes I've been trying to see if I could build an (extremely simple) virtual processor or calculator in Haskell, using only the Bool type and a few of the boolean operators (and functions composed of the aforementioned), reproducing things like half adders and full adders as functions in the program. Of course, I quickly ran into the stateful aspect of the problem, in subjects like clock signal and flip flops. -- frigidcode.com

3 2

Haskell Weekly News: Issue 253
by Daniel Santa Cruz 06 Dec '12

06 Dec '12

Welcome to issue 253 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of November 25 to December 01, 2012. Quotes of the Week * edwardk: this breaks my previous record of 6 unsafeCoerce's in a line * bos:Harpers gona harp. Top Reddit Stories * Pretty Output in GHCi (HOWTO in comments) Domain: i.imgur.com, Score: 82, Comments: 14 On Reddit: [1] http://goo.gl/2c7Ns Original: [2] http://goo.gl/uYZAs * Stable, Vetted Hackage: Call for Participation Domain: yesodweb.com, Score: 59, Comments: 24 On Reddit: [3] http://goo.gl/QrJEz Original: [4] http://goo.gl/1PlBK * Strict vs non-strict semantics: "Why can’t I just be a little lazy?" Domain: blog.ezyang.com, Score: 42, Comments: 20 On Reddit: [5] http://goo.gl/P2nSm Original: [6] http://goo.gl/WDhk6 * io-stream: simple and easy to use primitives for I/O using streams Domain: github.com, Score: 37, Comments: 10 On Reddit: [7] http://goo.gl/uDbGG Original: [8] http://goo.gl/sGqtY * Toward a Secret Sky: Building a Haskell web app with Snap: Snap quickstart guide Domain: unpythonic.blogspot.ca, Score: 36, Comments: 15 On Reddit: [9] http://goo.gl/6UdY8 Original: [10] http://goo.gl/Y6wli * Hackage: unittyped-0.1, an extendable library for type-safe computations including units Domain: hackage.haskell.org, Score: 34, Comments: 23 On Reddit: [11] http://goo.gl/f7b1M Original: [12] http://goo.gl/jmZCi * Easy JSON parsing in Haskell with Aeson Domain: blog.raynes.me, Score: 34, Comments: 18 On Reddit: [13] http://goo.gl/JERS0 Original: [14] http://goo.gl/Ccfbm * 1st São Paulo Haskell Meeting Domain: plus.google.com, Score: 29, Comments: 4 On Reddit: [15] http://goo.gl/MKVPb Original: [16] http://goo.gl/yaLUi * Conal Elliott: "Parallel speculative addition via memoization" Domain: conal.net, Score: 26, Comments: 11 On Reddit: [17] http://goo.gl/EQZxj Original: [18] http://goo.gl/wg0KD * Elm: Making the Web Functional [video/slides] Domain: infoq.com, Score: 26, Comments: 1 On Reddit: [19] http://goo.gl/0qAJM Original: [20] http://goo.gl/bldR0 * From traced monoidal to compact closed: geometry of interaction explained with (OCaml) code Domain: semantic-domain.blogspot.fr, Score: 18, Comments: 22 On Reddit: [21] http://goo.gl/auq1p Original: [22] http://goo.gl/4XvRw * Static Analysis with Applicatives Domain: gergo.erdi.hu, Score: 17, Comments: 13 On Reddit: [23] http://goo.gl/sNLm9 Original: [24] http://goo.gl/Lvxpn * 24 Pull Requests - Does Anyone Have Project Suggestions? Domain: self.haskell, Score: 16, Comments: 3 On Reddit: [25] http://goo.gl/U2bsY Original: [26] http://goo.gl/U2bsY * what if haskell-platform was a hackage metapackage? Domain: self.haskell, Score: 16, Comments: 7 On Reddit: [27] http://goo.gl/SPIlO Original: [28] http://goo.gl/SPIlO * Does anyone know if more videos are going to be posted to Haskell Live TV? Domain: youtube.com, Score: 15, Comments: 2 On Reddit: [29] http://goo.gl/jJxWb Original: [30] http://goo.gl/NVk3D * Data-driven hacks for DB querying — is this evil? Domain: hpaste.org, Score: 13, Comments: 22 On Reddit: [31] http://goo.gl/0J5eJ Original: [32] http://goo.gl/gfRLS * Why does this result not appear in this search in Hoogle? Domain: self.haskell, Score: 12, Comments: 10 On Reddit: [33] http://goo.gl/DGTu2 Original: [34] http://goo.gl/DGTu2 Top StackOverflow Questions * Is putStrLn thread-safe? votes: 12, answers: 1 Read on SO: [35] http://goo.gl/rjRyN * How do you prove that a function is unique for its type? votes: 11, answers: 1 Read on SO: [36] http://goo.gl/odOSy * Laziness/strictness between data and newtype votes: 10, answers: 2 Read on SO: [37] http://goo.gl/Dkqv8 * Why do we use folds to encode datatypes as functions? votes: 10, answers: 1 Read on SO: [38] http://goo.gl/RRVuE * Haskell repa - how to reduce array and return index? votes: 7, answers: 2 Read on SO: [39] http://goo.gl/HpXhR * How much is applicative really about applying, rather than “combining”? votes: 7, answers: 1 Read on SO: [40] http://goo.gl/zq6j3 * Why is that not lazy votes: 7, answers: 2 Read on SO: [41] http://goo.gl/F8H0m * Biapplicative and Bimonad? votes: 6, answers: 1 Read on SO: [42] http://goo.gl/7C01J * reactive-banana-wx `sink` does not generate an event enabling post-sink processing votes: 6, answers: 1 Read on SO: [43] http://goo.gl/pXdTu * Expand type synonyms, type families with GHCi votes: 6, answers: 1 Read on SO: [44] http://goo.gl/G6Sks * Converting expression to pointfree style (Haskell) votes: 6, answers: 1 Read on SO: [45] http://goo.gl/36gLO * ADTs vs. Typeclasses — Canonical use votes: 6, answers: 1 Read on SO: [46] http://goo.gl/ofpbX * Haskell: Monitor a file without polling (à la inotify in linux) votes: 6, answers: 3 Read on SO: [47] http://goo.gl/JGzI0 Until next time, Daniel Santa Cruz References 1. http://i.imgur.com/t6hOx.png 2. http://www.reddit.com/r/haskell/comments/144biy/pretty_output_in_ghci_howto… 3. http://www.yesodweb.com/blog/2012/11/stable-vetted-hackage 4. http://www.reddit.com/r/haskell/comments/141hww/stable_vetted_hackage_call_… 5. http://blog.ezyang.com/2012/11/why-cant-i-just-be-a-little-lazy/ 6. http://www.reddit.com/r/haskell/comments/13tt44/strict_vs_nonstrict_semanti… 7. https://github.com/snapframework/io-streams 8. http://www.reddit.com/r/haskell/comments/13z9i4/iostream_simple_and_easy_to… 9. http://unpythonic.blogspot.ca/2012/11/building-haskell-web-app-with-snap-sn… 10. http://www.reddit.com/r/haskell/comments/13sb85/toward_a_secret_sky_buildin… 11. http://hackage.haskell.org/package/unittyped-0.1 12. http://www.reddit.com/r/haskell/comments/13t795/hackage_unittyped01_an_exte… 13. http://blog.raynes.me/blog/2012/11/27/easy-json-parsing-in-haskell-with-aes… 14. http://www.reddit.com/r/haskell/comments/141ch4/easy_json_parsing_in_haskel… 15. https://plus.google.com/events/cng3rcv1tjl84g2juddk1i36icg 16. http://www.reddit.com/r/haskell/comments/13vctv/1st_s%C3%A3o_paulo_haskell_… 17. http://conal.net/blog/posts/parallel-speculative-addition-via-memoization 18. http://www.reddit.com/r/haskell/comments/13yenz/conal_elliott_parallel_spec… 19. http://www.infoq.com/presentations/Elm 20. http://www.reddit.com/r/haskell/comments/1423uc/elm_making_the_web_function… 21. http://semantic-domain.blogspot.fr/2012/11/in-this-post-ill-show-how-to-tur… 22. http://www.reddit.com/r/haskell/comments/13zzxl/from_traced_monoidal_to_com… 23. http://gergo.erdi.hu/blog/2012-12-01-static_analysis_with_applicatives 24. http://www.reddit.com/r/haskell/comments/143wpd/static_analysis_with_applic… 25. http://www.reddit.com/r/haskell/comments/143c0e/24_pull_requests_does_anyon… 26. http://www.reddit.com/r/haskell/comments/143c0e/24_pull_requests_does_anyon… 27. http://www.reddit.com/r/haskell/comments/1445jh/what_if_haskellplatform_was… 28. http://www.reddit.com/r/haskell/comments/1445jh/what_if_haskellplatform_was… 29. http://www.youtube.com/user/HaskellLiveTV 30. http://www.reddit.com/r/haskell/comments/13x0z9/does_anyone_know_if_more_vi… 31. http://hpaste.org/78401 32. http://www.reddit.com/r/haskell/comments/13xi63/datadriven_hacks_for_db_que… 33. http://www.reddit.com/r/haskell/comments/13r9ii/why_does_this_result_not_ap… 34. http://www.reddit.com/r/haskell/comments/13r9ii/why_does_this_result_not_ap… 35. http://stackoverflow.com/questions/13549706/is-putstrln-thread-safe 36. http://stackoverflow.com/questions/13575583/how-do-you-prove-that-a-functio… 37. http://stackoverflow.com/questions/13566673/laziness-strictness-between-dat… 38. http://stackoverflow.com/questions/13575894/why-do-we-use-folds-to-encode-d… 39. http://stackoverflow.com/questions/13570354/haskell-repa-how-to-reduce-arra… 40. http://stackoverflow.com/questions/13625905/how-much-is-applicative-really-… 41. http://stackoverflow.com/questions/13663430/why-is-that-not-lazy 42. http://stackoverflow.com/questions/13556314/biapplicative-and-bimonad 43. http://stackoverflow.com/questions/13580121/reactive-banana-wx-sink-does-no… 44. http://stackoverflow.com/questions/13595773/expand-type-synonyms-type-famil… 45. http://stackoverflow.com/questions/13596335/converting-expression-to-pointf… 46. http://stackoverflow.com/questions/13610164/adts-vs-typeclasses-canonical-u… 47. http://stackoverflow.com/questions/13642619/haskell-monitor-a-file-without-…

1 0

QuickCheck shrink
by warrensomebody＠gmail.com 05 Dec '12

05 Dec '12

Can someone point me at some documentation or examples of how to write and use a QuickCheck shrink function. I can't seem to find anything online. Thanks, Warren

2 1

Re: [Haskell-cafe] The end of an era, and the dawn of a new one
by Johan Tibell 05 Dec '12

05 Dec '12

On Wed, Dec 5, 2012 at 12:37 PM, David Terei <davidterei(a)gmail.com> wrote: > I have always considered the LLVM code generator my responsibility and > will continue to do so. I don't seem to find the time to make > improvements to it but make sure to keep it bug free and working with > the latest LLVM releases. So if others want are interested in working > on it then there is plenty of room for that but I'll continue to > maintain it and be responsible for it at the least. I will maintain the I/O manager as per usual, probably together with Bryan and Andreas (but I cannot speak for them of course).

1 0

Design of a DSL in Haskell
by Joerg Fritsch 05 Dec '12

05 Dec '12

This is probably a very basic question. I am working on a DSL that eventuyally would allow me to say: import language.cwmwl main = runCWMWL $ do eval ("isFib::", 1000, ?BOOL) I have just started to work on the interpreter-function runCWMWL and I wonder whether it is possible to escape to real Haskell somehow (and how?) either inside ot outside the do-block. I thought of providing a defautl-wrapper for some required prelude functions (such as print) inside my interpreter but I wonder if there are more elegant ways to co-loacate a DSL and Haskell without falling back to being a normal library only. --Joerg

5 12

RFC: Changes to Travis CI's Haskell support
by Simon Hengel 05 Dec '12

05 Dec '12

Hi, currently the default to test Haskell projects on Travis CI [1] is: install: - cabal install --enable-tests script: - cabal test The issue with this is that it runs the test-suite twice, which is a waste of resources and delays build reports. This was an oversight on my part, when I adapted Travis's Haskell support for cabal-install-0.14.0. I think the right thing to do is: install: - cabal install --only-dependencies --enable-tests script: - cabal configure --enable-tests && cabal build && cabal test Please let me know if you think there are better ways to do it, or if you see any issues. Cheers, Simon [1] https://travis-ci.org/

2 2

confirming order of kinds and rank of types
by dude 05 Dec '12

05 Dec '12

I hope you can help me confirm my understanding of the order of kinds and rank of types as reported in [1,2]. I have been validating the mapping functions in Section 2 against the GHC 7.4.2 type checker by explicitly annotating the universal quantifiers as described in [1]. 1. Just to baseline my understanding, given the following data type data U a = UC (forall a. a) -- :k U, U :: * -> * -- order of kind = 1 -- :t UC, UC :: (forall a1. a1) -> U a -- rank of type = 2 am I correct that the order of the kind is 1 and the rank of the type constructor is 2? See page 3 of [1] for counting the order and also page 3 of [2] for counting rank. 2. Assuming the answer to #1 above is yes, am I also correct that the order of Fix is 2 and the rank of In is also 2 and the annotation to In does not affect its rank? newtype Fix f = In (forall f. f (Fix f)) -- :k Fix, Fix :: (* -> *) -> * -- order of kind = 2 -- :t In, In :: (forall (f1 :: * -> *). f1 (Fix f1)) -> Fix f -- rank of type still = 2 3. Are the explicit annotations I added to the following fixpoint operator correct? Hinze indicates this is a third order kind and it seems that although the annotation on HIn has a higher order, the rank of the type hasn't changed, correct? newtype HFix h a = HIn (forall h. (forall a. h (HFix h) a)) -- :k HFix, HFix :: ((* -> *) -> * -> *) -> * -> * -- per hinze order of kind = 3 -- :t HIn, HIn :: (forall (h1 :: (* -> *) -> * -> *) a1. h1 (HFix h1) a1) -> HFix h a -- still rank of type = 2 because there's one quantifier to the left of the function arrow. If all that all checks out, I have a few follow up questions: 4. Hinze reports that mapHFix is Rank3, but the following type checks with the Rank2Type pragma and if I remove the explicit universal quantifiers in HIn. Put the quantifiers back in an it does not type check. mapHFix maph mapa (HIn v) = HIn (maph (mapHFix maph) mapa v) 5. Also, the inferred signature for mapHFix differs from the one stated by Hinze. It's this ... mapHFix :: ((t2 -> HFix t t1 -> HFix h a) -> t2 -> t (HFix t) t1 -> h (HFix h) a) -> t2 -> HFix t t1 -> HFix h a What is the rank of this type signature? The type variables are not in the same order as Hinze's and I was able to just wrap a (forall t2 t t1 h a.) around the whole thing and it type checked. Why are they different? 6. What is the correct type signature for mapHFix? The correct type signature should support changing the pragma from Rank2Types to RankNTypes, then today's 7.4.2 type checker will succeed where it could not in 1999 when the paper was written, correct? Thanks so much for helping me confirm my understanding of these issues! -- dude 1. Polytypic Values Posess Polykinded Types. (Hinze, 1999) 2. A Direct Algorithm for Type Inference in the Rank 2 Fragment of the Second Order Lambda Calculus. (Kfoury, 1993)

1 0

Naive matrix multiplication with Accelerate
by Clark Gaebel 05 Dec '12

05 Dec '12

Hello cafe, I've recently started learning about cuda and hetrogenous programming, and have been using accelerate [1] to help me out. Right now, I'm running into trouble in that I can't call parallel code from sequential code. Turns out GPUs aren't exactly like Repa =P. Here's what I have so far: import qualified Data.Array.Accelerate as A import Data.Array.Accelerate ( (:.)(..) , Acc , Vector , Scalar , Elt , fold , slice , constant , Array , Z(..), DIM1, DIM2 , fromList , All(..) , generate , lift, unlift , shape ) import Data.Array.Accelerate.Interpreter ( run ) dotP :: (Num a, Elt a) => Acc (Vector a) -> Acc (Vector a) -> Acc (Scalar a) dotP xs ys = fold (+) 0 $ A.zipWith (*) xs ys type Matrix a = Array DIM2 a getRow :: Elt a => Int -> Acc (Matrix a) -> Acc (Vector a) getRow n mat = slice mat . constant $ Z :. n :. All -- Naive matrix multiplication: -- -- index (i, j) is equal to the ith row of 'a' `dot` the jth row of 'b' matMul :: A.Acc (Matrix Double) -> A.Acc (Matrix Double) -> A.Acc (Matrix Double) matMul a b' = A.generate (constant $ Z :. nrows :. ncols) $ \ix -> let (Z :. i :. j) = unlift ix in getRow i a `dotP` getRow j b where b = A.transpose b' -- I assume row indexing is faster than column indexing... (Z :. nrows :. _ ) = unlift $ shape a (Z :. _ :. ncols) = unlift $ shape b This, of course, gives me errors right now because I'm calling getRow and dotP from within the generation function, which expects Exp[ression]s, not Acc[elerated computation]s. So maybe I need to replace that line with an inner for loop? Is there an easy way to do that with Accelerate? Thanks for your help, - Clark [1] http://hackage.haskell.org/package/accelerate

3 9

Is hackage.haskell.org down?
by Ivan Perez 04 Dec '12

04 Dec '12

Hi haskellers, I've been having problems to access hackage.haskell.org for the past 2-4 hours. Is everything ok? Cheers, Ivan

3 2