- Haskell - Haskell.org

MSFP call for participation
by Venanzio Capretta 03 Aug '10

03 Aug '10

CALL FOR PARTICIPATION Third Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 September 2010, Baltimore, Maryland, 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. PROGRAMME 9:00 - 10:00 Invited talk: Amy Felty, "Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle" 10:00 - 10:30 break 10:30 - 11:00 Chantal Keller and Thorsten Altenkirch, "Normalization by hereditary substitutions" 11:00 - 11:30 Paul Tarau, "Hereditarily finite representations of natural numbers and self delimiting codes" 11:30 - 12:30 Tutorial: Adam Chlipala, "Foundational Program Verification in Coq with Automated Proofs" 12:30 - 2:00 lunch break 2:00 - 3:00 Invited talk: Martín Escardó, "What Tic-Tac-Toe, the Tychonoff Theorem, and the Double-Negation Shift have in common" 3:00 - 3:30 break 3:30 - 4:00 Kazuyuki Asada, "Arrows are Strong Monads" 4:00 - 4:30 Adam Gundry, Conor McBride and James McKinna, "Type inference in context" 4:30 - 5:00 break 5:00 - 6:00 Tutorial: Peter Morris, "Epigram Prime: A Demonstration" Workshop homepage: http://cs.ioc.ee/msfp/msfp2010/ Registration link: https://regmaster3.com/2010conf/ICFP10/register.php Local arrangements: http://www.icfpconference.org/icfp2010/local.html

1 0

ANNOUNCE: parsec2 - a fork or parsec circa 2.1
by Antoine Latter 02 Aug '10

02 Aug '10

Hello, I would like to announce the parsec2 package, which is a maintained fork of the parsec library as of version 2.1.0.1. This project is for folks who would like to use the simpler interface and fewer extensions relative to parsec-3.0+, but don't want to rely on an old version of a package on hackage. Parsec is designed from scratch as an industrial-strength parser library. It is simple, safe, well documented (on the package homepage), has extensive libraries and good error messages, and is also fast. Changes relative to parsec-2.1.0.1: * Added haddocks done for parsec-3 * in Parsec.Token, sort names after accounting for case sensitivity, not before from: Greg Fitzgerald When I say that I'm maintaining the parsec2 package, that means I am accepting bugfix patches and doing work to ensure that the package builds on the current version of GHC. Patches are welcome to support building on any other Haskell implementations. Any inovations in the field of parser combinators will be happening in other venues. Documentation patches are also welcome. I'm not quite sure what to do about the fact that both parsec2 and mainline parsec provide modules of the same name. If there's motion towards using the parsec2 package, we might be able to deprecate and then retire the compatibility layer provided by parsec-3.*. Links: On Hackage: http://hackage.haskell.org/package/parsec2-1.0.0 Source repository: darcs get http://code.haskell.org/parsec2/parsec2 Report a bug: http://trac.haskell.org/parsec2/newticket Antoine

1 0

ANN: syz-0.2.0.0
by Michael D. Adams 28 Jul '10

28 Jul '10

Hi all, This years Workshop on Generic Programming includes a generic zipper for Haskell that defines a Zipper type permitting zipper traversals over arbitrary instances of Data. A Haskell library based on those ideas is now available from Hackage at: http://hackage.haskell.org/package/syz Right now the documentation is very minimal so the best guide would be to have a look at the paper which includes a small tutorial. A pre-print is available at: http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/ Bug reports as well as suggestions, feedback or contributions to the library or the documentation are most welcome and should be sent to me at adamsmd-AT-cs-DOT-indiana-DOT-edu. Michael D. Adams Ph.D. Student Indiana University http://www.cs.indiana.edu/~adamsmd/

1 0

VSTTE 2010: Third Call for Participation -- Early Registration ends this week!
by Gudmund Grov 28 Jul '10

28 Jul '10

(Apologies if you receive multiple copies of this announcement) ***************************************************************** *** Second Call for Participation -- Early Registration ends this week! *** Third International Conference on Verified Software: Theories, Tools, and Experiments Edinburgh, Scotland August 16th-19th, 2010 http://www.macs.hw.ac.uk/vstte10 SPONSORS: NSF, EPSRC, Microsoft Research, SICSA, Altran Praxis, SSEI, FME, Contemplate, Heriot-Watt University ****************************************************************** The Third International Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich (2005) and a successful conference in Toronto (2008). This conference is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. PROGRAMME The programme includes - Keynote presentations by Tom Ball (Microsoft), Gerwin Klein (National ICT Australia), and Matthew Parkinson (University of Cambridge); - Invited Tool Demo Presentations by Colin O’Halloran (ClawZ/Circus) , Bart Jacobs (VeriFast), Michael Jastram (ProB) and Joe Kinry (BONc/Beetlz); - A Verification Competition; - Industrial Tool Vendors; - Two workshops: Theory WS and Tools & Experiments WS; - A Summer School -- lectures given by Robert Atkey/Ewen Maclean, Alan Bundy/Lucas Dixon, Jane Hillston, Cliff Jones, Gerwin Klein, J Strother Moore, Natarajan Shankar and Graham Steel. A provisional programme is available at: http://www.macs.hw.ac.uk/vstte10/Programme.html VENUE VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh. The conference dates coincide with the 2010 Edinburgh International Festival and the Edinburgh Festival Fringe -- collectively the largest annual arts festival on the planet! The technical programme will take place in the Edinburgh Conference Centre (Heriot-Watt University campus), where accommodation will be available at very competitive rates for festival time. Social events will be arranged within the city centre, making VSTTE an unique cultural and scholarly event for 2010! SOCIAL EVENTS As well as a welcome reception and conference banquet, SICSA are sponsoring a special drinks reception in the Informatics Forum at the heart of the Festival on August 17th. STUDENT SUPPORT Support for students wishing to attend VSTTE 2010 is available. Please contact vstte10(a)macs.hw.ac.uk for more details. REGISTRATION Online registration is available from http://www.macs.hw.ac.uk/vstte10_reg/Registration.php Early registration ends on July 31st. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

ANNOUNCE: jhc 0.7.4
by John Meacham 27 Jul '10

27 Jul '10

Announcing jhc 0.7.4! There have been a few major changes, the main one being that there is now support for a garbage collector. This drastically increases the number of programs which are feasable to compile with jhc. http://repetae.net/computer/jhc/ Any testing people can do with -fjgc would be greatly appreciated! My gameplan is to fix any issues that come up with the new gc and release a 0.7.5 that will have the GC enabled by default. This will probably be the first version of jhc I can recommend to non-developers with a good concience :). Once that is done I can implement a good strategy for library compatibility with other compilers and the standards. As it is, jhc has a mix of haskell 98 and haskell 2010 and the ghc base as its distributed libraries, basically whatever I found I needed in practice I added as I went along. This won't work in the long run. Major changes * a garbage colletor which can be enabled with '-fjgc' is available. after some more testing, I will make it the default in the 0.7.5 release. * A new memory allocator based on Jeff Bonwick's slab memory allocator for kernels. This means that in many cases, memory can be pulled off a slab and immediately used with no initialization, in addition, it allowed a rearrangement of the GC meta-data to optimizally use the cache. * packed representation of algebraic types, 'Maybe Foo' is actually represented in memory as a NULL pointer or just a 'Foo' with no tag bits. Combined with the slab allocator, this can double the number of some common values that can be put in a cache line. * some intense profiling of generated code and modification of the rts and code generator. Signifigant speed-ups in compiled programs are the result. Some other changes since 0.7.3 are * documentation updates, especially when it comes to the runtime. * ghc 6.12 support (it is in fact required now.) * no more monolithic 'Main'. the core pass moved to E.Main and the grin pass moved to Grin.Main. * generated C code is more compact and easier to debug. * more use of bytestring internally, improved performance * JHC_RTS_INCLUDE flag allows including the rts from an external file. useful for debugging/developing the RTS. * explicit register support in grin, for alternate back ends such as a NCG * Removed all compiler magic dealing with Eq,Bounded,Ord, and Bits. instances for these are specified in haskell code even for built in types now. * cleaned out some obsolete flags and options on command line. * updated applicative and support for newest version of 'containers' library. * bug updates * various bug fixes Below is the announcment for 0.7.3 in case you missed it. 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. 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 - 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 Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/

2 2

"New FGL" naming survey
by Ivan Lazar Miljenovic 24 Jul '10

24 Jul '10

Whether or not the new FGL that Thomas Bereknyei and I are working on should keep the name was a semi-hot issue when we first mentioned the fact that we were working on a new version about a month ago. As such, I've created a survey here to try and find out what the Haskell community overall thinks we should call it: https://spreadsheets.google.com/viewform?formkey=dGpzMmFnUWY3Uktodk5wdHlLQk… More info can be found on the actual survey page. -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com IvanMiljenovic.wordpress.com

2 2

ANNOUNCE: Haskell Platform 2010.2.0.0
by Don Stewart 23 Jul '10

23 Jul '10

We're pleased to announce the fifth release of the Haskell Platform: a single, standard Haskell distribution for everyone. Download the Haskell Platform 2010.2.0.0: http://hackage.haskell.org.nyud.net/platform/ (Caching server). The specification, along with installers (including Windows, Apple and Unix installers for a full Haskell environment) are available. The Haskell Platform is a single, standard Haskell distribution for every system, in the form of a blessed library and tool suite for Haskell distilled from the thousands of libraries on Hackage, along with installers for a wide variety of systems. It saves developers work picking and choosing the best Haskell libraries and tools to use for a task. When you install the Haskell Platform, you get the latest stable compiler, an expanded set of core libraries, additional development tools, and cabal-install – so you can download anything else you need from Hackage. What you get is specified here: http://hackage.haskell.org/platform/contents.html Thanks! -- The Platform Infrastructure Team

1 0

ANNOUNCE: jhc 0.7.5
by John Meacham 22 Jul '10

22 Jul '10

Announcing jhc 0.7.5! This mainly fixes some bugs that came up in peoples testing of 0.7.4 and includes a lot more libraries in the standard install and better standards support. http://repetae.net/computer/jhc/ Any testing people can do with the new garbage collector -fjgc would be greatly appreciated! As far as I know, this release has no regressions when using the new GC, so it will be enabled by default if I get no reports of problems with this release. Major changes * The Garbage Collector now fully supports the Windows, OSX 10.5 (leapord), and OSX 10.6 (snow leapord) targets. * Lots of libraries, now that I have a somewhat general script to cut through the cabal the following are now included with the default install - haskell98 - flat-foreign (CForegin, etc..) - jhc - base (not the same as ghcs base, close enough for most tasks though) - applicative - containers - Diff - html - HUnit - pretty - safe - smallcheck - utility-ht - xhtml * updates to base libraries to bring them closer to haskell 2010 and ghc base. - updated Functor and Applicative - added Debug.Trace - added a few functions in h2010 not in h98 * support for adding valgrind annotations to generated source for debugging the RTS. * support for having the generated code annotate every heap location with useful profiling/debugging info. useful for debugging the RTS. * support for passing --win to the regression test driver to run all the tests cross-compiled for windows. * The Big HsName cleanup, finally got rid of old alegebraic HsName in favor of abstract Name and its faster operations, faster typechecking/frontend and code simplification opprotunities result. * improve the selftest. * bug fixes John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/

1 0

Call for Papers: TTSS'10 (4th International Workshop on Harnessing Theories for Tool Support in Software)
by Clemens Grelck 21 Jul '10

21 Jul '10

TTSS'10 — Call for Papers 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10 15. November 2010 East China Normal University, Shanghai, China Satellite event of ICFEM 2010 http://www.iist.unu.edu/ttss10/ Conference Topics ******************* The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about: * How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency, scheduling, and non-functional requirements * How to ensure correctness and dependability of software by integrating formal methods and tools for modeling, design, verification and validation into design and development processes and environments. Case studies and experience reports about harnessing static analysis tools such as model checking, theorem proving, testing, as well as runtime monitoring. The workshop will provide enough time for discussion on problems and research. Each presentation will be 25 minutes followed by 10 minutes discussion. Topics of interest include, but are not limited to, the following areas: * Models, calculi, and tool support for component-based and object-oriented software; * Mathematical frameworks, methods and tools for model-driven development; * Models, calculi, and tool support for integrating different scheduling, interaction and concurrency models in highly adaptable systems. Submission ************ TTSS invites authors to submit original and unpublished work. Submissions should include an abstract, key words, the e-mail address of the corresponding author, and must not exceed 15 pages using ENTCS style. Proceedings will be published as ENTCS. Further details are available from the workshop web-site http://www.iist.unu.edu/ttss10/. Selected papers of TTSS 2007-2010 will be invited to a special journal issue of Innovations in Systems and Software Engineering by Springer. Important Dates ***************** Submission deadline: 22. September 2010 (Wednesday, strict) Notification of acceptance: 1. October Workshop: 15. November 2010, ECNU, Shanghai, China Program Chairs **************** Min Zhang East China Normal University, China Volker Stolz University of Oslo, NO & UNU-IIST, Macau SAR, China Program Committee Members Luis Barbosa Universidade do Minho, Portugal Wei Dong National University of Defense Technology, China Clemens Grelck University of Amsterdam, NL Ralf Huuck NICTA, Australia Peter Gorm Larsen Engineering College of Aarhus, DK Einar B. Johnsen University of Oslo, Norway Carlo Montangero University of Pisa, Italy Thomas Noll RWTH Aachen University, Germany Jun Pang Univ. Luxembourg, Luxembourg Anders P. Ravn Aalborg University, Denmark Wuwei Shen Western Michigan University, US Axel Simon TU München, Germany R. Venkatesh TATA, India Michael Weber Univ. Twente, The Netherlands Naijun Zhan Institute of Software, CAS, China -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 107 Universitair Docent 1098 XG Amsterdam Nederland Universiteit van Amsterdam Instituut voor Informatica T +31 (0) 20 525 7578 F +31 (0) 20 525 7419 Office F2.46 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

ANNOUNCE: vorbiscomment 0.0.1
by Chris Wagner 21 Jul '10

21 Jul '10

I'm happy to announce that I have packaged up my first Haskell library, vorbiscomment, which allows for reading of "Vorbis comments" from Ogg Vorbis files. The code is rugged and surely buggy, but any feedback, patches, etc. are more than welcome. I do have a specific question in releasing this, and you can respond to my personal email address if this mailing list is not appropriate for discussion, but I'm wondering where my library's functionality should live within the module hierarchy. At present, I have simply placed it in a top-level "Vorbis" module, but this is surely not the proper place for it. And another quick note: I hope to create a wrapper library for general meddling with audio-file metadata. This would allow for reading/editing ID3, Vorbis comments, etc. all through a standard interface. With my vorbiscomment library and the "idiii" library available on HackageDB, the two most important tag formats (to me, anyway) are already covered. If anyone has any comments regarding this idea, please let me know. (Again, the question of where the functionality should live in the module hierarchy comes to mind...) Thanks, Chris Wagner

1 0