- Haskell-Cafe - Haskell.org

question about linking with sqlite3
by Canhua 24 May '12

24 May '12

Hi, I made a cabal package that use HDBC-sqlite3 on Windows. When cabal install it, I got an error from ld.exe: cannot find -lsqlite3. How can I tell ld.exe where sqlite3.dll is plcaed? Thanks.

1 1

Parallel cooperative multithreading?
by Benjamin Ylvisaker 23 May '12

23 May '12

Has anyone ever worked on implementing something like this in Haskell? http://www.cs.hmc.edu/~stone/papers/ocm-unpublished.pdf The outline of the idea: - Concurrent programming is really hard with the popular frameworks today. - For most purposes parallel programming is hard, in some part because it requires concurrent programming. Of course there are attempts to do non-concurrent parallel programming, but I hope it's not too controversial to say that such frameworks are still on the fringe. - Cooperative concurrency is way easier than preemptive concurrency because between invocations of pause/yield/wait, sequential reasoning works. - Historically, cooperative concurrency only worked on a single processors, because running threads in parallel would break the atomicity of sequential blocks (between invocations of p/y/w). - Researchers have been poring tons of effort into efficiently running blocks of code atomically. - Hey, we can do parallel cooperative multithreading! The paper discusses implementations in Lua, C++ and C, but I think Haskell could be an awesome substrate for such a framework. Has anyone thought about this? Ben

4 3

Re: [Haskell-cafe] [Haskell-beginners] Most C++ compilers will not optimize x^2.0 as x*x but instead will do an expensive ...
by Tom Murphy 23 May '12

23 May '12

Just to play devil's advocate, if you look back at the list, KC has written a lot of helpful and informative messages in the past. Tom On 5/23/12, Bardur Arantsson <spam(a)scientician.net> wrote: > On 05/24/2012 04:31 AM, Brandon Allbery wrote: >> On Wed, May 23, 2012 at 10:19 PM, Bardur Arantsson >> <spam(a)scientician.net>wrote: >> >>> This has come up before -- this KC person probably has a broken mail >>> client which doesn't set appropriate References headers. >>> >> >> That, however, ignores the rest of it; the lack of references in this >> case >> forms a pattern with the other things I noted, in that a conversation is >> apparently being held in the form of single observations emitted at the >> point of observation instead of being collected and presented *as* a >> conversation. >> > > Right. I was actually just about to respond to (only) KC in person, but > perhaps unwisely, decided to "hijack" your response to add a little > explanation for everyone. > > You are of course right that not quoting context and just randomly > spewing out small bits of text is not really suitable for a mailing list. > > > _______________________________________________ > Beginners mailing list > Beginners(a)haskell.org > http://www.haskell.org/mailman/listinfo/beginners >

1 0

Most C++ compilers will not optimize x^2.0 as x*x but instead will do an expensive ...
by KC 23 May '12

23 May '12

exponentiation and logarithm. So, I believe this C++ versus Haskell versus (your language of choice) is a Penn & Teller misdirection. Whereas, another level of indirection solves everything. -- -- Regards, KC

3 3

Haskell Weekly News: Issue 228
by Daniel Santa Cruz 23 May '12

23 May '12

Welcome to issue 228 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 13 to 19, 2012. Announcements Stefan Wehr issued a call for presentations for the Commercial Users of Functional Programmers (CUFP 2012) conference to be held in Copenhagen, Denmark during September 13 to 15, 2012. [1] http://goo.gl/Rl1T9 Quotes of the Week * hpc measures understanding in angstroms per (second * liter) ^ (1/15) Top Reddit Stories * ANNOUNCE: forthcoming O'Reilly book on Parallel and Concurrent Haskell Domain: haskell.org, Score: 101, Comments: 13 On Reddit: [2] http://goo.gl/UY9L6 Original: [3] http://goo.gl/oqLo6 * GHC 7.6 will have support for deferred type errors Domain: hackage.haskell.org, Score: 55, Comments: 4 On Reddit: [4] http://goo.gl/sPknX Original: [5] http://goo.gl/ieM9s * What happens when you mix three research programming languages together Domain: blog.ezyang.com, Score: 41, Comments: 7 On Reddit: [6] http://goo.gl/ujmF1 Original: [7] http://goo.gl/jME65 * Reactive-Banana 0.6: FRP in Haskell, supports both WxHaskell and generation to Javascript! Domain: apfelmus.nfshost.com, Score: 39, Comments: 3 On Reddit: [8] http://goo.gl/XrFxl Original: [9] http://goo.gl/Uanl6 * Keter: It's Alive! (Web app deployment system for Haskell) Domain: yesodweb.com, Score: 35, Comments: 6 On Reddit: [10] http://goo.gl/RyuLI Original: [11] http://goo.gl/EVcDT * Reasoning about Stream Processing with Effects Domain: personal.cis.strath.ac.uk, Score: 26, Comments: 26 On Reddit: [12] http://goo.gl/TI8bj Original: [13] http://goo.gl/n2rS0 * Patches for the new GHC-iPhone (v4) builds but needs a little more debugging Domain: hip-to-be-square.com, Score: 26, Comments: 27 On Reddit: [14] http://goo.gl/7QvqK Original: [15] http://goo.gl/zLCzr * Commutative Edits and Exceptions -- Categorically Dual(ish)? Domain: bosker.wordpress.com, Score: 24, Comments: 2 On Reddit: [16] http://goo.gl/1quI5 Original: [17] http://goo.gl/ET2ym * Parallel Haskell Digest 10: SPJ on Cloud Haskell, concurrent channels, meta-par, Accelerate, and StackOverflow'ing like crazy Domain: well-typed.com, Score: 21, Comments: 3 On Reddit: [18] http://goo.gl/z1UiV Original: [19] http://goo.gl/iPiAx * Interactive Programming with LambdaCalc Domain: dynamicaspects.org, Score: 20, Comments: 6 On Reddit: [20] http://goo.gl/IeEis Original: [21] http://goo.gl/n3Bqo * BitParser - RFC on a new parsing library for parsing data at the bit level. Similar in functionality to Erlang's bit syntax Domain: github.com, Score: 18, Comments: 8 On Reddit: [22] http://goo.gl/a7Qmq Original: [23] http://goo.gl/SL1u4 Top StackOverflow Questions * Haskell: Between a list and a tuple votes: 10, answers: 3 Read on SO: [24] http://goo.gl/6eiPg * Why is it so uncommon to use type signatures in where clauses? votes: 9, answers: 4 Read on SO: [25] http://goo.gl/ih3cK * Is there any good Haskell indentation script for Vim? votes: 9, answers: 2 Read on SO: [26] http://goo.gl/t1D3Y * Haskell “exceptions” votes: 8, answers: 2 Read on SO: [27] http://goo.gl/5WfTT * Is it possible to program and check invariants in haskell? votes: 8, answers: 3 Read on SO: [28] http://goo.gl/5wNE6 * The “handle” function and Real World Haskell votes: 7, answers: 2 Read on SO: [29] http://goo.gl/K8WK0 * Haskell: Flatten binary tree votes: 7, answers: 2 Read on SO: [30] http://goo.gl/eSokk * How can I uninstall a version of a Cabal package? votes: 6, answers: 1 Read on SO: [31] http://goo.gl/Gl1Mi * Fault tolerant JSON parsing votes: 6, answers: 1 Read on SO: [32] http://goo.gl/NBsVH * Can a Haskell or Haskell OS thread waiting on Network.Socket.accept not be killed on Windows? votes: 6, answers: 1 Read on SO: [33] http://goo.gl/8NHKB * efficient functional data structure for finite bijections votes: 6, answers: 2 Read on SO: [34] http://goo.gl/bXA1Ke Until next time, Daniel Santa Cruz References 1. http://permalink.gmane.org/gmane.comp.lang.haskell.general/19157 2. http://www.haskell.org/pipermail/haskell/2012-May/023328.html 3. http://www.reddit.com/r/haskell/comments/trf72/announce_forthcoming_oreilly… 4. http://hackage.haskell.org/trac/ghc/wiki/Status/May12 5. http://www.reddit.com/r/haskell/comments/tm1mc/ghc_76_will_have_support_for… 6. http://blog.ezyang.com/2012/05/what-happens-when-you-mix-three-research-pro… 7. http://www.reddit.com/r/haskell/comments/tptuo/what_happens_when_you_mix_th… 8. http://apfelmus.nfshost.com/blog/2012/05/15-frp-banana-0-6.html 9. http://www.reddit.com/r/haskell/comments/toghk/reactivebanana_06_frp_in_has… 10. http://www.yesodweb.com/blog/2012/05/keter-its-alive 11. http://www.reddit.com/r/haskell/comments/tsyv5/keter_its_alive_web_app_depl… 12. https://personal.cis.strath.ac.uk/~raa/posts/2012-01-06-streams.html 13. http://www.reddit.com/r/haskell/comments/tm7ur/reasoning_about_stream_proce… 14. http://hip-to-be-square.com/~blackh/ghc-iphone-new/v4/ 15. http://www.reddit.com/r/haskell/comments/tnnqc/patches_for_the_new_ghciphon… 16. http://bosker.wordpress.com/2012/05/10/on-editing-text/ 17. http://www.reddit.com/r/haskell/comments/ts3sz/commutative_edits_and_except… 18. http://www.well-typed.com/blog/66 19. http://www.reddit.com/r/haskell/comments/tta8y/parallel_haskell_digest_10_s… 20. http://dynamicaspects.org/blog/2012/05/15/back-to-the-future/ 21. http://www.reddit.com/r/haskell/comments/tokmh/interactive_programming_with… 22. https://github.com/axman6/BitParser/tree/bs-state 23. http://www.reddit.com/r/haskell/comments/tmhca/bitparser_rfc_on_a_new_parsi… 24. http://stackoverflow.com/questions/10626943/haskell-between-a-list-and-a-tu… 25. http://stackoverflow.com/questions/10609936/why-is-it-so-uncommon-to-use-ty… 26. http://stackoverflow.com/questions/10663888/is-there-any-good-haskell-inden… 27. http://stackoverflow.com/questions/10611382/haskell-exceptions 28. http://stackoverflow.com/questions/10656402/is-it-possible-to-program-and-c… 29. http://stackoverflow.com/questions/10578572/the-handle-function-and-real-wo… 30. http://stackoverflow.com/questions/10592920/haskell-flatten-binary-tree 31. http://stackoverflow.com/questions/10576868/how-can-i-uninstall-a-version-o… 32. http://stackoverflow.com/questions/10604808/fault-tolerant-json-parsing 33. http://stackoverflow.com/questions/10608602/can-a-haskell-or-haskell-os-thr… 34. http://stackoverflow.com/questions/10669217/efficient-functional-data-struc…

1 0

Haskell Meeting Munich
by Heinrich Hördegen 23 May '12

23 May '12

Dear all, our local hackathon in Munich on the 12th of May was a real success. Thanks to all those who joined! Look at the site for a picture: http://www.haskell-munich.de/dates Our next regular meeting is on Monday, the 28th of May at Cafe Puck at 19h30. This is a holiday in Germany. We hope that many of you will come! If you plan to do so, please click the button on the above mentioned site. Until then, I wish all of you a nice time, Heinrich -- hoerdegen(a)funktional.info www.funktional.info

1 0

HPC question
by David Turner 23 May '12

23 May '12

Dear Haskell Cafe, I've been playing around with the -fhpc option to GHC and have come across some things being highlighted yellow in the HTML markup for which I can't work out the right way to 'cover' them. A cut down program that shows what I'm talking about is at http://hpaste.org/68888 Looking at the output of hpc show, I see: 47 0 Main 15:6-15:9 ExpBox False 48 2 Main 15:6-15:9 ExpBox False 49 0 Main 15:6-15:9 ExpBox False 50 0 Main 15:6-15:9 ExpBox False 51 1 Main 22:13-22:14 TopLevelBox ["=="] 52 0 Main 22:13-22:14 TopLevelBox ["/="] 53 1 Main 22:17-22:20 TopLevelBox ["showsPrec"] 54 0 Main 22:17-22:20 TopLevelBox ["showList"] I.e. each of those bits whose highlighting I don't understand is made of some overlapping boxes, one of which is used. Now, if I fiddle in the .tix file by hand to fake a usage of (/=) by changing the 52nd entry from 0 to 1, the Eq instance isn't highlighted any more in the HTML output. More strangely, if I then remove the usage of (==) by changing the 51st entry from 1 to 0, the Eq instance still isn't highlighted. A similar effect happens with the Show instance. It seems to be highlighting based only on the last entry in the .tix file, where there are two or more identically-placed boxes. Is this right? I'd have expected that if I use (==) then the deriving (Eq) clause should be considered 'used'. Secondly, I can't work out what the four boxes in position 15:6-15:9 are supposed to be. If I use -ddump-simpl I can see many calls to 'tick' but there's no mention of numbers 47, 49 or 50. Perhaps they've been simplified away? I'm afraid I don't know what else to try dumping to get at the instrumented code before the simplifier's had a go at it. I'm using Haskell Platform 2011.2.0.1 (GHC 7.0.3) on Windows if that's relevant. Thanks in advance, David

2 3

Re: [Haskell-cafe] Please critique my code (a simple lexer)
by Lorenzo Bolla 23 May '12

23 May '12

> On Tue, May 22, 2012 at 4:13 PM, John Simon <zildjohn01(a)gmail.com> wrote: > >> data Lexer = Lexer String >> >> makeLexer :: String -> Lexer >> makeLexer fn = Lexer fn > > `makeLexer` is redundant. You can simply use `Lexer`. L.

1 0

cool tools
by Chris Dornan 23 May '12

23 May '12

I have been playing around with the latest cabal-install (0.14.0) and it is working really nicely. Having unpacked a cabal bundle you can now type 'cabal install' inside the root and it will work everything out as if you had asked to install directly from the repo -- very nice. I have also noticed that GHC is suggesting alternatives when it encounters missing identifiers. This gives a strong sense of helpfulness that I think accurately reflects the long and sustained (decades-long) effort that has gone into making the GHC diagnostics as useful as possible. The tools are so good because the developers have been paying attention to the gripes. But we should sometimes say thank you too... it is much appreciated. Chris

5 5

Can Haskell outperform C++?
by Janek S. 23 May '12

23 May '12

Hi, a couple of times I've encountered a statement that Haskell programs can have performance comparable to programs in C/C++. I've even read that thanks to functional nature of Haskell, compiler can reason and make guarantess about the code and use that knowledge to automatically parallelize the program without any explicit parallelizing commands in the code. I haven't seen any sort of evidence that would support such claims. Can anyone provide a code in Haskell that performs better in terms of execution speed than a well-written C/C++ program? Both Haskell and C programs should implement the same algorithm (merge sort in Haskell outperforming bubble sort in C doesn't count), though I guess that using Haskell-specific idioms and optimizations is of course allowed. Jan

27 55