September 2014 - Haskell-Cafe

Maintaining test-suite dependencies with cabal
by Bram Neijt 06 Sep '14

06 Sep '14

Dear reader, I have a single executable package in Cabal[1] and I have added a test for it using an example configuration from the ltc package[2]. With my test on my executable I can't depend on the main package, but I seem to have to repeat the dependencies of my executable, or split off functionality into a library. [3] Can I easily depend on the dependencies of another package or should I create a library and depend on that in my test and executable? All source is at: https://github.com/bneijt/after/ Greetings, Bram [1] https://github.com/bneijt/after/blob/master/after.cabal [2] https://github.com/scvalex/ltc/blob/master/ltc.cabal [3] A part of my cabal file added below executable after main-is: Main.hs build-depends: base >=4.7 && <4.8, options ==1.*, directory ==1.2.*, parallel-io ==0.3.*, filepath ==1.3.*, unix ==2.7.* hs-source-dirs: src ghc-options: -Wall default-language: Haskell2010 test-suite afterTests hs-source-dirs: test src main-is: AfterTest.hs type: exitcode-stdio-1.0 build-depends: base >=4.7 && <4.8, unix ==2.7.*, -- Here because of after depending on it directory ==1.2.*, -- Here because of after depending on it filepath ==1.3.*, -- Here because of after depending on it test-framework, test-framework-hunit, HUnit default-language: Haskell2010

6 6

Elm-like IDE for Haste projects
by Alberto G. Corona 04 Sep '14

04 Sep '14

Following the thread on lightweight Web interfaces for Haskell: http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/112586 I finished an Elm-like IDE for Haste projects. The software is at: https://github.com/agocorona/tryhplay Running in a heroku instance: http://tryplayg.herokuapp.com Besides to edit-compile and run, it can also import , compile and run haste projects from git repositories (Although this, like the rest of the project is experimental). I use it for my hplayground framework but it can run any haste project. Using playground is easy to translate console programs to the browser and have reactive effects A simple example: http://tryplayg.herokuapp.com/try/console.hs/edit the hello-haste example: http://tryplayg.herokuapp.com/try/hello-haste.hs/edit Or something more complicated: the todo application, from todoMVC.com written in Haste and hplayground: http://tryplayg.herokuapp.com/try/todo.hs/edit rename the programs if you modify them. Follow the instructions to download the HTML generated, that include the Javascript generated. At this time there are no permission controls so it is more or less like a wiki, but heroku from time to time will reset the application. It is a free instance on heroku so expect delays and request timeouts when many people access to the application. I do not know what will happen. Feedback welcome My heroku instance is limited but It is easy to create your own instance in heroku. Follow the install instructions. Haste: https://github.com/valderman/haste-compiler http://haste-lang.org hplayground: https://github.com/agocorona/hplayground -- Alberto.

2 1

Parallel evaluation of code dependencies
by felipe zapata 04 Sep '14

04 Sep '14

Hi Cafe, Suppose that I have a representation of a DSL in Haskell (a physical number crunching simulation using quasiquoting for instance) and I want to evaluate the resulting Haskell representation by splitting it into chunks and send these chunk to some cluster, a supercomputer, etc. It doesn't matter for the moment the distribution protocol. My advisor suggested me that the best way of doing such a thing, is through a call by value strategy. Where I simply evaluate in parallel all the arguments of the functions. The problem with this alternative is that I must manipulate the Haskell representation and use some library ( or write some code) to identify the dependencies and evaluate them in parallel. Can please someone suggest me the best way to tackle this problem? I really appreciate any help. Felipe Z.

2 1

Re: [Haskell-cafe] diagrams fails to install
by Roger Mason 04 Sep '14

04 Sep '14

Hello Mike, Mike Meyer <mwm(a)mired.org> writes: > You should have a /usr/local/llvm32 directory. If so, try: > > PATH=/usr/local/llvm32/bin:$PATH cabal install diagrams. > > I have llvm34 installed, and it worked for me using > /usr/local/llvm34/bin:$PATH. > Thank you, that worked. best wishes, Roger

1 0

diagrams fails to install
by Roger Mason 04 Sep '14

04 Sep '14

Hello, I'm trying to install Diagrams on FreeBSD 10. It fails thus: cabal install diagrams Resolving dependencies... Configuring arithmoi-0.4.1.1... Building arithmoi-0.4.1.1... Preprocessing library arithmoi-0.4.1.1... [ 1 of 34] Compiling Math.NumberTheory.Primes.Sieve.Indexing ( Math/NumberTheory/Primes/Sieve/Indexing.hs, dist/build/Math/NumberTheory/Primes/Sieve/Indexing.o ) <no location info>: Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM ghc: could not execute: opt Failed to install arithmoi-0.4.1.1 cabal-install: Error: some packages failed to install: arithmoi-0.4.1.1 failed during the building phase. The exception was: ExitFailure 1 diagrams-1.2 depends on arithmoi-0.4.1.1 which failed to install. diagrams-contrib-1.1.2.1 depends on arithmoi-0.4.1.1 which failed to install. ghc --info reports: [("Project name","The Glorious Glasgow Haskell Compilation System") ,("GCC extra via C opts"," -fwrapv") ,("C compiler command","gcc47") ,("C compiler flags"," -fno-stack-protector -Wl,--hash-size=31 -Wl,--reduce-memory-overheads") ,("ar command","/usr/bin/ar") ,("ar flags","clqs") ,("ar supports at file","NO") ,("touch command","touch") ,("dllwrap command","/bin/false") ,("windres command","/bin/false") ,("perl command","/usr/bin/perl") ,("target os","OSFreeBSD") ,("target arch","ArchX86") ,("target word size","4") ,("target has GNU nonexec stack","True") ,("target has .ident directive","True") ,("target has subsections via symbols","False") ,("LLVM llc command","llc") ,("LLVM opt command","opt") ,("Project version","7.6.3") ,("Booter version","7.6.3") ,("Stage","2") ,("Build platform","i386-portbld-freebsd") ,("Host platform","i386-portbld-freebsd") ,("Target platform","i386-portbld-freebsd") ,("Have interpreter","YES") ,("Object splitting supported","YES") ,("Have native code generator","YES") ,("Support SMP","YES") ,("Unregisterised","NO") ,("Tables next to code","YES") ,("RTS ways","l debug thr thr_debug thr_l thr_p dyn debug_dyn thr_dyn thr_debug_dyn") ,("Leading underscore","NO") ,("Debug on","False") ,("LibDir","/usr/local/lib/ghc-7.6.3") ,("Global Package DB","/usr/local/lib/ghc-7.6.3/package.conf.d") ,("Gcc Linker flags","[\"-Wl,--hash-size=31\",\"-Wl,--reduce-memory-overheads\"]") ,("Ld Linker flags","[\"--hash-size=31\",\"--reduce-memory-overheads\"]") ] opt is installed as /usr/local/bin/opt32, so I tried symlinking /usr/local/bin/opt to it, but the error remains. Is there some workaround? Thanks, Roger

1 0

Jobs at the University of Kent
by Simon Thompson 04 Sep '14

04 Sep '14

We've been doing functional programming at Kent for more than thirty years, and it would be great to recruit more people in FP, theory, type theory, programming languages, verification, concurrency ... Details of three positions here: https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=38618,12… If you're interested in discussing, just send us an email. Simon Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson(a)kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt

1 0

heroku-buildpack-haste
by Alberto G. Corona 04 Sep '14

04 Sep '14

Just to let you know that I created an heroku buildpack that install GHC and Haste in the running environment, so that web applications can invoke ghc, cabal, hastec haste-inst etc. I use it for the creation of an Haste IDE. But it may have other uses. https://github.com/agocorona/heroku-buildpack-haste -- Alberto.

2 2

Package bounds approximation
by Ernesto Rodriguez 04 Sep '14

04 Sep '14

Dear Cafe, I was wondering if there exists a tool to approximate what would be the minimal versions of the dependencies required by a package. I know that calculating this exactly is a bit intractable, but I was considering whether a tool that works as follows would work: 1) Compile the package with known to work dependencies 2) For each version of dependency as d: For each function in d used by My Package: * Perform unification of the resulting type when compiled with known to work dependencies and the type exported by the api of the version of the dependency in consideration. If all unifications succeeds, mark the version as compatible, incompatible otherwise This approximation is obviously not complete. Nevertheless, I would like to get opinions about whether this would be a good/useful/feasible approximation? Does the current GHC api export enough functionality for this package to be feasible? Are there alternatives? I was consider doing this as my `hack` during the high energy, intense no-sleep jacobsHack! <http://jacobshack.com> hackathon, do you think it would be a good idea? Thank you for the opinions and best regards, Ernesto Rodriguez -- Ernesto Rodriguez Masters Student Computer Science Utrecht University www.netowork.me github.com/netogallo

4 6

ANN: Ray Marching Distance Fields with Haskell and GLSL
by Tim C. Schroeder 04 Sep '14

04 Sep '14

https://github.com/blitzcode/ray-marching-distance-fields "This project is a Haskell and GLSL program containing my distance field / ray marching related experiments. The Haskell viewing application is doing the pre-processing, functioning as a development and debugging aid, allowing different shaders to be explored. It automatically reloads and recompiles shaders when they change, showing an overlay displaying any errors. There's a flexible frame buffer system, supporting under and super sampling and saving of screenshots. Tiled rendering avoids shader timeouts and unresponsive UI. It also features offline convolution of environment maps with a filter kernel to enable fast lighting of diffuse and glossy surfaces. Finally, there's an implementation of the Mandelbulb fractal as well as several simpler ones like Mandelbrot and Julia sets. There's some more functionality in the program, try it out and / or visit my website." Cheers, Tim

1 0

Haskell Weekly News: Issue 304
by Daniel Santa Cruz 04 Sep '14

04 Sep '14

Welcome to issue 304 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from August 24 to 30, 2014 Quotes of the Week * pjdelport: Haskell: Lazy evaluation, eager debugging. * trap_exit: isn't hoogle awesome? the first time I used it, I was like "for the first time in my life, google sucks" Top Reddit Stories * Hython - a Haskell-powered Python 3 interpreter Domain: github.com, Score: 95, Comments: 22 Original: [1] http://goo.gl/aI16qA On Reddit: [2] http://goo.gl/N67fnX * Using Emacs for Haskell development Domain: github.com, Score: 89, Comments: 47 Original: [3] http://goo.gl/tuPL91 On Reddit: [4] http://goo.gl/RxVWFQ * Ivory Language Domain: ivorylang.org, Score: 70, Comments: 36 Original: [5] http://goo.gl/xJJ68c On Reddit: [6] http://goo.gl/Vz9cTX * A taste of Cabalized Backpack : Inside 206-105 Domain: blog.ezyang.com, Score: 61, Comments: 73 Original: [7] http://goo.gl/8MpD3U On Reddit: [8] http://goo.gl/3kVQOG * Introducing /r/haskellgamedev Domain: self.haskell, Score: 58, Comments: 20 Original: [9] http://goo.gl/B2nzhq On Reddit: [10] http://goo.gl/B2nzhq * Acme.StringlyTyped Domain: hackage.haskell.org, Score: 44, Comments: 11 Original: [11] http://goo.gl/IfK2Uf On Reddit: [12] http://goo.gl/Z0wT5E * A new version of Yampa is out (0.9.6) Domain: keera.co.uk, Score: 43, Comments: 16 Original: [13] http://goo.gl/EHxFdd On Reddit: [14] http://goo.gl/EXGLdX * On CodeWorld and Haskell Domain: cdsmith.wordpress.com, Score: 41, Comments: 23 Original: [15] http://goo.gl/C7tkHk On Reddit: [16] http://goo.gl/qu3l04 * Introduction to Dependent Types: Haskell on Steroids Domain: jozefg.bitbucket.org, Score: 37, Comments: 17 Original: [17] http://goo.gl/fg8Rfo On Reddit: [18] http://goo.gl/YLmHNQ * Evaluation order and state tokens - School of Haskell Domain: fpcomplete.com, Score: 35, Comments: 24 Original: [19] http://goo.gl/v0D1HQ On Reddit: [20] http://goo.gl/jiiLRl * IO Monad and Purity Domain: stackoverflow.com, Score: 34, Comments: 13 Original: [21] http://goo.gl/zkBxl1 On Reddit: [22] http://goo.gl/yVQY4F * [ANN] Haste 0.4, now with GHC 7.8 support and binary packages Domain: groups.google.com, Score: 33, Comments: 5 Original: [23] http://goo.gl/DU4QYT On Reddit: [24] http://goo.gl/xcqxU0 * darcs 2.8.5 released Domain: lists.osuosl.org, Score: 30, Comments: 0 Original: [25] http://goo.gl/FbjpuA On Reddit: [26] http://goo.gl/TM6D7E * Yarr - image processing library and partial Repa clone Domain: hackage.haskell.org, Score: 28, Comments: 8 Original: [27] http://goo.gl/cfHAH8 On Reddit: [28] http://goo.gl/oyK3xF * conduit stream fusion Domain: fpcomplete.com, Score: 28, Comments: 15 Original: [29] http://goo.gl/9e57M2 On Reddit: [30] http://goo.gl/kFL5Pu * New blog post: Dealing with Asynchronous Exceptions during Resource Acquisition Domain: well-typed.com, Score: 28, Comments: 34 Original: [31] http://goo.gl/WS05yN On Reddit: [32] http://goo.gl/5hp59d Top StackOverflow Questions * Zipper Comonads, Generically votes: 43, answers: 3 Read on SO: [33] http://goo.gl/NDzqR1 * Test if a value matches a constructor votes: 25, answers: 3 Read on SO: [34] http://goo.gl/3Sa7hX * What is the difference between a cyclic list and an infinite list in haskell? votes: 16, answers: 2 Read on SO: [35] http://goo.gl/q7f7pu * Powerset Function 1-Liner votes: 13, answers: 1 Read on SO: [36] http://goo.gl/cez03g * How to make a binary tree zipper an instance of Comonad? votes: 13, answers: 1 Read on SO: [37] http://goo.gl/Zc1wr4 * Is there a better performing alternative to read and show in Haskell? votes: 11, answers: 1 Read on SO: [38] http://goo.gl/Y0m0wX * QuickCheck: How to use exhaustiveness checker to prevent forgotten constructors of a sum type votes: 11, answers: 2 Read on SO: [39] http://goo.gl/b8YbtB * Why does FRP consider time as a factor for values? votes: 10, answers: 2 Read on SO: [40] http://goo.gl/Yo65J8 Until next time, [41]+Daniel Santa Cruz References 1. https://github.com/mattgreen/hython 2. http://www.reddit.com/r/haskell/comments/2ejlxm/hython_a_haskellpowered_pyt… 3. https://github.com/serras/emacs-haskell-tutorial/blob/master/tutorial.md 4. http://www.reddit.com/r/haskell/comments/2efpx4/using_emacs_for_haskell_dev… 5. http://ivorylang.org/ 6. http://www.reddit.com/r/haskell/comments/2epdwp/ivory_language/ 7. http://blog.ezyang.com/2014/08/a-taste-of-cabalized-backpack/ 8. http://www.reddit.com/r/haskell/comments/2eoett/a_taste_of_cabalized_backpa… 9. http://www.reddit.com/r/haskell/comments/2f0xm0/introducing_rhaskellgamedev/ 10. http://www.reddit.com/r/haskell/comments/2f0xm0/introducing_rhaskellgamedev/ 11. http://hackage.haskell.org/package/acme-stringly-typed-1.0.0.0/docs/Acme-St… 12. http://www.reddit.com/r/haskell/comments/2f01jl/acmestringlytyped/ 13. http://keera.co.uk/blog/2014/08/29/new-version-yampa-0-9-6/ 14. http://www.reddit.com/r/haskell/comments/2ex7c9/a_new_version_of_yampa_is_o… 15. http://cdsmith.wordpress.com/2014/08/26/on-codeworld-and-haskell/ 16. http://www.reddit.com/r/haskell/comments/2en20t/on_codeworld_and_haskell/ 17. http://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html 18. http://www.reddit.com/r/haskell/comments/2er003/introduction_to_dependent_t… 19. https://www.fpcomplete.com/user/snoyberg/general-haskell/advanced/evaluatio… 20. http://www.reddit.com/r/haskell/comments/2eiqwv/evaluation_order_and_state_… 21. http://stackoverflow.com/a/25576375/1651941 22. http://www.reddit.com/r/haskell/comments/2f191i/io_monad_and_purity/ 23. https://groups.google.com/forum/#!topic/haste-compiler/mel9aO9Jako 24. http://www.reddit.com/r/haskell/comments/2ev19m/ann_haste_04_now_with_ghc_7… 25. http://lists.osuosl.org/pipermail/darcs-users/2014-August/027041.html 26. http://www.reddit.com/r/haskell/comments/2ekjmx/darcs_285_released/ 27. http://hackage.haskell.org/package/yarr 28. http://www.reddit.com/r/haskell/comments/2eg1nk/yarr_image_processing_libra… 29. https://www.fpcomplete.com/blog/2014/08/conduit-stream-fusion 30. http://www.reddit.com/r/haskell/comments/2es8oj/conduit_stream_fusion/ 31. http://www.well-typed.com/blog/97/ 32. http://www.reddit.com/r/haskell/comments/2ety9f/new_blog_post_dealing_with_… 33. http://stackoverflow.com/questions/25554062/zipper-comonads-generically 34. http://stackoverflow.com/questions/25587501/test-if-a-value-matches-a-const… 35. http://stackoverflow.com/questions/25498431/what-is-the-difference-between-… 36. http://stackoverflow.com/questions/25476248/powerset-function-1-liner 37. http://stackoverflow.com/questions/25519767/how-to-make-a-binary-tree-zippe… 38. http://stackoverflow.com/questions/25496672/is-there-a-better-performing-al… 39. http://stackoverflow.com/questions/25535616/quickcheck-how-to-use-exhaustiv… 40. http://stackoverflow.com/questions/25568712/why-does-frp-consider-time-as-a… 41. https://plus.google.com/105107667630152149014/about

1 0