- Haskell - Haskell.org

TYPES 2009
by Christophe Raffalli 19 Apr '09

19 Apr '09

Dear list members, Tomorow Monday is the last day to register on the TYPES 2009 website if you want to pay reduced fee. Later registration is still possible and talk submission to. We will probably (as every year) publish post proceedings with good referee. The TYPES workshop cover theory ptractice and application of type theory. More detail and registration on the website http://www.lama.univ-savoie.fr/types09. Yours sincerely, The organizing commitee.

1 0

ANN: persistent-map-0.0.0
by Peter Robinson 19 Apr '09

19 Apr '09

The persistent-map package [1] provides a thread-safe (STM) frontend for finite map types together with a backend interface for persistent storage. The TMap data type is thread-safe, since all access functions run inside an STM monad . Any type that is an instance of Data.Edison.Assoc.FiniteMapX (see EdisonAPI) can be used as a map type. If a TMap is modified within an STM transaction, a corresponding backend IO-request is added using the onCommit hook (cf. stm-io-hooks package). To ensure consistency, the (Adv)STM monad runs these requests iff the transaction commits. Additional backends (e.g. HDBC) can be added by instantiating class Backend. Cheers, Peter [1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/persistent-map

1 0

Announce: A pragmatic Haskell .NET interop layer, 0.4.0
by Sigbjorn Finne 18 Apr '09

18 Apr '09

A new version of a Haskell .NET interop layer, hs-dotnet, has just been released and is now available for download, http://haskell.forkIO.com/dotnet It lets you access .NET functionality from Haskell and vice versa. Tool support is included in this release to aid such interop. The new version includes development done since the start of the year. Apart from rewriting the internals completely to put it all on a sounder footing, this release includes proper support for .NET generic types (classes and interfaces), mapping them naturally on to Haskell parameterized types. The support for generics enables for instance mixed Haskell-.NET LINQ programming; see the distribution for examples of this along with some other interesting applications of the hs-dotnet interop layer. enjoy --sigbjorn

1 0

Re: Hi-res/vector version of logo?
by Jared Updike 18 Apr '09

18 Apr '09

LOGO VARIATION GENERATOR With some encouragement and feedback from Jeff Wheeler and Eelco Lempsink, I created a "Polymorphic" SVG Haskell Logo in Haskell [1]. This script yields a pile of SVG files and an HTML index showing them off (known to work in Safari 3.0 and Firefox 2.0) [1]: https://dl.getdropbox.com/u/143480/Haskell-logo/svg-test.html The above Logo.hs program (or small tweaks to it) should hopefully yield all of the variations of the Winning Logo that Jeff Wheeler posted [2] with one caveat: no text/fonts/the word "Haskell". (Note that I am not advocating that all of these designs be voted on, only showing what variations have been dreamt up thus far... Keep reading for my own design submission.) FINAL VARIATION VOTING Eelco Lempsink agreed with me that getting the community to pin down just the icon/emblem part of the logo (for use on the Haskell wiki, Wikipedia article on Haskell, Haskell reddit, derivative logos, etc.) would be enough work, and better than trying to vote simultaneously on an emblem design AND an official Haskell font presentation. What do people think of this idea? (If folks still feel the need for an official "Haskell" font we could always work out pairing text with the winner of the Logo Variation vote... but I say we worry about this later.) In addition, Eelco said: > I think letting people submit only one entry might be a good > way to limit the options and prevent us from having an exhaustive search in > the design space ;) I agree, and in the spirit of collaboration I am turning my design variation generator program (Logo.hs above) over to the community (public domain, as Jeff Wheeler has done with his winning logo designs) to hack on in the hopes that we will see some nice designs come out of this. If we get enough entries (n >= 2) we can set up a vote for the Final Logo Variation and revitalize the Haskell home page. [3] ONE POSSIBLE DESIGN In the spirit of competition, I created my own take on the purple/teal Haskell logo. (Note that this variation started as output from my program to which I manually added effects in Inkscape; it was not generated by my software, although it could be....) Unfortunately browsers are not as advanced at rendering SVG as Inkscape so I am submitting PNGs (which we probably want in the end, anyway) of my entry: https://dl.getdropbox.com/u/143480/Haskell-logo/pngs.html as well as the original Inkscape SVG [4] in the hopes that it will inspire others to submit better variations with different effects---but remember: please only submit a single entry of your best idea. All of these logo variations have sort of melted my brain but I hope the community is still excited to settle on a final logo variation once we see some design offerings. Feedback is appreciated, and thanks to everyone who has contributed designs so far. [5] Jared. [1] The Logo Variation Generator: https://dl.getdropbox.com/u/143480/Haskell-logo/Logo.hs I am willing to clean this code up and package it for Hackage, as well as add support for PDF (through Asymptote), if the winning variation is based on this code and the community wants a go-to Haskell-Logo package. [2] http://media.nokrev.com/junk/haskell-logos/ [3] Simulation Haskell.org: https://dl.getdropbox.com/u/143480/Haskell-logo/hask.html Simulation Wikipedia article: https://dl.getdropbox.com/u/143480/Haskell-logo/wikipedia-hask.html [4] Warning: the drop shadow looks terrible in browsers (Load in Inkscape): https://dl.getdropbox.com/u/143480/Haskell-logo/inkscape3-normal-partround-… [5] Brian Sniffen (MetaPost): http://evenmere.org/~bts/haskell-logo/ Don Stewart (SVG): http://galois.com/~dons/images/logos/logo-bezier.svg Philip Hölzenspies: (TeX logo!): http://wwwhome.cs.utwente.nl/~holzensp/haskelllogo.sty Darrin Thompson (ASCII): http://www.ultraviolet.org/mail-archives/haskell-cafe.2008/msg14574.html and everyone who shared their ideas freely...

1 0

ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release
by atze＠cs.uu.nl 18 Apr '09

18 Apr '09

Utrecht Haskell Compiler -- first release, version 1.0.0 ======================================================== The UHC team is happy to announce the first public release of the Utrecht Haskell Compiler (UHC). UHC supports almost all Haskell98 features plus many experimental extensions. The compiler runs on MacOSX, Windows (cygwin), and various Unix flavors. Features: * Multiple backends, including a bytecode interpreter backend and a GRIN based, full program analysing backend, both via C. * Experimental language extensions, some of which have not been implemented before. * Implementation via attribute grammars and other high-level tools. * Ease of experimentation with language variants, thanks to an aspect-oriented internal organisation. Getting started & Download -------------------------- UHC is available for download as source distribution via the UHC home page: http://www.cs.uu.nl/wiki/UHC Here you will also find instructions to get started. Status of the implementation ---------------------------- Like any university project UHC is very much work in progress. We feel that it is mature and stable enough to offer to the public, but much work still needs to be done; hence we welcome contributions by others. UHC grew out of our Haskell compiler project (called Essential Haskell Compiler, or EHC) over the past 5 years. UHC internally is organised as a combination of separate aspects, which makes UHC very suitable to experiment with; it is relatively easy to build compilers for sublanguages, or to generate related tools such as documentation generators, all from the same code base. Extensions to the language can be described separately, and be switched on or of as need arises. Warning ------- Although we think that the compiler is stable enough to compile subtantial Haskell programs, we do not recommend yet to use it for any serious development work in Haskell. We ourselves use the GHC as a development platform! We think however that it provides a great platform for experimenting with language implementations, language extensions, etc. Mailing lists ------------- For UHC users and developers respectively: http://mail.cs.uu.nl/mailman/listinfo/uhc-users http://mail.cs.uu.nl/mailman/listinfo/uhc-developers Bug reporting ------------- Please report bugs at: http://code.google.com/p/uhc/issues/list The UHC Team -- Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)cs.uu.nl ............ / |___\

1 0

Haskell Weekly News: Issue 114 - April 17, 2009
by Brent Yorgey 17 Apr '09

17 Apr '09

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20090417 Issue 114 - April 17, 2009 --------------------------------------------------------------------------- Welcome to issue 114 of HWN, a newsletter covering developments in the [1]Haskell community. The [2]5th Haskell Hackathon is underway in Utrecht! Happy Haskell hacking! An early HWN this week since I will be traveling this weekend (but not, unfortunately, to the Hackathon). Announcements Reminder: Haskell Communities and Activities Report. Janis Voigtlaender [3]reminded everyone that the deadline for the [4]May 2009 edition of the Haskell Communities and Activities Report is only two weeks away. If you haven't already, please write an entry for your new project, or update your old entry. primes. Sebastian Fischer [5]announced the release of the [6]primes package, which implements lazy wheel sieves for efficient, purely functional generation of prime numbers in Haskell. level-monad-0.3. Sebastian Fischer [7]announced version 0.3 of the package [8]level-monad, which implements breadth-first search directly as an instance of MonadPlus (without using an intermediate tree representation). Version 0.3 adds a MonadPlus instance for iterative deepening inspired by Michael Spivey's paper on [9]Algebras for combinatorial search. hgettext 0.1.10. Vasyl Pasternak [10]announced a new release of the [11]hgettext package, which now has bindings to all gettext functions. Haskell logo in TeX. Philip Hölzenspies [12]announced a version of the new [13]Haskell logo design prepared using TikZ, for inclusion in LaTeX documents. The Monad.Reader (14) - Call for copy. Wouter Swierstra [14]issued a call for copy for Issue 14 of [15]The Monad.Reader. The deadline for submissions is May 15, 2009. Let Wouter know if you intend to submit something -- the sooner, the better. time 1.1.2.4. Ashley Yakeley [16]announced the release of [17]time 1.1.2.4, which should now compile on Windows. Discussion Code Golf. Sebastian Fischer [18]started a lively round of code golf with his code for list diagonalization. Converting IO [XmlTree] to [XmlTree]. rodrigo.bonifacio [19]asked how to convert an IO [XmlTree] into an [XmlTree], leading to a discussion of Haskell pedagogy. Blog noise [21]Haskell news from the [22]blogosphere. * Roman Cheplyaka: [23]Fun in Utrecht. * Roman Cheplyaka: [24]Utrecht: first impressions. * >>> Daniel van den Eijkel: [25]Hommage: Haskell Offline Music Manipulation And Generation EDSL. * >>> Brandon Simmons: [26]Some initial tests of Tries. * Christopher Lane Hinson: [27]Trends in Profiling Haskell. * >>> Larry O'Brien: [28]Windows & .NET Watch: Haskell: It's like Klingon, but with math!. * Sean Escriva: [29]Why Haskell is a joy to learn. * GHC / OpenSPARC Project: [30]Instruction counts on x86 vs SPARC. * Sebastian Fischer: [31]Barefaced pilferage of monadic bind. * Benjamin L. Russell: [32]Climbing the Towers of Hanoi with Haskell-style Curry from a Monadic Container (While Sparing the Sugar!). Quotes of the Week * Gracenotes: And then the type system goes all crazy and demands that x and 1 are both Word32s! * mauke: data What a = No; instance Monad What where { return _ = No; No >>= _ = No } * pumpkin: makes the next internet hit video, 2 natural transformations, 1 functor * mmorrow: a functor is like an analogy between two analogies * FliPPeh: @faq Can Conficker be rewritten in Haskell? <lambdabot> <no location info>: parse error on input `:' * HairyDude: The Haskell Type System is a Harsh Mistress.. there ain't no such thing as a free theorem. * LeCamarade: Now, let's say the set is {Haskell, SML, Ruby, Tomatoes, Human, Cabbage, Noise, IRC}. * pjdelport: YO DAWG I HERD YOU LIKE CARS SO WE PUT A PAIR IN YO CAR SO YOU CAN CAR WHILE YOU CAR * Babelfish: And there you travel: a beam tracer! Naturally, there are many things that ought to be amend. About the Haskell Weekly News New editions are posted to [33]the Haskell mailing list as well as to [34]the Haskell Sequence and [35]Planet Haskell. [36]RSS is also available, and headlines appear on [37]haskell.org. To help create new editions of this newsletter, please see the information on [38]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [39]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://haskell.org/haskellwiki/Hac5 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57075 4. http://www.haskell.org/pipermail/haskell/2009-April/021180.html 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/57042 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/primes 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56981 8. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/level-monad 9. http://spivey.oriel.ox.ac.uk/mike/search-jfp.pdf 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/56940 11. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hgettext 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17094 13. http://www.cs.utwente.nl/~holzensp/haskelllogo.sty 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17090 15. http://haskell.org/haskellwiki/The_Monad.Reader 16. http://article.gmane.org/gmane.comp.lang.haskell.libraries/10921 17. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/time 18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/56957 19. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/56898 21. http://planet.haskell.org/ 22. http://haskell.org/haskellwiki/Blog_articles 23. http://ro-che.blogspot.com/2009/04/fun-in-utrecht.html 24. http://ro-che.blogspot.com/2009/04/utrecht-first-impressions.html 25. http://substitut-fuer-feinmotorik.net/projects/haskellommage/introduction 26. http://coder.bsimmons.name/blog/2009/04/some-initial-tests-of-tries/ 27. http://blog.downstairspeople.org/2009/04/16/trends-in-profiling-haskell/ 28. http://www.sdtimes.com/content/article.aspx?ArticleID=33399 29. http://www.webframp.com/2009/04/15/why-haskell-is-a-joy-to-learn/ 30. http://ghcsparc.blogspot.com/2009/04/instruction-counts-on-x86-vs-sparc.html 31. http://www-ps.informatik.uni-kiel.de/~sebf/haskell/stealing-bind.html 32. http://dekudekuplex.wordpress.com/2009/04/13/climbing-the-towers-of-hanoi-w… 33. http://www.haskell.org/mailman/listinfo/haskell 34. http://sequence.complete.org/ 35. http://planet.haskell.org/ 36. http://sequence.complete.org/node/feed 37. http://haskell.org/ 38. http://haskell.org/haskellwiki/HWN 39. http://code.haskell.org/~byorgey/code/hwn/

2 1

REMINDER: Haskell Communities and Activities Report
by Janis Voigtlaender 17 Apr '09

17 Apr '09

Dear Haskellers, The deadline for the May 2009 edition of the Haskell Communities and Activities Report is only two weeks away. If you haven't already, please write an entry for your new project, or update your old entry. Please mail your entries to hcar(a)haskell.org in LaTeX format. More information can be found in the original Call for Contributions at: http://www.haskell.org/pipermail/haskell/2009-April/021180.html I look forward to receiving your contributions. Thanks a lot, Janis (current editor) -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de

1 0

[FMICS 2009] Deadline Extension to 20 April
by fmics2009＠dsic.upv.es 15 Apr '09

15 Apr '09

FMICS 2009 - DEADLINE EXTENSION TO 20 APRIL Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ * ** NEWS ** * * * * >> Deadline for abstracts: 16 April * * >> Deadline for papers (firm): 20 April * * * ************************************************************ ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.

1 0

Haskell logo in TeX (tested for TeXLive >= 2007)
by Philip Hölzenspies 15 Apr '09

15 Apr '09

Dear all, Seeing people throw the new logo around in different formats, I thought I would do it up in TikZ (for those that don't know: graphics embedded in LaTeX). For convenience, I wrapped it in a .sty file. If people find this useful, I will try and submit it to CTAN as well. I'm open for bug reports or feature requests. You do need a proper TeXLive installation (at least a relatively recent version of TikZ; check whether "kpsewhich pgfkeys.sty" says anything, in which case you should be fine). I will write up documentation for this before I put it onto CTAN, but for now, you will have to do with the example illustrating most options: \documentclass{article} \usepackage{haskelllogo} \begin{document} \haskelllogo[outlines,splitlambda] \haskelllogo[splitlambda] \haskelllogo[outlines] \haskelllogo[splitlambda, rangle color=green, lambda body color=red, lambda leg color=red!50!yellow, upper equals color=black, lower equals color=brown ] \haskelllogo[grayscale] \haskelllogo[splitlambda,grayscale] \haskelllogo[seventies] \haskelllogo[seventies,outlines] \end{document} The style is available at: http://www.cs.utwente.nl/~holzensp/haskelllogo.sty Enjoy! Regards, Philip

3 2

Fwd: RE: [Haskell] CFP Trends in Functional Programming
by Wolfgang Jeltsch 15 Apr '09

15 Apr '09

1 0