- Haskell - Haskell.org

Haskell Weekly News: Issue 245
by Daniel Santa Cruz 27 Sep '12

27 Sep '12

Welcome to issue 245 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 16 to September 22, 2012. Quotes of the Week * dmwit: You have your intuition correct, despite all the pedantry in the room. * Cale: THIS CODE IS EXCELLENT CODE, I AM AN EXCELLENT ENTERPRISE PROGRAMMER ACCOMPLISHING REAL WORLD TASKS USING PATTERNS LIKE I READ ABOUT IN ALL THE JAVA BLOGS * byorgey: HASKELL is a pure, functional, strongly typed language featuring a name with all capitals, so it is suitable for beginners * ciaranm: a comonad is just a comonoid in the category of endofunctors. what's the coproblem? * dmwit: ISAAC -- ignore success at all costs * merijn: If you're not gonna use the types [by writing them] you might as well just write python * Cale: The real reason for the installed size of GHC being so large is that in the background it secretly downloads a video of SPJ riding a unicycle. Top Reddit Stories * First commercial Haskell-powered (game logic) computer game? (Nikki and the Robots Story Episodes) Domain: buy.joyridelabs.de, Score: 57, Comments: 27 On Reddit: [1] http://goo.gl/hngXz Original: [2] http://goo.gl/Y5Oax * Common misconceptions about Safe Haskell Domain: blog.ezyang.com, Score: 49, Comments: 23 On Reddit: [3] http://goo.gl/NBSx7 Original: [4] http://goo.gl/43i6n * The MonadTrans class is missing a method Domain: haskellforall.com, Score: 44, Comments: 32 On Reddit: [5] http://goo.gl/okxAX Original: [6] http://goo.gl/GnvzB * The Haskell Implementors' Workshop videos and slides available online Domain: haskell.org, Score: 43, Comments: 4 On Reddit: [7] http://goo.gl/LuORg Original: [8] http://goo.gl/pEvww * Writing javascript games in haskell : breakout Domain: jshaskell.blogspot.com, Score: 39, Comments: 10 On Reddit: [9] http://goo.gl/Dv8QK Original: [10] http://goo.gl/lXxsS * HIW 2012. Simon Peyton Jones: GHC Status Update. - YouTube Domain: youtube.com, Score: 37, Comments: 12 On Reddit: [11] http://goo.gl/3GEZK Original: [12] http://goo.gl/j7al9 * Comparing Snap's and Yesod's Template Languages Heist and Hamlet Domain: gist.github.com, Score: 36, Comments: 33 On Reddit: [13] http://goo.gl/AzaVV Original: [14] http://goo.gl/StRaF * Request: Tutorial on debugging using stack trace features of GHC 7.4 Domain: self.haskell, Score: 31, Comments: 6 On Reddit: [15] http://goo.gl/DcR1C Original: [16] http://goo.gl/DcR1C * A kind for regions Domain: monoidal.blogspot.com, Score: 29, Comments: 27 On Reddit: [17] http://goo.gl/4aBe7 Original: [18] http://goo.gl/tBDDW * [screencast] Quick introduction to Haskell using Gtk and the web Domain: vimeo.com, Score: 28, Comments: 4 On Reddit: [19] http://goo.gl/oi2IB Original: [20] http://goo.gl/LOkcf * Warp optimization - Sending header and body at once Domain: yesodweb.com, Score: 27, Comments: 17 On Reddit: [21] http://goo.gl/wstwx Original: [22] http://goo.gl/opsHb * Runtime Codegeneration in Haskell: Harpy vs. LLVM Domain: blog.wien.tomnetworks.com, Score: 24, Comments: 10 On Reddit: [23] http://goo.gl/aD0hE Original: [24] http://goo.gl/jU3nf * Show off your Vim/Emacs config! Domain: self.haskell, Score: 24, Comments: 7 On Reddit: [25] http://goo.gl/jV6Sa Original: [26] http://goo.gl/jV6Sa * Elm 0.4: Graphics Upgrade! Markdown, better for games, new optimizations, minification, ... Domain: elm-lang.org, Score: 22, Comments: 1 On Reddit: [27] http://goo.gl/SJW29 Original: [28] http://goo.gl/2Q5Fg * Making your zipper disappear with Zippo Domain: brandon.si, Score: 22, Comments: 6 On Reddit: [29] http://goo.gl/MQg77 Original: [30] http://goo.gl/Ua8a9 * [ANNOUNCE] Juicy.Pixels 2.0 - With Gif file decoding Domain: hackage.haskell.org, Score: 20, Comments: 12 On Reddit: [31] http://goo.gl/kEKrE Original: [32] http://goo.gl/EVvBh * Videos from this the CUFP 2012 in Copenhagen are now up Domain: cufp.org, Score: 17, Comments: 2 On Reddit: [33] http://goo.gl/mpe8Z Original: [34] http://goo.gl/aCB9I * Haskell developer jobs at StanChart - London, Singapore and Tianjin Domain: haskellers.com, Score: 17, Comments: 6 On Reddit: [35] http://goo.gl/t7axk Original: [36] http://goo.gl/wZrV5 * New GHCJS Hello World (can you find the hidden game?) Domain: ghcjs.github.com, Score: 17, Comments: 10 On Reddit: [37] http://goo.gl/c4BeA Original: [38] http://goo.gl/Aqh1i Top StackOverflow Questions * “What part of Milner-Hindley do you not understand?” votes: 73, answers: 4 Read on SO: [39] http://goo.gl/Nossl * Matching on type level Nat in GHC 7.6 votes: 17, answers: 1 Read on SO: [40] http://goo.gl/YijoA * Threading extra state through a parser in Scala votes: 16, answers: 1 Read on SO: [41] http://goo.gl/8cYMQ * find all types that are instances of a typeclass votes: 13, answers: 1 Read on SO: [42] http://goo.gl/ywHUN * When to use various language pragmas and optimisations? votes: 13, answers: 2 Read on SO: [43] http://goo.gl/qqtID * What are these explicit “forall”s doing? votes: 12, answers: 1 Read on SO: [44] http://goo.gl/fO0kf * How does the ST monad work? votes: 11, answers: 2 Read on SO: [45] http://goo.gl/xxntD * What are the pros and cons of adding additional functions/combinators to a typeclass definition? votes: 10, answers: 2 Read on SO: [46] http://goo.gl/HhDgT * Type parameters constraints for instances of typeclasses with kind * -> * votes: 9, answers: 2 Read on SO: [47] http://goo.gl/bGEQW * Theoretically, is this a valid comonad instance for a list? votes: 9, answers: 2 Read on SO: [48] http://goo.gl/z4DI4 * In haskell how can I uppercase a unicode character with respect to current locale votes: 9, answers: 1 Read on SO: [49] http://goo.gl/enNwK * Does haskell erase types? votes: 8, answers: 2 Read on SO: [50] http://goo.gl/YP8Nn * Is there an Iteratee-like concept which pulls data from multiple sources? votes: 8, answers: 4 Read on SO: [51] http://goo.gl/AOV0Y Until next time, Daniel Santa Cruz References 1. http://buy.joyridelabs.de/ 2. http://www.reddit.com/r/haskell/comments/106ocf/first_commercial_haskellpow… 3. http://blog.ezyang.com/2012/09/common-misconceptions-about-safe-haskell/ 4. http://www.reddit.com/r/haskell/comments/10242c/common_misconceptions_about… 5. http://www.haskellforall.com/2012/09/the-monadtrans-class-is-missing-method… 6. http://www.reddit.com/r/haskell/comments/106xwf/the_monadtrans_class_is_mis… 7. http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012#Program… 8. http://www.reddit.com/r/haskell/comments/102x4p/the_haskell_implementors_wo… 9. http://jshaskell.blogspot.com/2012/09/breakout.html 10. http://www.reddit.com/r/haskell/comments/109hsb/writing_javascript_games_in… 11. http://www.youtube.com/watch?v=2Pucbf8_hGQ&feature=plcp 12. http://www.reddit.com/r/haskell/comments/102t49/hiw_2012_simon_peyton_jones… 13. https://gist.github.com/3757918 14. http://www.reddit.com/r/haskell/comments/107v79/comparing_snaps_and_yesods_… 15. http://www.reddit.com/r/haskell/comments/104xa2/request_tutorial_on_debuggi… 16. http://www.reddit.com/r/haskell/comments/104xa2/request_tutorial_on_debuggi… 17. http://monoidal.blogspot.com/2012/09/a-kind-for-regions.html 18. http://www.reddit.com/r/haskell/comments/102v1x/a_kind_for_regions/ 19. https://vimeo.com/49918847 20. http://www.reddit.com/r/haskell/comments/10az3o/screencast_quick_introducti… 21. http://www.yesodweb.com/blog/2012/09/header-body 22. http://www.reddit.com/r/haskell/comments/104sx0/warp_optimization_sending_h… 23. http://blog.wien.tomnetworks.com/2012/09/17/runtime-codegeneration-in-haske… 24. http://www.reddit.com/r/haskell/comments/1014ct/runtime_codegeneration_in_h… 25. http://www.reddit.com/r/haskell/comments/10b20f/show_off_your_vimemacs_conf… 26. http://www.reddit.com/r/haskell/comments/10b20f/show_off_your_vimemacs_conf… 27. http://elm-lang.org/blog/announce/version-0.4.0.elm 28. http://www.reddit.com/r/haskell/comments/102zqr/elm_04_graphics_upgrade_mar… 29. http://brandon.si/code/making-your-zipper-disappear-with-zippo/ 30. http://www.reddit.com/r/haskell/comments/103rhu/making_your_zipper_disappea… 31. http://hackage.haskell.org/package/JuicyPixels-2.0 32. http://www.reddit.com/r/haskell/comments/zziwm/announce_juicypixels_20_with… 33. http://cufp.org/videos 34. http://www.reddit.com/r/haskell/comments/102rer/videos_from_this_the_cufp_2… 35. http://www.haskellers.com/jobs/19 36. http://www.reddit.com/r/haskell/comments/106wat/haskell_developer_jobs_at_s… 37. http://ghcjs.github.com/bin/ghcjs-hello.jsexe 38. http://www.reddit.com/r/haskell/comments/10b6h3/new_ghcjs_hello_world_can_y… 39. http://stackoverflow.com/questions/12532552/what-part-of-milner-hindley-do-… 40. http://stackoverflow.com/questions/12463474/matching-on-type-level-nat-in-g… 41. http://stackoverflow.com/questions/12487827/threading-extra-state-through-a… 42. http://stackoverflow.com/questions/12524034/find-all-types-that-are-instanc… 43. http://stackoverflow.com/questions/12534145/when-to-use-various-language-pr… 44. http://stackoverflow.com/questions/12519878/what-are-these-explicit-foralls… 45. http://stackoverflow.com/questions/12468622/how-does-the-st-monad-work 46. http://stackoverflow.com/questions/12515655/what-are-the-pros-and-cons-of-a… 47. http://stackoverflow.com/questions/12497542/type-parameters-constraints-for… 48. http://stackoverflow.com/questions/12537149/theoretically-is-this-a-valid-c… 49. http://stackoverflow.com/questions/12537377/in-haskell-how-can-i-uppercase-… 50. http://stackoverflow.com/questions/12468722/does-haskell-erase-types 51. http://stackoverflow.com/questions/12496654/is-there-an-iteratee-like-conce…

1 0

ESOP Call For Papers
by Simon Peyton-Jones 26 Sep '12

26 Sep '12

Call for Papers ESOP 2013: The European Symposium on Programming http://www.ccs.neu.edu/esop2013/ Affiliated with ETAPS'13 Rome, Italy, 16-24 March 2013 DESCRIPTION AND TOPICS ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: * Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, synchronous and real-time programming languages; * Methods and tools to write and specify programs and languages: programming techniques, logical foundations, denotational semantics, operational semantics, meta programming, module systems, language-based security; * Methods and tools for reasoning about programs: type systems, abstract interpretation, program verification, testing; * Methods and tools for implementation: program transformations, rewriting systems, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments; * Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, distributed and mobile languages. Contributions bridging the gap between theory and practice are particularly welcome. IMPORTANT DATES 7 October 2012: Submission deadline for abstracts 14 October 2012: Submission deadline for full papers 28 November 2012: Beginning of author response period 14 December 2012: Notification of decision 8 January 2013: Camera-ready versions due 16-24 March 2013: Presentations in Rome, Italy INFORMATION For additional information, point your browser at http://www.ccs.neu.edu/esop2013/

1 0

ANN: HERMIT for GHC 7.6
by Andrew Farmer 25 Sep '12

25 Sep '12

A new version of HERMIT (0.1.2.0) that is compatible with GHC 7.6 is now available on hackage. This release has essentially the same functionality as the 7.4-only pre-alpha release made before ICFP 2012. HERMIT (Haskell Equational Reasoning Model-to-Implementation Tunnel) is a plugin for GHC that provides an interactive interface for applying transformations directly to GHC's internal intermediate language, Core. This plugin is part of a larger HERMIT toolkit, which is being developed at the University of Kansas with the aims of supporting equational reasoning and allowing custom optimizations to be applied without modifying either GHC or the Haskell source code. Introduction to HERMIT via Neil Sculthorpe's Haskell Symposium 2012 talk: http://www.youtube.com/watch?v=x2QH3jJCJso Example transformations can be found in the examples folder, contained in the cabal source package. Hackage: http://hackage.haskell.org/package/hermit Github (for bug reports): https://github.com/ku-fpg/hermit Andrew Farmer

1 0

PEPM 2013: Final Call for Papers
by Shin-Cheng Mu 25 Sep '12

25 Sep '12

F I N A L C A L L F O R P A P E R S === P E P M 2013 === ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM13 January 20-21, 2013 Rome, Italy (Affiliated with POPL 2013) ==================================================================== NEWS - Invited talks: Zhenjiang Hu: Practical Aspects of Bidirectional Graph Transformations Peter Thiemann: Partially Static Operations REMINDER - Important Dates: Abstract submission: September 28, 2012 Paper submission: October 2, 2012 Notification: November 6, 2012 - Selected papers will be invited to a Special issue of Science of Computer Programming (SCP) (5-Year Impact Factor of SCP: 1.304) ==================================================================== SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2013 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue recent years' successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'13 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of 'short papers' for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student attendants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Selected papers will be invited for a journal special issue of Science of Computer Programming dedicated to PEPM'13. PEPM has established a Best Paper award. The winner will be announced at the workshop. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. IMPORTANT DATES Abstract submission: September 28, 2012 Paper submission: October 2, 2012 Notification: November 6, 2012 Camera ready: November 14, 2012 SUBMISSION GUIDELINES, CATEGORIES, AND PROCEEDINGS Regular Research Papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers and short papers must not exceed 4 pages in ACM Proceedings style. At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research and tool demonstration papers will be made available on the PEPM'13 Web-site. Papers should be submitted electronically via the workshop web site. INVITED SPEAKERS We are proud to present the following two invited talks: * Zhenjiang Hu (National Institute of Informatics, Japan): Practical Aspects of Bidirectional Graph Transformations * Peter Thiemann (Institut fur Informatik, Technische Fakultat, Universitat Freiburg, Germany): Partially Static Operations See the workshop web site homepage for abstracts. PROGRAM CO-CHAIRS Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) PEPM 2013 PROGRAM COMMITTEE * Maria Alpuente (Technical University of Valencia, Spain) * Kenichi Asai (Ochanomizu University, Japan) * Maria Garcia de la Banda (Monash University, Australia) * James R. Cordy (Queen's University, Canada) * R. Kent Dybvig (Cisco and Indiana University, USA) * Joao Fernandes (University of Minho, Portugal) * Samir Genaim (Complutense University of Madrid, Spain) * Roberto Giacobazzi (Verona University, Italy) * Andy Gill (University of Kansas, USA) * Jurriaan Hage (Utrecht University, Netherlands) * Martin Hofmann (Ludwig-Maximilians-Universität München, Germany) * Julia Lawall (INRIA, France) * Yanhong Annie Liu (Stony Brook University, USA) * Kazutaka Matsuda (University of Tokyo, Japan) * Keisuke Nakano (University of Electro-Communications, Japan) * Klaus Ostermann (University of Marburg, Germany) * Sergei A. Romanenko (Russian Academy of Sciences, Russia) * Jeremy Siek (University of Colorado at Boulder, USA) * Walid Mohamed Taha (Halmstad University, Sweden) * Tarmo Uustalu (Tallinn University of Technology, Estonia) * Janis Voigtlaender (University of Bonn, Germany) * Dana N. Xu (INRIA, France)

1 0

Re: [Haskell] Hackage2 server testing
by Duncan Coutts 25 Sep '12

25 Sep '12

On 25 September 2012 12:41, Herbert Valerio Riedel <hvr(a)gnu.org> wrote: > Ian Lynagh <ian(a)well-typed.com> writes: > >> I am pleased to announce that a test instance of the Hackage 2 server is >> now running at >> http://new-hackage.haskell.org/ >> >> The plan is to test the new server for 3 weeks (until Monday 24 >> September), before switching over to Hackage 2 for real. > > ...as it's now past monday... what's the status? is the switch-over going to happen now? Hi Herbert, Ian has handed the task over to me, so I'll be leading the switchover, along with the admins we've recruited. We have a few issues we're still working on, mainly to do with importing the old data and making the account switchover smooth. https://github.com/haskell/cabal/issues?labels=hackage2%2Cimportant&state=o… I'll post more details on the cabal-devel mailing list in the coming days, so you can follow it there. -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0

4 PhD Positions at Chalmers
by Andrei Sabelfeld 25 Sep '12

25 Sep '12

4 PhD Positions at Chalmers University of Technology, Gothenburg, Sweden Deadline: October 31, 2012 The Department of Computer Science and Engineering ( http://www.chalmers.se/cse/EN ) has about 70 faculty members and enrolls about 70 PhD students from more than 30 countries. The research spans the whole spectrum from theoretical foundations to applied systems development. There is extensive national and international collaboration with academia and industry all around the world. We particularly encourage applicants with interests in: -Programming language-based security (up to 2 positions): http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL… or contact Andrei Sabelfeld (andrei at chalmers.se) -Parallel algorithms and data structures in heterogeneous multi-core systems: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL… or contact Philippas Tsigas (tsigas at chalmers.se) -Privacy through language-based security and formal methods: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL… or contact Gerardo Schneider (gerardo.schneider at ituniv.se) Information on how to apply can be found via the URL’s above. Applicants shall have a Master’s Degree or corresponding in Computer Science, Computer Engineering, or in a related discipline. A genuine interest and curiosity in the subject matter and excellent analytical and communication skills, orally as well as literally, are needed. The employment is expected to start early 2013 (deviations are negotiable). As a Ph.D. student you are employed by Chalmers and will receive a salary according to current salary agreements (starting salary at present: approx. 25000SEK before taxes). A maximum of 20% of your time will be devoted to other duties at the department, mainly teaching. The remaining time will be devoted to your own courses and research within the project and you are expected to obtain a Ph.D. within a maximum of 5 years. You may apply even though you might not have completed your degree yet, but expect to do so before the position starts. Knowledge of Swedish is not a prerequisite for application. English is our working language for research and education at Master level. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 30 different countries. Live in Gothenburg: http://youtu.be/sbwVIQeGcdY Study in Gothenburg: http://youtu.be/0WrlGlSyS1c

1 0

ANN: New wiki page and mailing list for combinatorics and Haskell
by Brent Yorgey 24 Sep '12

24 Sep '12

Quite a while ago there was a mailing list thread where the idea was brought up of creating a mailing list for those interested in combinatorics in the setting of Haskell. Well, I've finally gotten around to it. If you're interested in (probably extremely low-traffic) discussion and announcements relating to doing combinatorics in Haskell (computing combinatorial/ number-theoretic functions; exhaustive or random generation of combinatorial objects; type algebra; etc.), please join! http://projects.haskell.org/cgi-bin/mailman/listinfo/combinatorics There is also a wiki page for collecting information here: http://www.haskell.org/haskellwiki/Combinatorics -Brent

1 0

Haskell Weekly News: Issue 244
by Daniel Santa Cruz 20 Sep '12

20 Sep '12

Welcome to issue 244 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 9 to September 15, 2012. Inbox As you might have heard, GHC 7.6.1 is out for all platforms. I would say "get it while it is still hot", but I guess I missed my opportunity to do that last week. [1] http://goo.gl/0fwDQ Sonke Hahn wrote in to announce that on Monday "Story Episodes of Nikki and the Robots" was was released. [2] http://goo.gl/dBifT Malcolm Wallace has uploaded videos from ICFP 2012, for those of us that didn't have the opportunity to be there. Big thanks for sharing these with the community! [3] http://goo.gl/6ZhYV Quotes of the Week * copumpkin: when in doubt, blame ski * shachaf: You can call the greengrocer and place an order. That'll convert their unordered pears into ordered pears! * shachaf: Those who would give up essential type independence for a little temporary type safety deserve neither independence nor safety. * ddarius: edwardk: So your plan for Haskell adoption is to write Haskell in languages that aren't Haskell, say "Man, these languages suck, this would be super easy in Haskell", and then use the Haskell you started with reproducing functionality at an "unbelievable" rate. * cmccann: personally I'm just waiting for an extension that demotes types to the value level, so that we can finally have natural numbers. Top Reddit Stories * Yet another Haskell IDE in the works Domain: yesodweb.com, Score: 71, Comments: 94 On Reddit: [4] http://goo.gl/N1nfs Original: [5] http://goo.gl/z47p8 * The case of the mysterious explosion in space Domain: serpentine.com, Score: 65, Comments: 9 On Reddit: [6] http://goo.gl/O782g Original: [7] http://goo.gl/eQxOc * Haskell vs. F# vs. Scala: A High-level Language Features and Parallelism Support Comparison Domain: macs.hw.ac.uk, Score: 47, Comments: 30 On Reddit: [8] http://goo.gl/XWdPX Original: [9] http://goo.gl/daRy2 * The functor design pattern Domain: haskellforall.com, Score: 42, Comments: 45 On Reddit: [10] http://goo.gl/FpJL4 Original: [11] http://goo.gl/pZ4yu * How To Exclude Women From Your Technical Community: A Tutorial Domain: tim.dreamwidth.org, Score: 42, Comments: 309 On Reddit: [12] http://goo.gl/iKN7H Original: [13] http://goo.gl/GKMjb * A simple library that allows logic programming in Haskell Domain: github.com, Score: 38, Comments: 10 On Reddit: [14] http://goo.gl/J9Pbp Original: [15] http://goo.gl/1bRw5 * Larry Wall: "You should probably know about it [Haskell] if only to be able to say 'is this like Haskell?', and, if so, then you know you'll have to hire some really smart people to program in it." Domain: youtube.com, Score: 34, Comments: 130 On Reddit: [16] http://goo.gl/z1PTW Original: [17] http://goo.gl/5bCN9 * Malcolm Wallace is broadcasting videos from ICFP Domain: m.youtube.com, Score: 33, Comments: 9 On Reddit: [18] http://goo.gl/O6uuy Original: [19] http://goo.gl/Kyg5O * Darcs hub alpha: a darcsden fork to “turn the dogfooding knobs up to 11” Domain: hub.darcs.net, Score: 30, Comments: 10 On Reddit: [20] http://goo.gl/5D614 Original: [21] http://goo.gl/pDHL9 * The Architecture of the Mighttpd High-Speed Web Server Domain: iij.ad.jp, Score: 28, Comments: 4 On Reddit: [22] http://goo.gl/7yRbw Original: [23] http://goo.gl/oCkBt * Tying the knot on a Rubik's cube Domain: self.haskell, Score: 25, Comments: 7 On Reddit: [24] http://goo.gl/0XPiY Original: [25] http://goo.gl/0XPiY * Kazu Yamamoto: Improving the performance of Warp Domain: yesodweb.com, Score: 24, Comments: 1 On Reddit: [26] http://goo.gl/yvRfR Original: [27] http://goo.gl/gEQlA * Taking advantage of "Theorems for Free"? Domain: self.haskell, Score: 20, Comments: 9 On Reddit: [28] http://goo.gl/cqy6U Original: [29] http://goo.gl/cqy6U Top StackOverflow Questions * Is there a nice way to make function signatures more informative in Haskell? votes: 37, answers: 6 Read on SO: [30] http://goo.gl/vOY98 * Purely functional data structures for text editors votes: 26, answers: 7 Read on SO: [31] http://goo.gl/ciJQ3 * Lazy Pattern matching in Data.List votes: 15, answers: 1 Read on SO: [32] http://goo.gl/T2YPC * Can I provide the type-checker with proofs about inductive naturals in GHC 7.6? votes: 14, answers: 1 Read on SO: [33] http://goo.gl/zoMDr * Why does Haskell's “flip id” has this type? votes: 12, answers: 1 Read on SO: [34] http://goo.gl/HWuyZ * How long pauses can occur in a Haskell program due to garbage collection? votes: 11, answers: 1 Read on SO: [35] http://goo.gl/Stnq7 * Good introduction to free theorems [closed] votes: 11, answers: 1 Read on SO: [36] http://goo.gl/2OVYJ * Int vs Word in common use? votes: 10, answers: 3 Read on SO: [37] http://goo.gl/JR9xK * Haskell collections with guaranteed worst-case bounds for every single operation? votes: 9, answers: 1 Read on SO: [38] http://goo.gl/Oc4L9 * Zipper data structure for graphical model editor votes: 8, answers: 1 Read on SO: [39] http://goo.gl/BF865 Until next time, Daniel Santa Cruz References 1. http://comments.gmane.org/gmane.comp.lang.haskell.general/19477 2. http://joyridelabs.de/blog/?p=1435 3. http://www.youtube.com/playlist?list=PL4UWOFngo5DV0sAM9qsfnPzNtRaDyZ7MD 4. http://www.yesodweb.com/blog/2012/09/building-haskell-ide 5. http://www.reddit.com/r/haskell/comments/zrm9z/yet_another_haskell_ide_in_t… 6. http://www.serpentine.com/blog/2012/09/12/the-case-of-the-mysterious-explos… 7. http://www.reddit.com/r/haskell/comments/zrxns/the_case_of_the_mysterious_e… 8. http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/fhpc12.html 9. http://www.reddit.com/r/haskell/comments/zxcks/haskell_vs_f_vs_scala_a_high… 10. http://www.haskellforall.com/2012/09/the-functor-design-pattern.html 11. http://www.reddit.com/r/haskell/comments/zxl49/the_functor_design_pattern/ 12. http://tim.dreamwidth.org/1762846.html 13. http://www.reddit.com/r/haskell/comments/zxmzv/how_to_exclude_women_from_yo… 14. https://github.com/smichal/hs-logic 15. http://www.reddit.com/r/haskell/comments/zq1gb/a_simple_library_that_allows… 16. http://www.youtube.com/watch?v=LR8fQiskYII&feature=player_detailpage#t=169s 17. http://www.reddit.com/r/haskell/comments/zpff3/larry_wall_you_should_probab… 18. http://m.youtube.com/channel/UCP9g4dLR7xt6KzCYntNqYcw?&desktop_uri=%2Fchann… 19. http://www.reddit.com/r/haskell/comments/zsjag/malcolm_wallace_is_broadcast… 20. http://hub.darcs.net/ 21. http://www.reddit.com/r/haskell/comments/zx4th/darcs_hub_alpha_a_darcsden_f… 22. http://www.iij.ad.jp/en/company/development/tech/mighttpd/ 23. http://www.reddit.com/r/haskell/comments/zrydv/the_architecture_of_the_migh… 24. http://www.reddit.com/r/haskell/comments/znt85/tying_the_knot_on_a_rubiks_c… 25. http://www.reddit.com/r/haskell/comments/znt85/tying_the_knot_on_a_rubiks_c… 26. http://www.yesodweb.com/blog/2012/09/improving-warp 27. http://www.reddit.com/r/haskell/comments/ztvu7/kazu_yamamoto_improving_the_… 28. http://www.reddit.com/r/haskell/comments/zydcs/taking_advantage_of_theorems… 29. http://www.reddit.com/r/haskell/comments/zydcs/taking_advantage_of_theorems… 30. http://stackoverflow.com/questions/12416723/is-there-a-nice-way-to-make-fun… 31. http://stackoverflow.com/questions/12358083/purely-functional-data-structur… 32. http://stackoverflow.com/questions/12429449/lazy-pattern-matching-in-data-l… 33. http://stackoverflow.com/questions/12442858/can-i-provide-the-type-checker-… 34. http://stackoverflow.com/questions/12339822/why-does-haskells-flip-id-has-t… 35. http://stackoverflow.com/questions/12404031/how-long-pauses-can-occur-in-a-… 36. http://stackoverflow.com/questions/12421085/good-introduction-to-free-theor… 37. http://stackoverflow.com/questions/12432154/int-vs-word-in-common-use 38. http://stackoverflow.com/questions/12393104/haskell-collections-with-guaran… 39. http://stackoverflow.com/questions/12339805/zipper-data-structure-for-graph…

1 0

Well-Typed and Skills Matter offer Haskell courses in London in October
by Andres Löh 19 Sep '12

19 Sep '12

Dear Haskellers, Well-Typed is partnering with Skills Matter to offer two Haskell courses in London, targeting professional developers who want to learn Haskell. [If you're a Haskell expert already, but know people who might be interested in these courses, feel free to forward this mail.] Fast Track to Haskell --------------------- October 8-9 http://skillsmatter.com/course/haskell/well-typed-fast-track-to-haskell/wt-… A two-day introduction to Haskell assuming no previous Haskell or functional programming experience. Covers everything from Haskell syntax over how to define Haskell functions and datatypes up to IO and monads. Advanced Haskell ---------------- October 11-12 http://skillsmatter.com/course/haskell/well-typed-advanced-haskell/wt-4939 A two-day course for people with basic Haskell experience who want to take their Haskell skills to the next level. Covers functional data structures, profiling Haskell programs, concurrency and parallelism, programming patterns and type-level programming. The courses are designed such that they can be taken both individually and in sequence. On the day in between, October 10, Skills Matter is organizing the Haskell eXchange, a one-day conference featuring talks by Simon Peyton Jones, Simon Marlow, Lennart Augustsson, Blake Rain, Duncan Coutts and Rob Harrop. http://skillsmatter.com/event/haskell/haskell-exchange-2012 Registration for all these events is open. I hope to see many of you there. Cheers, Andres -- Andres Löh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com

1 0

Descriptions of the various medications
by mmm forever 19 Sep '12

19 Sep '12

Viral diseases There are many viral diseases. Let's talk about the most common ones. Let's start with the flu virus. There are many laboratories around the world who regularly completion of stockpile vaccines and drugs to treat it. The influenza virus is most studied infectious agents. It should be noted that the epidemic virus Grip occur every year, and every few decades the epidemic of influenza is becoming a pandemic. The influenza virus has the ability to quickly change their structure. These changes affect the surface proteins - antigens, which recognizes the human immune system. Immunity of a man who developed a in contact with a variety of virus is not able to recognize the other, and when she begins her infection recognize only after full development of the disease. Antigenic variation is the ability of the virus to change its structure. It is because of her flu occur regularly. This regularity is alien to other infections, and only because of it being infected with influenza most people. Antigenic variation is of two kinds. First - antigenic drift, the second - antigenic shift. Antigenic drift - it mutations affecting two major viral proteins - hemagglutinin (H), which provides introduction of the pathogen in human cells, and neuraminidase (N), which is responsible for the output of mutated viruses from the cell. The emergence of antigenic drift is due to the fact that the enzyme, which doubles the viral RNA in the process of creating new viruses, no function of protection against errors that occur during the synthesis. These errors and lead to a mutation of the pathogen. The very same process of antigenic drift leads to a gradual change in the structure of the influenza virus, which causes it to partial or complete neuznavaniyu human immune system. It is for this reason there is a need systematically change the antigens included in the flu vaccine. Antigenic shifts - are the most significant changes in the antigenic composition of the virus. Promotes emergence antegennyh shifts that influenza can affect not only human cells, but also of animals: pigs, horses, birds, etc. In cases where the body there is more than one species of the virus, is the exchange of entire genes between viruses, thereby producing new strains of influenza, which in most cases are more aggressive than the original ones. This process and called antigenic shift. Now a wide range of antiviral drugs that you can to *buy* in our *online pharmacy <http://superpills.blogspot.com/>*. The best effect of these drugs is achieved in situations where they are beginning to use when detecting the first symptoms of influenza infection, but they are also able to facilitate the course of the disease at any stage.

1 0