[Haskell] Haskell Weekly News: Issue 151 - February 28, 2010
--- Haskell Weekly News http://sequence.complete.org/hwn/20100228 Issue 151 - February 28, 2010 --- Welcome to issue 151 of HWN, a newsletter covering developments in the [1]Haskell community. A light HWN this week, some interesting discussion about view patterns and free monads. Also announced this week was [2]TryHaskell a work-in-progress online interactive haskell interpreter and tutorial. The author (based on his reddit post) has asked us not to post this to proggit yet, but I don't think he'll mind a plug here. So after you're done reading, give it a try! Until next week, haskellers, your Haskell Weekly News. Announcements wxHaskell for ghc-6.12.1. Daniel Fischer [3]announced a new release of wxHaskell. concurrent-extra-0.2. Roel van Dijk [4]announced a new release of concurrent-extra jhc-0.7.3. John Meacham [5]announced a new version of jhc, including many bug fixes. Try Haskell! An interactive tutorial in your browser. Benjamin L. Russell [6]told us about the TryHaskell Project, available at [7]TryHaskell.org. TryHaskell is an interactive, online Haskell interpreter and tutorial. MSFP: Call for Papers. Venanzio Capretta [8]announced a call for papers for the Third Workshop on Mathematically Structured Functional Programming. HLedger 0.8. Simon Michael [9]announced a new version of hledger last week, but it slipped through my radar. This release includes bug fixes, some refactoring, and High-Res Graphical Chart generation capability. Discussion View patterns. Andrew Coppin [10]asked about making view patterns polymorphic. What are 'free' Monads? Guenther Schmidt [11]asked what exactly it meant to be a 'free monad' Multiple Interpretations for a monad? Guenther Schmidt [12]asked about monads which can have multiple levels of meaning and interpretation. Blog noise [13]Haskell news from the [14]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Joachim Breitner: [15]Exploiting sharing in arbtt. * Martijn van Steenbergen: [16]Colors in GHCi. * Don Stewart (dons): [17]Evaluation strategies and synchronization: things to watch for. * Don Stewart (dons): [18]Fusion makes functional programming fun!. * Michael Snoyman: [19]Simpler is Better. * Kevin Reid (kpreid): [20]Hvm.hs: an exercise in Haskell golf. * Bryn Keller: [21]Why Isn't Cabal Installed with GHC?. * Don Stewart (dons): [22]Modern Benchmarking in Haskell. Quotes of the Week * roconnor: sounds like you need a zygohistomorphic prepromorphism * copumpkin: These are not the monads you are looking for. * noggle: this language is like having programming super powers About the Haskell Weekly News New editions are posted to [23]the Haskell mailing list as well as to [24]the Haskell Sequence and [25]Planet Haskell. [26]RSS is also available, and headlines appear on [27]haskell.org. To help create new editions of this newsletter, please see the information on [28]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [29]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://tryhaskell.org/ 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70857 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70689 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70961 6. http://article.gmane.org/gmane.comp.lang.haskell.general/17819 7. http://tryhaskell.org/ 8. http://article.gmane.org/gmane.comp.lang.haskell.general/17818 9. http://www.haskell.org/pipermail/haskell-cafe/2010-February/073185.html 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70895 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70874 12. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70800 13. http://planet.haskell.org/ 14. http://haskell.org/haskellwiki/Blog_articles 15. https://www.joachim-breitner.de/blog/archives/381-Exploiting-sharing-in-arbtt.html 16. http://martijn.van.steenbergen.nl/journal/2010/02/27/colors-in-ghci/ 17. http://donsbot.wordpress.com/2010/02/26/evaluation-strategies-and-synchronization-things-to-watch-for/ 18. http://donsbot.wordpress.com/2010/02/26/fusion-makes-functional-programming-fun/ 19. http://snoyberg.wordpress.com/2010/02/26/simpler-is-better/ 20. http://kpreid.livejournal.com/23060.html 21. http://www.xoltar.org/?p=33 22. http://donsbot.wordpress.com/2010/02/23/modern-benchmarking-in-haskell/ 23. http://www.haskell.org/mailman/listinfo/haskell 24. http://sequence.complete.org/ 25. http://planet.haskell.
[Haskell] ANNOUNCE: jhc-0.7.3
It's been a long time coming, but jhc-0.7.3 is here. If you have been following the darcs repository, there are not a whole lot of new changes, but there have been substantial fixes since 0.7.2 for those that use the tarballs or rpms. http://repetae.net/computer/jhc/ One of the most important ones is I have begun the process of standardizing on YAML for all external interfaces that may be useful to automation, this should make interfacing jhc with external tools written in any language much easier, and it will prevent me from spending time trying to invent proprietary formats every time I think of something new to spit out. right now it is used in 3 places: - dumping dependency info with --deps - library dumping with --list-libraries -v - annotating source code, for inputting to documentation generators via --annotate-source The main place it isn't used yet that I desire too is to replace the 'cabal' library description format with a true YAML file. jhc cabal files were never quite compatible with cabal ones anyway and naming them the same thing has been a source of connfusion. some of the other changes have been: features: - a lot more regression tests, many user submitted bugs are now regressions (or fixed) - support for using 'mock' to build rpms - System.Exit, System.Cmd added to base - better compatibility with ghc in some library functions - ui improvements in showing progress and errors - extended --list-libraries info - --deps dependency dumping - more francise compatible thanks to patches from droundy - more instances for bigger tuples added - uses editline if readline not available - select libraries by hash as well as version - add System.IO.Pipe - detect version of gcc needed for cross compiling to windows performance: - storage analysis - a very basic region inference enabled by default - deadcode analysis can see through partial applications now - profiled and sped up some library routines that were producing inellegant core. - figure out when top level grin functions call themselves recursively and turn them into explicit loops. bug fixes: - do expression in infix - fix strict newtype bug - U2U bug fixed - desugaring inside of list comprehensions fix - c generator doesn't mess up on unknown values - the compiler version is stored in the cache files, so multiple versions of jhc don't clobber each others cache entries - Ord instance for lists fixed - recursive type synonyms detected properly - make sure errno.h is included when errno is referenced - don't give a parse error when seeing ghc extensions to INLINE - qualified method names fix John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/ ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] ANN: Try Haskell! An interactive tutorial in your browser
On 1 March 2010 11:21, Hector Guilarte wrote: > I tried it and it worked perfectly, however I tried it again 45 minutes > later (about 15 minutes ago) and when I pressed Enter nothing happened. I > couldn't enter any expressions. The only expression I could enter was help > Hector "stepN" works for me as well (with N \in Z^+). -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] ANN: Try Haskell! An interactive tutorial in your browser
Nice! I tried it and it worked perfectly, however I tried it again 45 minutes later (about 15 minutes ago) and when I pressed Enter nothing happened. I couldn't enter any expressions. The only expression I could enter was help Hector On Sun, Feb 28, 2010 at 6:18 PM, Benjamin L. Russell wrote: > According to the top page of HaskellWiki (see http://www.haskell.org/) > (under "February 2010" under "1 Headlines"), there is an alpha version > of a new interactive, online Haskell interpreter entitled "Try Haskell!" > at http://tryhaskell.org/. > > The top panel of the page features an interactive interpreter, while the > bottom panel features a text tutorial. The user types in commands > in the top panel according to the text tutorial, and the interpreter > responds with output. There is also a "Reset" button in the upper right > corner of the tool which resets the state of both panels to the default > state. > > I just tried it out, and it appears to have been completed up to Lesson > 3. So far, it apparently teaches up to lists. It was fun to try out. > > This tutorial somehow reminded me of an interactive Scheme tutorial, > "Lists And Lists," copyrighted in 1996 by Andrew Plotkin, at > > http://parchment.googlecode.com/svn/trunk/parchment.html?story=http://parchment.toolness.com/if-archive/games/zcode/lists.z5.js > . > That tutorial was arranged in the style of an adventure game, while this > tutorial is more similar to a very similar Ruby tutorial, "try ruby! (in > your browser)" at http://TryRuby.org/. > > It could be fun if somebody could come up with a Haskell version of > the above-mentioned"Lists And Lists," which also includes a text-based > Scheme reference on the virtual computer within the adventure game. > > -- Benjamin L. Russell > -- > Benjamin L. Russell / DekuDekuplex at Yahoo dot com > http://dekudekuplex.wordpress.com/ > Translator/Interpreter / Mobile: +011 81 80-3603-6725 > "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ > > ___ > Haskell mailing list > Haskell@haskell.org > http://www.haskell.org/mailman/listinfo/haskell > ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] ANN: Try Haskell! An interactive tutorial in your browser
According to the top page of HaskellWiki (see http://www.haskell.org/) (under "February 2010" under "1 Headlines"), there is an alpha version of a new interactive, online Haskell interpreter entitled "Try Haskell!" at http://tryhaskell.org/. The top panel of the page features an interactive interpreter, while the bottom panel features a text tutorial. The user types in commands in the top panel according to the text tutorial, and the interpreter responds with output. There is also a "Reset" button in the upper right corner of the tool which resets the state of both panels to the default state. I just tried it out, and it appears to have been completed up to Lesson 3. So far, it apparently teaches up to lists. It was fun to try out. This tutorial somehow reminded me of an interactive Scheme tutorial, "Lists And Lists," copyrighted in 1996 by Andrew Plotkin, at http://parchment.googlecode.com/svn/trunk/parchment.html?story=http://parchment.toolness.com/if-archive/games/zcode/lists.z5.js. That tutorial was arranged in the style of an adventure game, while this tutorial is more similar to a very similar Ruby tutorial, "try ruby! (in your browser)" at http://TryRuby.org/. It could be fun if somebody could come up with a Haskell version of the above-mentioned"Lists And Lists," which also includes a text-based Scheme reference on the virtual computer within the adventure game. -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^ ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] MSFP: Call for Papers
Third Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 September 2010, Baltimore, USA A satellite workshop of ICFP 2010 PRESENTATION The workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Monadic programming in Haskell is the paradigmatic example, but there are many more mathematical insights manifest in programs and in programming language design: Freyd-categories in reactive programming, symbolic differentiation yielding context structures, and comonadic presentations of dataflow, to name but three. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006. Selected papers were published as a special issue of the Journal of Functional Programming (volume 19, issue 3-4). The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. SUBMISSIONS Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Programme Committee members, barring the co-chairs, may (and indeed are encouraged to) contribute. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. We are using the EasyChair software to manage submissions. To submit a paper, please log in at: http://www.easychair.org/conferences/?conf=msfp2010 The workshop proceedings will be published by ACM. TIMELINE: Submission of abstracts: 9 April Submission of papers: 16 April Notification: 28 May Final versions due: 25 June Workshop: 25 September For more information about the workshop, go to: http://cs.ioc.ee/msfp/msfp2010/ Programme Committee * Andreas Abel, LMU Munich, Germany * Ana Bove, Chalmers University of Technology, Gothenburg, Sweden * Andrej Bauer, University of Ljubljana, Slovenia * Venanzio Capretta (co-chair), University of Nottingham, UK * James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia * Adam Chlipala, Harvard University, Cambridge, MA, USA * Catarina Coquand, Chalmers University of Technology, Gothenburg, Sweden * Karl Crary, Carnegie Mellon University, Pittsburgh, USA * Manuel Alcino Cunha, Universidade do Minho, Braga, Portugal * Andy Gill, University of Kansas, USA * Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina * Oleg Kiselyov, FNMOC, Monterey, California, USA * Lionel Elie Mamane, Radboud University Nijmegen, The Netherlands * Conor McBride, University of Strathclyde, Glasgow, UK * Greg Morrisett, Harvard University, Cambridge, MA, USA * Russell O'Connor, McMaster University, Hamilton, Ontario, Canada * Benoit Razet, TIFR (Tata Institute of Fundamental research), India * Carsten Schrmann, IT University of Copenhagen, Denmark * Wouter Swierstra, Chalmers University of Technology, Gothenburg, Sweden * Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia * Varmo Vene, University of Tartu, Estonia ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell