Editorial = Just "This week, the HWN rises zombie-like from its repository, as your friendly HWN editor tries to get his PhD finished. This bumper issue is filled out with 100 new Haskell blog articles and dozens of new libraries!", Announce [ Item "Learn Haskell in 10 minutes" "Chris Smith" "[http://haskell.org/haskellwiki/Learn_Haskell_in_10_minutes prepared] a new tutorial on the basics of Haskell", Item "Haskell Program Coverage 0.4" "Andy Gill" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15381 announced] release 0.4 of Hpc, a tool for Haskell developers. Hpc is a tool-kit to record and display Haskell Program Coverage. Hpc includes tools that instrument Haskell programs to record program coverage, run instrumented programs, and display the coverage information obtained.", Item "Uniplate 1.0" "Neil Mitchell" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15366 announced] Uniplate (formerly known as Play), a library for boilerplate removal requiring only Haskell 98 (for normal use) and optionally multi-parameter type classes (for more advanced features).", Item "Atom: Hardware description in Haskell" "Tom Hawkins " "[http://article.gmane.org/gmane.comp.lang.haskell.general/15341 announced] Atom, a high-level hardware description language embedded in Haskell that compiles conditional term rewriting systems into conventional HDL.", Item "Catch" "Neil Mitchell" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15334 announced] a pattern-match checker for Haskell, named Catch. Do you sometimes encounter the dreaded 'pattern match failure: head' message? Do you have incomplete patterns which sometimes fail? Do you have incomplete patterns which you know don't fail, but still get compiler warnings about them? Would you like to statically ensure the absence of all calls to error? This is what Catch helps ... catch!", Item "Haskell Communities and Activities Report" "Andres Loeh " "[http://article.gmane.org/gmane.comp.lang.haskell.general/15302 announced] that the Haskell Communities and Activities Report is now available, covering the increasingly diverse groups, projects and individuals working on, with, or inspired by Haskell.", Item "The Reduceron" "Matthew Naylor" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15301 announced] the Reduceron, a processor for executing Haskell programs on FPGA with the aim of exploring how custom architectural features can improve the speed in which Haskell functions are evaluated. Being described entirely in Haskell (using Lava), the Reduceron also serves as an interesting application of functional languages to the design of complex control circuits such as processors.", Item "Data.Derive" "Neil Mitchell" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15292 announced] Data.Derive, a library and a tool for deriving instances for Haskell programs. It is designed to work with custom derivations, SYB and Template Haskell mechanisms. The tool requires GHC, but the generated code is portable to all compilers. We see this tool as a competitor to DrIFT.", Item "Piffle, a packet filter language" "Jaap Weel" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15290 announced] Piffle, a compiler for a packet filter language in Haskell: a good example of how Haskell can be used in an application domain (low level computer networking) where people tend to use C for everything, including writing compilers.", Item "Towards a Programming Language Nirvana" "Simon Peyton-Jones" "[http://channel9.msdn.com/showpost.aspx?postid=326762 appears] on video, talking about the Haskell path to programming language Nirvana", Item "Yi 0.2" "Jean-Philippe Bernardy" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15260 announced] the 0.2.0 release of the Yi editor. Yi is a text editor written and extensible in Haskell. The goal of Yi is to provide a flexible, powerful and correct editor core dynamically scriptable in Haskell. Yi si also a Haskell interpreter, very much like emacs is a Lisp interpreter, this makes really easy to dynamically hack, experiment and modify Yi. All tools and goodies written in haskell are also readily available from the editor. This is implemented by binding to the GHC API.", Item "Foreign.AppleScript" "Wouter Swierstra" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15246 announced] a library for compiling and executing AppleScript from Haskell. AppleScript is a scripting language available on all modern Apple computers. It can be used to script most applications on running on MacOS X.", Item "Asterisk Gateway Interface" "Jeremy Shaw" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15245 uploaded] a simple AGI interface to [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AGI hackage]. For more about Asterix, see [http://www.voip-info.org/wiki-Asterisk+AGI here].", Item "Harpy" "Dirk Kleeblatt" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15237 announced] Harpy, a library for run-time code generation of x86 machine code. It provides not only a low level interface to code generation operations, but also a convenient domain specific language for machine code fragments, a collection of code generation combinators and a disassembler. [http://haskell.org/haskellwiki/Blog_articles/EDSLs Lennart Augustsson] has written a series of articles demonstrating its use for fast EDSLs.", Item "Yaml Reference" "Gaal Yahas" "[http://ben-kiki.org/oren/YamlReference/ announced] a Haskell (Cabal) package containing the YAML spec productions wrapped in Haskell magic to convert them to an executable parser. The parser is streaming. It isn't intended to serve as a basis for a YAML tool chain; instead it is meant to serve as a reference implementation of the spec." ], HaskellPrime [ Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2282" "Dependent types", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2262" "Monomorphism restriction", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2247" "Operator backquoting", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2240" "Type signatures in export lists", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2238" "Pragma syntax", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2232" "inits is too strict", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2212" "Module system initialisation", Link "http://thread.gmane.org/gmane.comp.lang.haskell.prime/2192" "Polymorphic strict fields" ], Libraries [ Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7155" "Add exeExtension to System.Info", Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7129" "The drive functions in the filepath package", Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7094" "Optimising words", Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7032" "Add dropPrefix" ], Hackage [ Item "HsOpenSSL-0.1" "Masatake Daimon" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsOpenSSL-0.1 HsOpenSSL 0.1], OpenSSL binding for Haskell", Item "Emping-0.3" "Hans Van Thiel" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Emping-0.3 Emping] derives heuristic rules from nominal data", Item "parsely-0.1" "Samuel Bronson" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parsely-0.1 parsely], Typeclasses for parsing monads, and some instances", Item "sessions-2007.7.15" "Matthew Sackman" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions-2007.7.15 sessions], Session Types for Haskell", Item "CC-delcont-0.1" "Dan Doel" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/CC-delcont-0.1 CC-delcont1], An implementation of multi-prompt delimited continuations ", Item "gd-3000.3.0" "Bjorn Bringert" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/gd-3000.3.0 gd], A binding to the GD graphics library", Item "StrategyLib-4.0.0.0" "Samuel Bronson" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/StrategyLib-4.0.0.0 StrategyLib], Strafunski's StrategyLib", Item "ports-0.4.3.2" "Don Stewart" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ports-0.4.3.2 ports], concurrent and distributed Haskell programming in the IO monad without relying on mutable variables. ", Item "Finance-Quote-Yahoo-0.1" "Brad Clawsie" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Yahoo-0.1 Yahoo-0.1], Obtain quote data from finance.yahoo.com", Item "logict-0.2" "Dan Doel" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/logict-0.2.1 LogicT], A continuation-based, backtracking, logic programming monad.", Item "utf8-string-0.1" "Eric Mertens" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/utf8-string-0.1 utf8-string], Support for reading and writing UTF8 Strings", Item "type-int-0.4" "Edward Kmett" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/type-int-0.4 type-int], Type level 2s- and 16s- complement Integers (positive and negative), Booleans, Ord and Eq", Item "cgi-3001.1.5" "BjornBringert" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cgi-3001.1.5 cgi-3001], a Haskell library for writing CGI programs", Item "xmobar-0.6" "AndreaRossato" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmobar-0.6 xmobar], Xmobar is a minimal status bar for the XMonad Window Manager", Item "monad-param-0.0.2" "EdwardKmett" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/monad-param-0.0.2 monad-param], parameterized monads", Item "dfsbuild-1.0.1" "JohnGoerzen" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dfsbuild-1.0.1 dfsbuild], dfsbuild is the program used to create the Debian From Scratch CD image. " ], Conferences Nothing [ Item "AngloHaskell" "is" "[http://haskell.org/haskellwiki/AngloHaskell coming up] in Cambridge, August 10-11", Item "Haskell Hackathon 07 II" "Hac07" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15416 coming up] in Freiburg, Oct 5-7" ], Discussion [ ], Jobs [ ], Blogs [ Link "http://www.onlamp.com/pub/a/onlamp/2007/05/21/an-introduction-to-haskell---part-1-why-haskell.html" "ONLamp: An Introduction to Haskell", Link "http://www.onlamp.com/pub/a/onlamp/2007/07/12/introduction-to-haskell-pure-functions.html" "ONLamp: An Introduction to Haskell: Part 2: Pure Functions", Link "http://twan.home.fmf.nl/blog/haskell/Knuth-Morris-Pratt-in-Haskell.details" "Knuth-Morris-Pratt in Haskell", Link "http://nominolo.blogspot.com/2007/05/towards-better-error-handling.html" "Towards Better Error Handling", Link "http://augustss.blogspot.com/2007/05/i-was-asked-if-my-fixed-number-module.html" "Dynamic epsilons in Haskell with a bit of type hackery", Link "http://lukeplant.me.uk/blog.php?id=1107301659" "Null pointers vs None vs Maybe", Link "http://worrydream.com/AlligatorEggs/" "Lambda calculus in alligator form", Link "http://davblog48.blogspot.com/2007/05/trying-to-learn-haskell-database.html" "Learning Haskell databases", Link "http://liskell.org/" "liskell.org", Link "http://www.serpentine.com/blog/2007/05/14/norvigs-spell-checker-and-idiomatic-haskell/" "Norvig's spell checker and idiomatic Haskell", Link "http://concise-software.blogspot.com/2007/05/trying-out-functional-programming.html" "Trying out functional programming", Link "http://concise-software.blogspot.com/2007/05/trying-out-functional-programming_13.html" "Trying out functional programming: part 2", Link "http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/17#xmonad_part1b_zipper" "Roll Your Own Window Manager: Tracking Focus with a Zipper", Link "http://blog.tmorris.net/you-lazy-thunk/" "You Lazy Thunk!", Link "http://unenterprise.blogspot.com/2007/05/whats-monad.html" "What's a monad?", Link "http://www.acooke.org/cute/ErlangsSyn0.html" "Erlang: how syntax can discourage good programming practices", Link "http://michaelspeer.blogspot.com/2007/05/initial-code-at-regular-expressions-in.html" "Regular expressions in Haskell", Link "http://pozorvlak.livejournal.com/55568.html" "Producing diagrams", Link "http://osfameron.vox.com/library/post/notes-on-chapter-2-of-soe.html" "Notes on Chapter 2 of SOE", Link "http://totherme.livejournal.com/4154.html" "Xmonad and KDE on kubuntu feisty", Link "http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html" "Does XMonad crash? On proving pattern coverage with Catch", Link "http://abstractabsurd.blogspot.com/2007/05/couple-of-silly-examples.html" "A simple echo server", Link "http://neilmitchell.blogspot.com/2007/05/13-faster-than-ghc.html" "More deforestation", Link "http://radar.oreilly.com/archives/2007/05/state_of_the_co_10.html" "State of the computer book market", Link "http://blogs.nubgames.com/code/?p=23" "Pragmatic Haskell", Link "http://notes-on-haskell.blogspot.com/2007/05/analyzing-book-sales.html" "Analysing Haskell book sales", Link "http://www.realworldhaskell.org/blog/2007/05/23/real-world-haskell-its-time/" "Real-world Haskell: it's time", Link "http://changelog.complete.org/posts/612-Real-World-Haskell.html" "Real-World Haskell", Link "http://radar.oreilly.com/archives/2007/05/real_world_hask.html" "Tim O'Reilly: Real World Haskell title under development", Link "http://notes-on-haskell.blogspot.com/2007/05/haskell-ready-for-prime-time.html" "Haskell: Ready for Prime Time", Link "http://telematique.typepad.com/twf/2007/05/haskells_time_h.html" "Haskell's time has come", Link "http://triple.aeoth.net/2007/05/25/haskell-book-in-the-making/" "Haskell Book in the Making!", Link "http://binil.wordpress.com/2007/05/24/finally-a-book-on-how-haskell-can-be-applied-to-real-world-problems/" "Finally, a book on how Haskell can be applied to 'real-world' problems!", Link "http://blog.uncommons.org/?p=23" "Haskell - Ready for the mainstream?", Link "http://codemiscellany.blogspot.com/2007/05/great-news-in-haskell-books-front.html" "Great news in the Haskell Books front", Link "http://kevinoncode.blogspot.com/2007/05/functional-languages-on-horizon.html" "Practical reasons for learning some functional languages", Link "http://neilmitchell.blogspot.com/2007/05/preconditions-on-xmonad.html" "Preconditions on XMonad", Link "http://gimbo.org.uk/blog/2007/05/30/xmonad-does-status-bars-right/" "Xmonad does status bars right by not doing them at all", Link "http://disparatemathematician.blogspot.com/2007/05/perfect-programming-languages-part-1.html" "Perfect Programming Languages: Part 1, Syntactic Similarity", Link "http://firstian.blogspot.com/2007/05/haskell-diary-day-1.html" "Haskell diary, day 1", Link "http://ocamlnews.blogspot.com/2007/05/functional-programmer-stole-my-job.html" "A functional programmer stole my job", Link "http://sigfpe.blogspot.com/2007/05/haskell-incarnate.html" "Haskell incarnate: robots and Haskell", Link "http://osfameron.vox.com/library/post/chapter-3-soe.html" "Chapter 3 of SOE", Link "http://nominolo.blogspot.com/2007/05/networkhttp-bytestrings.html" "Implementing Network.HTTP with ByteStrings", Link "http://therning.org/magnus/archives/285" "Signal handling in Haskell", Link "http://www.rubrication.net/2007/04/21/how-a-real-module-system-should-work/" "ML, Haskell and Coq", Link "http://www.alpheccar.org/en/posts/show/70" "Djinn, Coq, Monad and a bit of Haskell", Link "http://davblog48.blogspot.com/2007/05/parsec.html" "A beginner with Parsec", Link "http://jpmoresmau.blogspot.com/2007/05/perceptron-in-haskell.html" "A perceptron in Haskell", Link "http://usr-share-morlock.blogspot.com/2007/05/piffle-packet-filter-language_26.html" "Piffle: a packet filter language with a compiler written in Haskell", Link "http://www.gaetanocaruana.com/2007/05/25/embedding-origami-constructs/" "OriDSEL: a DSL for origami", Link "http://wagerlabs.com/2007/5/26/who-let-the-dogs-out" "Joel's compiler in OCaml and Haskell", Link "http://equi-nox.blogspot.com/2007/05/jgraph-in-haskell.html" "JGraph in Haskell", Link "http://jpmoresmau.blogspot.com/2007/06/very-dumb-neural-network-in-haskell.html" "A neural network in Haskell", Link "http://liftm.wordpress.com/2007/06/03/scientificdimension-type-arithmetic-and-physical-units-in-haskell/" "Scientific.Dimension: Type Arithmetic and Physical Units in Haskell", Link "http://julipedia.blogspot.com/2007/06/flattening-array-of-arrays.html" "Flattening an array of arrays", Link "http://illicittech.blogspot.com/2007/06/travelling-salesman-problem.html" "Travelling Salesman Problem: Introduction (in Haskell)", Link "http://enfranchisedmind.com/blog/archive/2007/06/10/251" "Parallel programming, functional vs. imperative languages", Link "http://michaelspeer.blogspot.com/2007/06/impossible-is-only-possible-sometimes.html" "The impossible is only possible sometimes", Link "http://sami.samhuri.net/2007/6/14/more-scheming-with-haskell" "More Scheming with Haskell", Link "http://sigfpe.blogspot.com/2007/06/how-to-write-tolerably-efficient.html" "How to write tolerably efficient optimzation code without really trying...", Link "http://augustss.blogspot.com/2007/06/playing-with-harpy-recently-there-was.html" "Harpy: generating machine code from a Haskell", Link "http://augustss.blogspot.com/2007/06/massive-overload-in-my-last-post-i-had.html" "A little DSL embedded in Haskell", Link "http://augustss.blogspot.com/2007/06/generating-more-code-with-harpy-after.html" "Generating more code with Harpy", Link "http://augustss.blogspot.com/2007/06/representing-dsl-expressions-in-haskell.html" "Representing DSL expressions in Haskell", Link "http://augustss.blogspot.com/2007/06/disassembly-harpy-package-also-contains.html" "Disassembly", Link "http://augustss.blogspot.com/2007/06/simple-compiler-in-my-last-post-i.html" "A simple embedded compiler in Haskell", Link "http://neilmitchell.blogspot.com/2007/06/functional-composition.html" "Functional composition", Link "http://community.livejournal.com/evan_tech/220036.html" "Beautiful Haskell implementation of a power set", Link "http://blog.jbapple.com/2007/06/constructability-uncountability-and.html" "Constructability, Uncountability, and w-Haskell", Link "http://blog.jbapple.com/2007/06/ordinals-part-2.html" "Uncountable Ordinals, part 2", Link "http://www.alpheccar.org/en/posts/show/77" "Category Theory and Haskell 3 : Algebras and Monads", Link "http://blog.moertel.com/articles/2006/04/28/the-supermarket-pricing-kata-in-haskell" "The Supermarket Pricing Kata in Haskell", Link "http://conal-elliott.blogspot.com/2007/07/implementing-type-for-partial-values.html" "Implementing a type for partial values", Link "http://boriken.frayser.org/wordpress/2007/07/04/appreciating-chr-constraint-handling-rules-systems/" "Appreciating Constraint Programming", Link "http://therning.org/magnus/archives/306" "Continuing with continuations in Haskell", Link "http://cdsmith.wordpress.com/2007/07/05/find-the-bug/" "Find the Bug", Link "http://realfiction.net/?q=node/123" "Haskell decision making", Link "http://cdsmith.wordpress.com/2007/07/05/learning-haskell-and-number-theory-the-end-of-gcd/" "Learning Haskell and Number Theory: The End of GCD", Link "http://www.akalin.cx/2007/07/06/a-foray-into-number-theory-with-haskell/" "A foray into number theory with Haskell", Link "http://notvincenz.blogspot.com/2007/07/flatten-benchmark.html" "Flatten Benchmark for Haskell", Link "http://byorgey.wordpress.com/2007/06/21/solving-an-arithmetic-puzzle-with-haskell/" "Solving an arithmetic puzzle with Haskell", Link "http://emilliken.blogspot.com/2007/07/haskell-datapipe.html" "Haskell DataPipe", Link "http://lstephen.wordpress.com/2007/06/22/refining-my-first-steps-with-parsec/" "Refining my first steps with Parsec", Link "http://neilmitchell.blogspot.com/2007/07/equational-reasoning-in-haskell.html" "Equational Reasoning in Haskell", Link "http://disparatemathematician.blogspot.com/2007/07/peanos-axioms-part-i-haskell-and-type.html" "Peano's Axioms Part I: Haskell and Type Theory, and Object Oriented Programming", Link "http://neilmitchell.blogspot.com/2007/07/making-haskell-faster-than-c.html" "Making Haskell faster than C!", Link "http://www.cs.dartmouth.edu/~doug/powser.html" "Power serious: power series in ten one-liners", Link "http://neugierig.org/software/darcs/haskell-for-programmers/haskell-for-programmers" "Haskell for Programmers: a tutorial", Link "http://comonad.com/reader/2007/parameterized-monads-in-haskell/" "Parameterized Monads in Haskell", Link "http://koweycode.blogspot.com/2007/07/monomorphism-and-unintentional-fib.html" "Monomorphism and the unintentional fib", Link "http://leiffrenzel.de/eclipse/cohatoe/" "Cohatoe - Contributing Haskell to Eclipse", Link "http://leiffrenzel.de/papers/getting-started-with-hunit.html" "Getting started with HUnit", Link "http://cdsmith.wordpress.com/2007/07/17/a-neat-problem/" "A Neat Problem", Link "http://cdsmith.wordpress.com/2007/07/19/parsing-cfgs-and-type-hacking/" "Parsing, CFGs, and Type Hacking", Link "http://emilliken.blogspot.com/2007/07/using-haskell-for-reading-raw-ethernet.html" "Using haskell for reading raw ethernet frames", Link "http://emilliken.blogspot.com/2007/07/simple-haskell-malware-x11-keylogger.html" "A simple Haskell malware: X11 keylogger", Link "http://sigfpe.blogspot.com/2007/07/ill-have-buchburger-with-fries.html" "I'll have a Buchburger with fries: solving XKCD's menu puzzle" ], Quotes [ Quote "Smith's Law" "Any sufficiently large test suite for a program written in a dynamic language will contain an ad-hoc, informally-specified, bug-ridden, slow, patchy implementation of half of the Haskell type system", Quote "pshaw" "I think the key hook that allowed me to pass interview #2 was that I put the word 'Haskell' on my resume.", Quote "monochrom" "Fear leads to uncertainty. Uncertainty leads to doubt. Doubt leads to theorem proving.", Quote "Adam Turoff" "Let me start by being perfectly clear: if you are a professional programmer, then Haskell is in your future.", Quote "Apfelmus" "In the end, I think that strong types is only one thing that makes Haskell programs work after compilation. The other ones are higher-order functions and *purity*. No type system can achieve what purity offers." ], Commits [ ] -- vim: paste