- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] More idiomatic use of strictness
by Reinier Lamers 10 Jul '08

10 Jul '08

Hi all, Op Thursday 10 July 2008 12:16:25 schreef Grzegorz Chrupala: > Is there a less ugly way of avoiding laziness in the code pasted below then > the use of seq in the last line? You could replace the list dfs' with a strict list type, like: data StrictList a = Cons !a !(StrictList a) | Nil Then you wouldn't have to make useless calls to sum and seq to force strictness. It would be more work though because you'd have to define your own higher order functions to work with the strict list. Reinier

1 0

use of the GHC universal quantifier
by Galchin, Vasili 10 Jul '08

10 Jul '08

Hello, It seems to me by its name that "forall" denotes a logical universal quantifier. In any case, hsql-1.7/Database/HSQL/Types.hs uses "forall" at line #134. I got a nasty build so I added {-# LANGUAGE ExistentialQuantification #-} at the top of the module. Now I get the following a coupleof lines up: Database/HSQL/Types.hs:131:5: Illegal polymorphic or qualified type: forall a. Int -> FieldDef -> FieldDef -> CString -> Int -> IO a -> IO a In the definition of data constructor `Statement' In the data type declaration for `Statement' If seems that GHC doesn't like "a". Why? Kind regards, Vasili

2 2

Qualified import syntax badly designed (?)
by Neil Mitchell 09 Jul '08

09 Jul '08

Hi, It seems that the qualified import syntax is a bit awkward. At the moment, its common to see: import qualified Data.Map as M import Data.Map(Map) i.e. import a module, give it an alias (M), and put some things in the current namespace (Map). Another way some people sometimes do it is: import qualified Data.Map as M import Data.Map hiding (lookup) i.e. import a module, give it an alias (M), and exclude some things from the current namespace. Both of these require two imports, yet feel like they should require only one. It seems as though the import syntax more naturally promotes security (preventing access to some functions), rather than namespacing. I think a better design for namespacing might be: import Data.Map as M implicit (Map) import Data.Map as M explicit (lookup) If this was the design, I'm not sure either qualified or hiding would be necessary for namespacing. You'd get module names aligning up in the same column after the import rather than being broken up with qualified. You'd only need one import of a module for most purposes. The hiding keyword might still be nice for lambdabot style applications, but that is probably a secondary concern, and better handled in other ways. Thoughts? Is this design flawed in some way? Does the existing design have some compelling benefit I've overlooked? Thanks Neil

11 17

re: [Haskell-cafe] Swapping Monads
by Greg Meredith 09 Jul '08

09 Jul '08

Dominic, You can also reference Eugenia Cheng's paper on arXiv<http://arxiv.org/abs/0710.1120> . Best wishes, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105 +1 206.650.3740 http://biosimilarity.blogspot.com

1 0

Haskell Weekly News: Issue 76 - July 9, 2008
by Brent Yorgey 09 Jul '08

09 Jul '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080709 Issue 76 - July 09, 2008 --------------------------------------------------------------------------- Welcome to issue 76 of HWN, a newsletter covering developments in the [1]Haskell community. The [2]ICFP Programming Contest is this weekend! Go forth and kick some butt, Haskell-style. A big thank you in advance to all those at PSU and U Chicago who are working hard to write and run the contest. Community News Luke Palmer (luqui) is [3]having a great time in Antwerp. John Goerzen's son is [4]so cute, it should be illegal. Announcements Haskell-cafe on lively.com. Edward Kmett has created a [5]Haskell Cafe room on Google's new virtual-world platform [6]Lively (which is unfortunately windows-only at the moment). Uniplate 1.2. Neil Mitchell [7]announced the release of [8]Uniplate 1.2, a library for reducing boilerplate code by performing generic traversals. Version 1.2 features some bug fixes, a compatibility layer with Compos and SYB, and a 25-50% performance increase over Uniplate 1.0. GHC 6.8.2 stable in Gentoo. Luis Araujo [9]announced that GHC 6.8.2, and its accompanying libraries, have now been marked as stable in the official Gentoo portage tree. The Monad.Reader (11) - Call for Copy. Wouter Swierstra [10]announced a call for copy for Issue 11 of [11]the Monad.Reader. The submission deadline is August 1, although you should let Wouter know as soon as possible if you plan to submit something. hCsound. John Lato [12]announced the initial public release of [13]hCsound, a Haskell binding to the Csound audio processing language API. Portland and OSCon. John Goerzen [14]inquired whether any Haskellers in Portland would be interested in getting together during OSCon July 23 or 24. Faster graph SCCs. Iavor Diatchki [15]announced that he has implemented Tarjan's algorithm for computing the strongly connected components of a graph, which is considerably faster than the containers package for larger graphs. Iavor's implementation is available in the [16]GraphSCC package. parallel map/reduce. jinjing [17]exhibited some code for doing parallel map/reduce computations. Disciplined Disciple Compiler. Ben Lippmeier [18]announced version 1.1 of the [19]Disciplined Disciple Compiler (DDC), an explicitly lazy dialect of Haskell, with support for first class destructive update of arbitrary data, computational effects without the need for state monads, and type directed field projections. Version 1.1 includes a number of new features and more example code. darcs 2.0.2. David Roundy [20]announced the release of [21]darcs 2.0.1 and 2.0.2. These releases fix quite a few bugs, and users of darcs 2 are strongly recommended to upgrade. Google Summer of Code Progress updates from participants in the 2008 [22]Google Summer of Code. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. Over the [23]past two weeks, he has implemented type safe dynamic loading, an annotations system, and some sample plugins. Hoogle 4. Neil Mitchell (ndm) is working on [24]Hoogle 4. [25]This week, he has been working on type searching, using a much more efficient algorithm than type search in previous versions of Hoogle. Next week, he plans to finish off type search and work on the build system. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [26]physics engine using [27]Data Parallel Haskell. He spent most of [28]this week fixing bugs and improving existing simulation code. And he now has something to [29]show for it! Language.C. Benedikt Huber (visq) is [30]working on Language.C, a standalone parser/pretty printer library for C99. [31]This week, he created a semantic representation for declarations and types, and a way to convert between an AST representation and a semantic representation. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [32]make-like dependency analysis framework for Cabal. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. GHC API. Thomas Schilling (nominolo) is working on [33]improvements to the GHC API. Libraries Proposals and extensions to the [34]standard libraries. Extensible exceptions. Ian Lynagh sent out a [35]proposal to replace the current exception mechanism in the base library with extensible exceptions, a la Simon Marlow's [36]extensible extensions paper. Deadline for discussion is 25th July. Discussion Qualified import syntax badly designed (?). Neil Mitchell began a [37]discussion about Haskell syntax for qualified module imports (and module imports in general). Trouble with zip12. Michael Feathers is [38]having trouble with the zip12 function and some weird SQL-related errors... Santana on my evil ways. John D. Ramsdell [39]set off a spate of Haskell song and poetry. Alternatives to convoluted record syntax. Dougal Stanton [40]asked about alternatives to convoluted record update syntax, eliciting a number of interesting responses. Jobs Lectureship in Functional Programming, Nottingham. Graham Hutton [41]announced an opening for a Lecturer in the Functional Programming Lab in Nottingham, a recently formed research group that comprises Thorsten Altenkirch, Graham Hutton, Henrik Nilsson, four research fellows, and eleven PhD students. Applications from the Haskell community are encouraged! The closing date for applications is Friday 15th August 2008. Blog noise [42]Haskell news from the [43]blogosphere. * Edward Kmett: [44]A Lively Haskell Cafe. A Haskell Cafe room on lively.com! * Sterling Clover: [45]Comonads in everyday life. A neat post on using a zipper comonad to render a website menu hierarchy without lots of duplicated effort. * Chung-chieh Shan: [46]Differentiating regions. * Real-World Haskell: [47]Real World Haskell, The Book, Available for Pre-Order. * Benedikt Huber: [48]An analysis-friendly representation. An update on Benedikt's Google Summer of Code project, Language.C. * Chris Okasaki: [49]Breadth-First Numbering: An Algorithm in Pictures. Algorithms without words! * >>> Jeremy Frens: [50]PE Problem #2 in All Languages (Part I). Jeremy explores solutions to Project Euler problem #2 in a variety of languages. * Roman Cheplyaka: [51]Double buffering & demo. A demo of Roman's Google Summer of Code physics simulator! * Roman Cheplyaka: [52]QuickCheck puzzle: the answer. Why Roman's QuickCheck test involving nonzero vectors didn't terminate. Sneaky. * Roman Cheplyaka: [53]Status report: week 6. A status report on Roman's Google Summer of Code project. * >>> JP Moresmau: [54]Handling errors in JSON to Haskell deserialization. JP adds error handling with an Either monad to his JSON deserialization code. * Braden Shepherdson: [55]Fixed Point Datatypes. Braden explains the concept of recursive data types as fixed points of functors. * Luis Araujo: [56]GHC 6.8.2 stable! (Himerge 0.21.9 too!). * Matthew Sackman: [57]Anglo Haskell 2008. * Neil Mitchell: [58]GSoC Hoogle: Week 6. * >>> James Hague: [59]Functional Programming Went Mainstream Years Ago. * Max Bolingbroke: [60]Compiler Plugins For GHC: Weeks Three and Four. An update on Max's Google Summer of Code project. * >>> David Overton: [61]A Haskell Sudoku Solver using Finite Domain Constraints. David shows how to use his Haskell constraint solver to solve Sudoku puzzles. Pretty neat! * >>> Lorenz Pretterhofer: [62]Haskell Does Concurrency. * Edward Kmett: [63]Anamorphism. The newest installment in Edward's [64]field guide to recursion schemes. * John Goerzen (Real World Haskell): [65]Last Call for Comments on Most Chapters. Real World Haskell is going to press soon! Get your final comments in ASAP! * Edward Kmett: [66]MSFP 2008. * Lennart Augustsson: [67]Lost and Found. A very slick Haskell library for tracing how expressions are actually evaluated, including the ability to explicitly see the sharing involved! * Tom Nielsen (FP Lunch): [68]braincurry. A domain specific language to define and execute experiments and simulations related to cellular neuroscience. * Alex McLean: [69]Visualisation of a triangular mesh. * Paul R Brown: [70]Beust Sequence Ruminations. Thoughts on solving an interesting puzzle in Haskell. * >>> David Overton: [71]Constraint Programming in Haskell. David is working on a constraint logic programming system in Haskell. * >>> chaource: [72]Why functional programming is almost dead (and has always been). Interesting argument? Flawed premises? Both? None of the above? You decide! Quotes of the Week * jfredett: I'd code but I'm so drugged up I could only write effective code in perl. * SamB: [SamB] @let forkbomb n = forkbomb (2*n) `par` forkbomb (2*n+1) [lambdabot] Defined. [SamB] > forkbomb 1 -!- lambdabot [n=lambdabo@72.249.126.23] has quit [Remote closed the connection] * vinicius: haskell is macgyver with bananas, barbed wired and envelopes * dons: huh, amazon recommends Neal Stephenson + RWH * Pseudonym: trapped in the IO monad: The lesser known R. Kelly opera * byorgey: Extreme Anger Programming: you are paired with a really dumb partner and after twenty minutes of agony you rip the keyboard from their hands, delete everything they typed, and do it yourself About the Haskell Weekly News New editions are posted to [73]the Haskell mailing list as well as to [74]the Haskell Sequence and [75]Planet Haskell. [76]RSS is also available, and headlines appear on [77]haskell.org. Headlines are available as [78]PDF. To help create new editions of this newsletter, please see the information on [79]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [80]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://www.icfpcontest.org/ 3. http://luqui.org/blog/archives/2008/07/05/fun-with-flemish/ 4. http://changelog.complete.org/posts/728-guid.html 5. http://www.lively.com/dr?rid=-4485567674160322075 6. http://www.lively.com/ 7. http://article.gmane.org/gmane.comp.lang.haskell.general/16292 8. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/uniplate 9. http://araujoluis.blogspot.com/2008/07/ghc-682-stable-himerge-0219-too.html 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16290 11. http://www.haskell.org/haskellwiki/The_Monad.Reader 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16288 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hCsound 14. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42047 15. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9470 16. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GraphSCC 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41944 18. http://article.gmane.org/gmane.comp.lang.haskell.cafe/41941 19. http://www.haskell.org/haskellwiki/DDC 20. http://lists.osuosl.org/pipermail/darcs-users/2008-June/012480.html 21. http://darcs.net/ 22. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 23. http://blog.omega-prime.co.uk/2008/07/05/compiler-plugins-for-ghc-weeks-thr… 24. http://code.haskell.org/hoogle/ 25. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-6.html 26. http://haskell.org/haskellwiki/Hpysics 27. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 28. http://physics-dph.blogspot.com/2008/07/status-report-week-6.html 29. http://physics-dph.blogspot.com/2008/07/double-buffering-demo.html 30. http://www.sivity.net/projects/language.c/wiki/ 31. http://hsbene.blogspot.com/2008/07/analysis-friendly-representation.html 32. http://code.haskell.org/~Saizan/cabal 33. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 34. http://haskell.org/haskellwiki/Library_submissions 35. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9481 36. http://www.haskell.org/~simonmar/papers/ext-exceptions.pdf 37. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42080 38. http://www.haskell.org//pipermail/haskell-cafe/2008-July/044956.html 39. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41975 40. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/41936 41. http://article.gmane.org/gmane.comp.lang.haskell.general/16285 42. http://planet.haskell.org/ 43. http://haskell.org/haskellwiki/Blog_articles 44. http://comonad.com/reader/2008/haskell-cafe/ 45. http://fmapfixreturn.wordpress.com/2008/07/09/comonads-in-everyday-life/ 46. http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Differentiation/ 47. http://www.realworldhaskell.org/blog/2008/07/08/real-world-haskell-the-book… 48. http://hsbene.blogspot.com/2008/07/analysis-friendly-representation.html 49. http://okasaki.blogspot.com/2008/07/breadth-first-numbering-algorithm-in.ht… 50. http://jdfrens.blogspot.com/2008/07/pe-problem-2-in-all-languages-part-i.ht… 51. http://physics-dph.blogspot.com/2008/07/double-buffering-demo.html 52. http://physics-dph.blogspot.com/2008/07/quickcheck-puzzle-answer.html 53. http://physics-dph.blogspot.com/2008/07/status-report-week-6.html 54. http://jpmoresmau.blogspot.com/2008/07/handling-errors-in-json-to-haskell.h… 55. http://braincrater.wordpress.com/2008/07/07/fixed-point-datatypes/ 56. http://araujoluis.blogspot.com/2008/07/ghc-682-stable-himerge-0219-too.html 57. http://www.wellquite.org/anglo_haskell_2008.html 58. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-6.html 59. http://prog21.dadgum.com/31.html 60. http://blog.omega-prime.co.uk/2008/07/05/compiler-plugins-for-ghc-weeks-thr… 61. http://overtond.blogspot.com/2008/07/haskell-sudoku-solver-using-finite.html 62. http://krysole.net/2008/07/04/haskell-does-concurrency/ 63. http://comonad.com/reader/2008/anamorphism/ 64. http://comonad.com/reader/2008/recursion-schemes/ 65. http://www.realworldhaskell.org/blog/2008/07/03/last-call-for-comments-on-m… 66. http://comonad.com/reader/2008/msfp/ 67. http://augustss.blogspot.com/2008/07/lost-and-found-if-i-write-108-in.html 68. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=105 69. http://doc.gold.ac.uk/~ma503am/alex/visualisation-of-a-mesh/ 70. http://mult.ifario.us/p/beust-sequence-ruminations 71. http://overtond.blogspot.com/2008/07/pre.html 72. http://chaource.livejournal.com/34530.html 73. http://www.haskell.org/mailman/listinfo/haskell 74. http://sequence.complete.org/ 75. http://planet.haskell.org/ 76. http://sequence.complete.org/node/feed 77. http://haskell.org/ 78. http://code.haskell.org/~byorgey/code/hwn/archives/20080709.pdf 79. http://haskell.org/haskellwiki/HWN 80. http://code.haskell.org/~byorgey/code/hwn/

1 0

How to do a special kind of comment with the TokenParser
by John Ky 09 Jul '08

09 Jul '08

Hi, TokenParser supports two kinds of comments, the multi-line comments (ie. {- -}) and the single line comments (ie. -- \n). The language I am trying to parse, however, has comments which are neither. The -- acts like a single line comment which extends to the end of the line usually, but can also be truncated to before the end of the line by another --. For example: noncomment -- comment comment noncomment -- comment comment -- noncomment noncomment -- comment -- noncomment noncomment I haven't been able to get the TokenParser to work with this style of comment. The best I could do was copy the whole Token module and modify the code: data LanguageDef st = LanguageDef { {- snip -} *, commentLine :: String* {- snip -} } {- snip -} makeTokenParser languageDef = TokenParser{ {- snip -} } where {- snip -} whiteSpace | noLine && noMulti = skipMany (simpleSpace *<|> customComment* <?> "") | noLine = skipMany (simpleSpace *<|> customComment* <|> multiLineComment <?> "") | noMulti = skipMany (simpleSpace *<|> customComment* <|> oneLineComment <?> "") | otherwise = skipMany (simpleSpace *<|> customComment* <|> oneLineComment <|> multiLineComment <?> "") where noLine = null (commentLine languageDef) noMulti = null (commentStart languageDef) *customComment = do{commentCustom languageDef ;return() }* Then I put my specialised comment parser in the customComment field: languageDef = TOKEN.LanguageDef { {- snip -} , TOKEN.commentCustom = customComment {- snip -} } where customComment = do string "--" untilLineCommentEnd return () untilLineCommentEnd = do c <- manyTill anyChar (string "\n" <|> try (string "--")) return () Anyone know of a way I could reuse the TokenParser code rather than copy and tweaking it? Thanks -John

2 1

Interesting feature
by fero 09 Jul '08

09 Jul '08

Hi I have read in one tutorial (I can't find it again, but it was probably either one on ibm, gentle introduction or yaht), that it is possible to define relationships between free variables and the same program can be used to calculate either first variable when second is set or second when first is set. I have understood this as if I set first free variable, run program and write name of second variable and I get result, and vice versa. I don't know if I understood it well. It looks really interesting but I can't figure out how to do it. Is this really possible? (I doubt.) If yes show example please. Thanks Fero -- View this message in context: http://www.nabble.com/Interesting-feature-tp18311432p18311432.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

9 13

QuickCheck: outdated manual
by Roman Cheplyaka 09 Jul '08

09 Jul '08

Online QC manual[1] says[2] that 'vector' takes number of elements and generator, while in QuickCheck-1.1.0.0 it takes only number and generates vector of arbitrary's. Please fix that. By the way, I find the old version as useful as the new one. Although both are trivially implemented, I don't see any reason of why one is included and the other is not. Does anyone? 1. http://www.cs.chalmers.se/~rjmh/QuickCheck/manual.html 2. http://www.cs.chalmers.se/~rjmh/QuickCheck/manual_body.html#17 -- Roman I. Cheplyaka :: http://ro-che.info/ ...being in love is totally punk rock...

1 0

What is a rigid type variable?
by Xiao-Yong Jin 08 Jul '08

08 Jul '08

Hi all, I'm writing a short function as follows, but I'm not able to find a suitable type signature for `go'. It uses Numeric.LinearAlgebra from hmatrix. -- | Map each element in a vector to vectors and thus form a matrix -- | row by row mapVecToMat :: (Element a, Element b) => (a -> Vector b) -> Vector a -> Matrix b mapVecToMat f v = fromRows $ go (d - 1) [] where d = dim v go :: Element b => Int -> [Vector b] -> [Vector b] go 0 vs = f (v @> 0) : vs go !j !vs = go (j - 1) (f (v @> j) : vs) If I give the type signature to go as this, I got the following error Couldn't match expected type `b1' against inferred type `b' `b1' is a rigid type variable bound by the type signature for `go' at test.hs:36:20 `b' is a rigid type variable bound by the type signature for `mapVecToMat' at test.hs:31:35 Expected type: Vector b1 Inferred type: Vector b In the first argument of `(:)', namely `f (v @> 0)' In the expression: f (v @> 0) : vs So what is this rigid type variable all about and what is correct type of the function `go'? Thanks in advance, X-Y -- c/* __o/* <\ * (__ */\ <

5 7

more database issues
by Galchin, Vasili 08 Jul '08

08 Jul '08

vigalchin@ubuntu:~/Desktop/hsql-1.7$ runhaskell Setup.lhs clean cleaning... vigalchin@ubuntu:~/Desktop/hsql-1.7$ runhaskell Setup.lhs configure --user --prefix=$HOME Configuring hsql-1.7... Warning: No license-file field. vigalchin@ubuntu:~/Desktop/hsql-1.7$ runhaskell Setup.lhs build Preprocessing library hsql-1.7... Building hsql-1.7... Database/HSQL.hsc:66:7: Could not find module `System.Time': it is a member of package old-time-1.0.0.0, which is hidden vigalchin@ubuntu:~/Desktop/hsql-1.7$ I have a global ghc installation plus a local one off my user directory. In any case, when I do "ghc-pkg list" .... old-time-1.0.0.0 is not hidden. ???? Bottom line is how do I install DB libraries with least pain?? Regards, Vasili

3 3