- Haskell-Cafe - Haskell.org

Numerics and Warnings
by Barak A. Pearlmutter 11 Apr '13

11 Apr '13

In fiddling around with some numeric code in Haskell, I noticed some issues. Basically, you get warnings if you write energy mass = mass * c^2 but not if you write energy mass = mass * c * c which seems a bit perverse. Some more examples are below. I understand the inference issues that cause this, but common innocuous cases could---and I would argue, should---be addressed in ad-hoc ways. -- Barak A. Pearlmutter Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland http://www.bcl.hamilton.ie/~barak/ ---------------- transcript ---------------- $ cat two.hs main :: IO () main = do print 1 print ((2::Float)^3) print 44444444444444444444444444444444 print (555555555555555555555555::Int) -- Each of the four numeric expressions printed above gives a -- compile-time warning. Except the last, which is the only one that is -- actually incorrect. Maybe ghc could eliminate some of these warnings -- by adding extra reasonableness guards. E.g., if the 2nd argument of -- (^) is a constant that fits in an Int, just do that. Basically, if -- used as an argument to a function which has no danger of overflow, -- default to Int without warning. And if a constant doesn't fit in an -- Int, jamming it into one is an error. Or at least a warning! $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.6.2 $ ghc -Wall two.hs [1 of 1] Compiling Main ( two.hs, two.o ) two.hs:3:9: Warning: Defaulting the following constraint(s) to type `Integer' (Num a0) arising from the literal `1' at two.hs:3:9 (Show a0) arising from a use of `print' at two.hs:3:3-7 In the first argument of `print', namely `1' In a stmt of a 'do' block: print 1 In the expression: do { print 1; print ((2 :: Float) ^ 3); print 44444444444444444444444444444444; print (555555555555555555555555 :: Int) } two.hs:4:20: Warning: Defaulting the following constraint(s) to type `Integer' (Integral b0) arising from a use of `^' at two.hs:4:20 (Num b0) arising from the literal `3' at two.hs:4:21 In the first argument of `print', namely `((2 :: Float) ^ 3)' In a stmt of a 'do' block: print ((2 :: Float) ^ 3) In the expression: do { print 1; print ((2 :: Float) ^ 3); print 44444444444444444444444444444444; print (555555555555555555555555 :: Int) } two.hs:5:10: Warning: Defaulting the following constraint(s) to type `Integer' (Num a0) arising from the literal `44444444444444444444444444444444' at two.hs:5:10-41 (Show a0) arising from a use of `print' at two.hs:5:3-7 In the first argument of `print', namely `44444444444444444444444444444444' In a stmt of a 'do' block: print 44444444444444444444444444444444 In the expression: do { print 1; print ((2 :: Float) ^ 3); print 44444444444444444444444444444444; print (555555555555555555555555 :: Int) } Linking two ... $ ./two 1 8.0 44444444444444444444444444444444 -5035712355010463517

5 10

Bug in Network package
by Florian Hofmann 11 Apr '13

11 Apr '13

I might be mistaken, but is there a bug in the Show instance of PortNum? λ PortNum 1 256 λ PortNum 2 512 λ PortNum 3 768 λ let (PortNum x) = PortNum 10 λ x 10 Tested with network-2.4.1.2

5 5

Haskell Weekly News: Issue 265
by Daniel Santa Cruz 11 Apr '13

11 Apr '13

Welcome to issue 265 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of March 31 to April 6, 2013. Quotes of the Week * Jafet: Haskell is an abstract research language used only in academia, education, banking, stock trading, circuit design, embedded systems, cryptography, operating systems research, bioinformatics, phone apps, and web services. * monochrom: primop is where the turtle tower ends and the russian dolls begin! * sclv: haha. i love this stuff but if i bury myself in it my head will start spinning around like exorcist and i will start spitting blood Top Reddit Stories * Haskell beats C using generalised stream fusion - Geoff Mainland, Simon Peyton Jones, Simon Marlow, Roman Leshchinskiy. Submitted to ICFP 2013 [PDF] Domain: research.microsoft.com, Score: 106, Comments: 47 On Reddit: [1] http://goo.gl/Ui7bS Original: [2] http://goo.gl/es51B * Functor is now a superclass of Monad in GHC HEAD Domain: darcs.haskell.org, Score: 87, Comments: 33 On Reddit: [3] http://goo.gl/B1LYf Original: [4] http://goo.gl/JiunP * Yet Another Lambda Blog » Haskell as fast as C: A case study Domain: lambda.jstolarek.com, Score: 61, Comments: 25 On Reddit: [5] http://goo.gl/cemyl Original: [6] http://goo.gl/uCbTd * Beautiful Concurrency - a series of articles by Simon Peyton-Jones - on FP Complete School of Haskell Domain: fpcomplete.com, Score: 60, Comments: 20 On Reddit: [7] http://goo.gl/pWAA4 Original: [8] http://goo.gl/ynFG8 * Web Woes for Haskell Domain: self.haskell, Score: 43, Comments: 42 On Reddit: [9] http://goo.gl/vl13n Original: [10] http://goo.gl/vl13n * Cap'n Proto: faster protocol buffers, written in Haskell & C++ Domain: kentonv.github.com, Score: 42, Comments: 11 On Reddit: [11] http://goo.gl/6Qwza Original: [12] http://goo.gl/94iip * Resource limits for Haskell Domain: blog.ezyang.com, Score: 38, Comments: 1 On Reddit: [13] http://goo.gl/01WPS Original: [14] http://goo.gl/KjwNx * Dependent Types - A New Paradigm? by Paul Callaghan Domain: pragprog.com, Score: 33, Comments: 1 On Reddit: [15] http://goo.gl/Gjs3K Original: [16] http://goo.gl/4wbYa * So I accidentally a profunctors tutorial Domain: fpcomplete.com, Score: 31, Comments: 43 On Reddit: [17] http://goo.gl/QnzoR Original: [18] http://goo.gl/VDlYh * UPenn CIS 194: Intro to Haskell, Instructor: Brent Yorgey Domain: seas.upenn.edu, Score: 31, Comments: 4 On Reddit: [19] http://goo.gl/zXgrM Original: [20] http://goo.gl/OC3x1 * Sorting with Agda Domain: mazzo.li, Score: 30, Comments: 33 On Reddit: [21] http://goo.gl/rkq58 Original: [22] http://goo.gl/8GRCF * Announcing The Pragmatic Haskeller Domain: cakesolutions.net, Score: 29, Comments: 7 On Reddit: [23] http://goo.gl/3ahrb Original: [24] http://goo.gl/AsOKQ * Flavours of free applicative functors Domain: ro-che.info, Score: 27, Comments: 6 On Reddit: [25] http://goo.gl/oE2sk Original: [26] http://goo.gl/sE5VD * Free Applicative Functors (ICFP submission) Domain: paolocapriotti.com, Score: 25, Comments: 11 On Reddit: [27] http://goo.gl/2dB7B Original: [28] http://goo.gl/VWnHG * Handling out of memory? Domain: self.haskell, Score: 25, Comments: 17 On Reddit: [29] http://goo.gl/mGwUt Original: [30] http://goo.gl/mGwUt * hydra-print - visualizing multiple texts streams Domain: parfunk.blogspot.se, Score: 24, Comments: 7 On Reddit: [31] http://goo.gl/uToAZ Original: [32] http://goo.gl/lc70w * Lazy IO breaks equational reasoning Domain: okmij.org, Score: 24, Comments: 124 On Reddit: [33] http://goo.gl/48f0h Original: [34] http://goo.gl/m8Vbr * Haskell on Windows Domain: gundersen.net, Score: 23, Comments: 14 On Reddit: [35] http://goo.gl/oRV4B Original: [36] http://goo.gl/0hOL4 * Constrained Monads (GADTs indexed by Constraint) Domain: ittc.ku.edu, Score: 21, Comments: 7 On Reddit: [37] http://goo.gl/lVRpl Original: [38] http://goo.gl/jtbU3 Top StackOverflow Questions * Simple examples to illustrate Category, Monoid and Monad? votes: 28, answers: 1 Read on SO: [39] http://goo.gl/HPE8k * Which techniques have contributed the most to Haskell's improving performance? [closed] votes: 18, answers: 1 Read on SO: [40] http://goo.gl/tz904 * Why does Parsec not use Control.Applicative operators votes: 13, answers: 1 Read on SO: [41] http://goo.gl/0mR3f * ghc 7.4.2, Dynamically calling modules votes: 10, answers: 1 Read on SO: [42] http://goo.gl/MZD8q * What's wrong with this implementation of quicksort using Arrows? votes: 10, answers: 2 Read on SO: [43] http://goo.gl/zwhfy * Initializing algebraic data type from list votes: 9, answers: 4 Read on SO: [44] http://goo.gl/nbyUP * Scoped type variables require explicit foralls. Why? votes: 9, answers: 1 Read on SO: [45] http://goo.gl/SUlCf * Parsing UnicodeSyntax with haskell-src-exts votes: 8, answers: 1 Read on SO: [46] http://goo.gl/Yi8Vd Until next time, +Daniel Santa Cruz References 1. http://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-be… 2. http://www.reddit.com/r/haskell/comments/1br0ls/haskell_beats_c_using_gener… 3. http://darcs.haskell.org/libraries/base/GHC/Base.lhs 4. http://www.reddit.com/r/haskell/comments/1bfojn/functor_is_now_a_superclass… 5. http://lambda.jstolarek.com/2013/04/haskell-as-fast-as-c-a-case-study/ 6. http://www.reddit.com/r/haskell/comments/1bikvs/yet_another_lambda_blog_has… 7. https://www.fpcomplete.com/user/simonpj/beautiful-concurrency 8. http://www.reddit.com/r/haskell/comments/1bm3ep/beautiful_concurrency_a_ser… 9. http://www.reddit.com/r/haskell/comments/1bqsvi/web_woes_for_haskell/ 10. http://www.reddit.com/r/haskell/comments/1bqsvi/web_woes_for_haskell/ 11. http://kentonv.github.com/capnproto/install.html 12. http://www.reddit.com/r/haskell/comments/1bjt4f/capn_proto_faster_protocol_… 13. http://blog.ezyang.com/2013/04/resource-limits-for-haskell/ 14. http://www.reddit.com/r/haskell/comments/1bkjj8/resource_limits_for_haskell/ 15. http://pragprog.com/magazines/2013-04/dependent-types 16. http://www.reddit.com/r/haskell/comments/1bmqba/dependent_types_a_new_parad… 17. https://www.fpcomplete.com/user/liyang/profunctors 18. http://www.reddit.com/r/haskell/comments/1bg21c/so_i_accidentally_a_profunc… 19. http://www.seas.upenn.edu/~cis194/lectures.html 20. http://www.reddit.com/r/haskell/comments/1bqax8/upenn_cis_194_intro_to_hask… 21. http://mazzo.li/posts/AgdaSort.html 22. http://www.reddit.com/r/haskell/comments/1biasi/sorting_with_agda/ 23. http://www.cakesolutions.net/teamblogs/2013/04/05/announcing-the-pragmatic-… 24. http://www.reddit.com/r/haskell/comments/1brbac/announcing_the_pragmatic_ha… 25. http://ro-che.info/articles/2013-03-31-flavours-of-free-applicative-functor… 26. http://www.reddit.com/r/haskell/comments/1be2iv/flavours_of_free_applicativ… 27. http://paolocapriotti.com/blog/2013/04/03/free-applicative-functors/ 28. http://www.reddit.com/r/haskell/comments/1bnql3/free_applicative_functors_i… 29. http://www.reddit.com/r/haskell/comments/1bsucw/handling_out_of_memory/ 30. http://www.reddit.com/r/haskell/comments/1bsucw/handling_out_of_memory/ 31. http://parfunk.blogspot.se/2013/04/hydra-print.html 32. http://www.reddit.com/r/haskell/comments/1bsc9u/hydraprint_visualizing_mult… 33. http://okmij.org/ftp/Haskell/index.html#lazyIO-not-True 34. http://www.reddit.com/r/haskell/comments/1bsitm/lazy_io_breaks_equational_r… 35. http://www.gundersen.net/haskell-on-windows/ 36. http://www.reddit.com/r/haskell/comments/1bsm6v/haskell_on_windows/ 37. http://www.ittc.ku.edu/csdl/fpg/papers/Sculthorpe-13-ConstrainedMonad.html 38. http://www.reddit.com/r/haskell/comments/1bktx3/constrained_monads_gadts_in… 39. http://stackoverflow.com/questions/15726733/simple-examples-to-illustrate-c… 40. http://stackoverflow.com/questions/15750998/which-techniques-have-contribut… 41. http://stackoverflow.com/questions/15767978/why-does-parsec-not-use-control… 42. http://stackoverflow.com/questions/15824756/ghc-7-4-2-dynamically-calling-m… 43. http://stackoverflow.com/questions/15849550/whats-wrong-with-this-implement… 44. http://stackoverflow.com/questions/15734573/initializing-algebraic-data-typ… 45. http://stackoverflow.com/questions/15800878/scoped-type-variables-require-e… 46. http://stackoverflow.com/questions/15784076/parsing-unicodesyntax-with-hask… 47. https://plus.google.com/105107667630152149014/about

1 0

Automated Differentiation of Matrices (hmatrix)
by Dominic Steinitz 10 Apr '13

10 Apr '13

Hi Cafe, Suppose I want to find the grad of a function then it's easy I just use http://hackage.haskell.org/package/ad-3.4: import Numeric.AD import Data.Foldable (Foldable) import Data.Traversable (Traversable) data MyMatrix a = MyMatrix (a, a) deriving (Show, Functor, Foldable, Traversable) f :: Floating a => MyMatrix a -> a f (MyMatrix (x, y)) = exp $ negate $ (x^2 + y^2) / 2.0 main :: IO () main = do putStrLn $ show $ f $ MyMatrix (0.0, 0.0) putStrLn $ show $ grad f $ MyMatrix (0.0, 0.0) But now suppose I am doing some matrix calculations http://hackage.haskell.org/package/hmatrix-0.14.1.0 and I want to find the grad of a function of a matrix: import Numeric.AD import Numeric.LinearAlgebra import Data.Foldable (Foldable) import Data.Traversable (Traversable) g :: (Element a, Floating a) => Matrix a -> a g m = exp $ negate $ (x^2 + y^2) / 2.0 where r = (toLists m)!!0 x = r!!0 y = r!!1 main :: IO () main = do putStrLn $ show $ g $ (1 >< 2) ([0.0, 0.0] :: [Double]) putStrLn $ show $ grad g $ (1 >< 2) ([0.0, 0.0] :: [Double]) Then I am in trouble: /Users/dom/Dropbox/Private/Whales/MyAD.hs:24:21: No instance for (Traversable Matrix) arising from a use of `grad' Possible fix: add an instance declaration for (Traversable Matrix) In the expression: grad g In the second argument of `($)', namely `grad g $ (1 >< 2) ([0.0, 0.0] :: [Double])' In the second argument of `($)', namely `show $ grad g $ (1 >< 2) ([0.0, 0.0] :: [Double])' /Users/dom/Dropbox/Private/Whales/MyAD.hs:24:26: Could not deduce (Element (ad-3.4:Numeric.AD.Internal.Types.AD s Double)) arising from a use of `g' from the context (Numeric.AD.Internal.Classes.Mode s) bound by a type expected by the context: Numeric.AD.Internal.Classes.Mode s => Matrix (ad-3.4:Numeric.AD.Internal.Types.AD s Double) -> ad-3.4:Numeric.AD.Internal.Types.AD s Double at /Users/dom/Dropbox/Private/Whales/MyAD.hs:24:21-26 Possible fix: add an instance declaration for (Element (ad-3.4:Numeric.AD.Internal.Types.AD s Double)) In the first argument of `grad', namely `g' In the expression: grad g In the second argument of `($)', namely `grad g $ (1 >< 2) ([0.0, 0.0] :: [Double])' What are my options here? Clearly I can convert my matrix into a list (which is traversable), find the grad and convert it back into a matrix but given I am doing numerical calculations and speed is an important factor, this seems undesirable. I think I would have the same problem with: http://hackage.haskell.org/package/repa http://hackage.haskell.org/package/yarr-1.3.1 although I haven'¯t checked. Thanks, Dominic.

3 5

abs on Float/Doubles
by Levent Erkok 10 Apr '13

10 Apr '13

Hello all, I definitely do not want to create a yet another thread on handling of floating-point values in Haskell. My intention is only to see what can be done to make it more "compilant" with IEEE754. (Also, my interest is not a theoretical one, but rather entirely practical: I'm interested in using SMT solvers for reasoning about Haskell programs, in particular using the new SMT logics that cover IEEE-754 semantics. So, any discrepancy between Haskell and IEEE-754 is a cause for concern as we strive to build powerful tools around the Haskell eco-system.) In IEEE-754, there are two zero values: +0, and -0; inhabiting all floating point types. IEEE-754 requires these two compare equal, but be distinguished when used as arguments to functions as they can produce different results. (Unfortunately the standard is not freely available, but there's a nice discussion in wikipedia: http://en.wikipedia.org/wiki/Negative_zero.) As far as I know, Haskell's floating-point handling does *not* explicitly claim to be IEEE-754 compliant, but I think it's safe to assume that any serious implementation will take advantage of the underlying CPU's floating-point facilities; and thus will use IEEE-754 semantics. In particular, Haskell supports both +0 and -0; and you can distinguish them using the isNegativeZero function of the RealFloat class. Furthermore, the show instance for Float/Double will turn these two values to strings differently, preserving the minus sign if it receives a negative-zero. Comparisons follow the IEEE rules; so all these behaviors seem to be in accordance with IEEE754. Unfortunately, the same isn't true for the abs function. In Haskell, the call: "isNegativeZero (abs (-0::Double))" evaluates to "True". IEEE754 requires abs to always return "+0" in this case. The same also holds for the semantics of the newly proposed SMT-Lib logic for IEEE754: See section 3.3.1 (page 8) of: http://www.philipp.ruemmer.org/publications/smt-fpa.pdf The fix is easy. A one line change in the Double/Float instances of the Num class in the Prelude would guarantee the IEEE754 semantics. The reason I'm not simply posting this as a "library" issue is that it appears the topic came up in stack-overflow a while ago; without any clear resolution: http://stackoverflow.com/questions/10395761/absolute-value-of-negative-zero… It appears that the consensus is that this is a historical definition dating back to the times when IEEE754 itself wasn't quite clear on the topic itself, and "so nobody thought that hard about negative zeroes." (The quote is from a comment from Lennart.) I think it's a safe bet to assume IEEE754 semantics (for better or worse) is here to stay, and it would be nice to reduce any discrepancy we have in the Haskell libraries with respect to it. So, if there's consensus, I'd like to propose a library change to implement the proper IEEE754 semantics for the abs function for Double and Float types. Note that the argument is not really about semantics here, but rather with compliance to the accepted industrial standard. So, it would be best if we kept the discussion purely to the IEEE-compliance here, as opposed to relative merits of the semantics as defined. -Levent.

2 2

SBLP 2013: Final CFP, deadline for Abstracs 19/4
by Andre Rauber Du Bois 10 Apr '13

10 Apr '13

[Apologies if you receive multiple copies of this CFP] ======================================================= CALL FOR PAPERS 17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Brasília, Distrito Federal, Brazil September 29th to October 4th, 2013 http://cbsoft2013.unb.br/en/sblp-en ======================================================== IMPORTANT DATES Paper abstract submission (15 lines): April 19th Full paper submission: April 26th, 2013 Notification of acceptance: May 31st, 2013 Final papers due: June 28th, 2013 INVITED SPEAKERS * Tim Harris, Oracle Labs * More TBA INTRODUCTION The 17th Brazilian Symposium on Programming Languages, SBLP 2013, will be held in Brasília, Brazil, on September 29th to October 4th, 2013. SBLP provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. The symposium will be part of the 4th Brazilian Conference on Software: Theory and Practice, CBSoft 2013, http://cbsoft2013.cic.unb.br/, which will host four traditional, well-established symposia: * XXVII Brazilian Symposium on Software Engineering (SBES) * XVII Brazilian Symposium on Programming Languages (SBLP) * XVI Brazilian Symposium on Formal Methods (SBMF) * VII Brazilian Symposium on Components, Software Architecture and Software Reuse (SBCARS) SBLP 2013 invites authors to contribute with technical papers related (but not limited) to: * Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages. * Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. * Formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical. * Program analysis and verification, including type systems, static analysis and abstract interpretation. * Programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques. SUBMISSIONS Contributions should be written in Portuguese or English. We solicit papers that should fall into one of two different categories: full papers, with at most 15 pages, or short papers, with at most 5 pages. Full papers submitted in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. For this reason, all papers must be prepared using the LNCS template, available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. We encourage the submission of short papers reporting on partial results of on-going master dissertations or doctoral theses. All accepted papers will be published in the conference proceedings distributed in a digital media by the CBSOFT organizers. Submissions should be done using SBLP 2013 installation of the EasyChair conference mangement system at http://www.easychair.org/conferences/?conf=sblp2013. As in previous editions, a journal special issue, with selected papers from accepted contributions, is anticipated. Selected papers from 2003 to 2008 editions of SBLP were published in special issues of the Journal of Universal Computer Science, by Springer. The post-proceedings of SBLP from 2009 to 2012, also with selected papers from the conference proceedings, are being edited as special issues of Science of Computer Programming, published by Elsevier. CBSOFT CHAIRS Genaina Nunes Rodrigues, UnB Rodrigo Bonifácio, UnB Diego Aranha, UnB PROGRAMME CHAIRS André Rauber Du Bois, UFPel Phil Trinder, Glasgow University PROGRAMME COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alvaro Freitas Moreira, UFRGS André Rauber Du Bois, UFPel (co-chair) Andre Santos, UFPE Carlos Camarao, UFMG Christiano Braga, UFF Edwin Brady, University of St. Andrews Fernando Castor Filho, UFPE Fernando Quintão Pereira, UFMG Francisco Heron de Carvalho Junior, UFC Hans-Wofgang Loidl, Heriot-Watt University Jeremy Singer, Glasgow University Joao Saraiva, Universidade do Minho João F. Ferreira, Teesside University Lucilia Figueiredo, UFOP Luis Soares Barbosa, Univ. do Minho Manuel António Martins, Univ. de Aveiro Marcelo A. Maia, UFU Marcello Bonsangue, Leiden Univ/CWI Marcelo d'Amorim, UFPE Marco Tulio Valente, UFMG Mariza A. S. Bigonha, UFMG Martin A. Musicante, UFRN Noemi Rodriguez, PUC-Rio Peter Mosses, Swansea University Phil Trinder, Glasgow University (co-chair) Qiu Zongyang, Beijing University Rafael Dueire Lins, UFPE Renato Cerqueira, PUC-Rio Ricardo Massa, UFPE Roberto S. Bigonha, UFMG Roberto Ierusalimschy, PUC-Rio Sandro Rigo, UNICAMP Sergio Soares, UFPE Simon Thompson, Univ. of Kent Varmo Vene, Univ. de Tartu

1 0

ghc head creates premature tarball
by Takayuki Muranushi 10 Apr '13

10 Apr '13

Hi all, These few days I've been having trouble in attempt to use GHC head. I follow the following standard steps to create a tarball: $ git clone http://darcs.haskell.org/ghc.git/ $ cd ghc $ # optionally, git checkout <branch name> $ ./sync-all --testsuite get $ cp mk/build.mk.sample mk/build.mk $ ### edit BuildFlavour to quick ### $ ./boot $ ./configure $ make -jN # <N> is the number of cores you have. $ make binary-dist and then sandbox-install the tarball by hsenv. However, the installed ghc exhibits the following strange behaviors: (1) several .so files need to be manually copied to /usr/lib . (2) the installed ghc doesn't find any package, even 'base' or 'ghc-prim' Then carefully looking, I found that `make binary-dist` is outputting some error messages,: > cd bindistprep && "/bin/tar" hcf - -T ../bindist-list | bzip2 -c > ../bindistprep/ghc-7.7.20130409-x86_64-unknown-linux.tar.bz2 > /bin/tar: ghc-7.7.20130409/compiler/stage2/doc: Cannot stat: No such file or directory > /bin/tar: Exiting with failure status due to previous errors The file "./bindist-list" included a filepath that doesn't exist, so that tar command aborted there and every item after that line on the list was excluded from the tarball. So I tested the following trick; $ touch compiler/stage2/doc Then the previous error message didn't show up any more, and the spurious behavior (1) (2) didn't appear any more. I'm wondering if this is an installer bug or I was doing something wrong. I'd appreciate any advice. Best, -- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html

1 0

[Haskell-cafe] algorithm-for-finding-numerical-permutation-given-lexicographic-index
by Lone Wolf 10 Apr '13

10 Apr '13

> > > http://stackoverflow.com/questions/8940470/algorithm-for-finding-numerical-… > > How would you rewrite this into Haskell? The code snippet is in Scala. > > /** > example: index:=15, list:=(1, 2, 3, 4) > */ > def permutationIndex (index: Int, list: List [Int]) : List [Int] = > if (list.isEmpty) list else { > val len = list.size // len = 4 > val max = fac (len) // max = 24 > val divisor = max / len // divisor = 6 > val i = index / divisor // i = 2 > val el = list (i) > el :: permutationIndex (index - divisor * i, list.filter (_ != el)) } > > >

3 3

[ANN] hoodle-publish-0.1 : publish your hoodle files on the web
by Ian-Woo Kim 10 Apr '13

10 Apr '13

Hi, all, I am happy to announce a utility hoodle-publish for publishing hoodle files on the web as a form of pdf files. I am planning to support html publishing later. For those who do not know what hoodle is, hoodle (http://ianwookim.org/hoodle) is a pen notetaking program written entirely in haskell. hoodle-publish is a shell command which takes hoodle files in a directory recursively and transforms them to pdf files preserving hyperlinks. For detailed explanation, please refer to my blog post : http://ianwookim.org/blog/posts/2013/04-09-publish-your-hoodle-files-on-the… A sample hoodle publication is also shown in http://ianwookim.org/sasha/hoodle/main.pdf Enjoy! Ian-Woo

1 0

GSoC Project Proposal: Markdown support for Haddock
by Johan Tibell 09 Apr '13

09 Apr '13

Hi all, Haddock's current markup language leaves something to be desired once you want to write more serious documentation (e.g. several paragraphs of introductory text at the top of the module doc). Several features are lacking (bold text, links that render as text instead of URLs, inline HTML). I suggest that we implement an alternative haddock syntax that's a superset of Markdown. It's a superset in the sense that we still want to support linkifying Haskell identifiers, etc. Modules that want to use the new syntax (which will probably be incompatible with the current syntax) can set: {-# HADDOCK Markdown #-} on top of the source file. Ticket: http://trac.haskell.org/haddock/ticket/244 -- Johan

28 45