Editorial = Just "This episode comes to you live from Portland, Oregon, where the HWN automaton now lives, running on a virtual host at Galois, Inc.", Announce [ Item "Cabal 1.2.0 released" "Thomas Schilling" "[http://article.gmane.org/gmane.comp.lang.haskell.libraries/7491 announced] that [http://www.haskell.org/cabal Cabal] version 1.2.0 is available. The major new feature in this release is support for Cabal configurations. This allows package authors to more easily adopt their package descriptions to different system parameters such as operating system, architecture, or compiler. In addition, some optional features may be enabled or disabled explicitly by the package user.", Item "SparseCheck" "Matthew Naylor" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15593 announced] SparseCheck, a library for typed, depth-bounded logic programming in Haskell allowing convenient expression of test-data generators for properties with sparse domains. More information on the [http://www.cs.york.ac.uk/~mfn/sparsecheck/ home page].", Item "monadLib 3.3.0" "Iavor Diatchki" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15586 announced] a new version of monadLib, adding the identiy transformer, and a family of deriving functions.", Item "ListLlke" "John Goerzen" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15582 announced] ListLike, a generic interface to the various list-like structures in Haskell.", Item "HaL2: Meeting Haskell in Leipzig 2: videos" "Klaus Meier" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15565 announced] that the videos and presentations of the talks given at HaL2 are [http://iba-cg.de/haskell.html now online].", Item "The Monad.Reader: Issue 8" "Wouter Swierstra" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15554 announced] that the latest issue of The Monad.Reader is [http://www.haskell.org/haskellwiki/The_Monad.Reader now available]. Issue 8 consists of the following two articles: Brent Yorgey on 'Generating Multiset Partitions' and Conrad Parker's 'Type-Level Instant Insanity'", Item "Haskell mode plugins for Vim" "Claus Reinke" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15553 announced] improved [http://article.gmane.org/gmane.comp.lang.haskell.general/15553 haskell mode plugins for vim].", Item "hstats-0.1" "Marshall Beddoe" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28973 announced] a statistical computing module for Haskell. ", Item "HIntegerByInt" "Isaac Dupree" "[http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7285 announced] a [http://isaac.cedarswampstudios.org/2007/HIntegerByInt reimplementation], in Haskell, of the Integer type that Haskell provides in its Prelude. It is designed in mind of being actually usable as the implementation of that type, for compilers. It is also a module that exports a working Integer type. It is in terms of only basic Prelude functions, lists, and Int. It is NOT a purely inductive definition, because Int is much faster than a purely inductive definition would allow, and nevertheless often easier to come by (more portable, license-wise, size-wise, nuisance-wise...) than GMP or other C bignum libraries. ", Item "OzHaskell: Australian Haskell Programmers Group" "Manuel Chakravarty" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28883 started] organising OzHaskell, and Australian Haskell user's group.", Item "Israeli Haskell Programmers Group" "B K" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28877 also seeks] to form an Israeli Haskell user's group", Item "xmonad 0.3" "Don Stewart" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28425 announced] the 0.3 release of [http://xmonad.org xmonad]. xmonad is a tiling window manager for X. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use.", Item "HPDF 1.0" "alpheccar" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28371 announced] version 1.0 of the [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.0 HPDF library].", Item "pcap: user-level network packet capture" "Bryan O'Sullivan" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/28139 announced] the release of pcap 0.3.1", Item "Gtk2Hs Tutorial" "Hans van Thiel" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27954 announced] a port of the GTK2 [http://tinyurl.com/yrbtsu tutorial] by Tony Gail and Ian Main to Haskell's gtk2hs.", Item "An efficient lazy suffix tree library" "Bryan O'Sullivan" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27891 posted] a [http://www.serpentine.com/software/suffixtree/ suffix tree library] to hackage. It implements Giegerich and Kurtz's lazy construction algorithm, with a few tweaks for better performance and resource usage.", Item "Bay Area Functional Programmers" "Keith Fahlgren" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27860 announced] the formation of the [http://bayfp.org Bay Area Functional Programmers] group. This group is for anyone using or interested in functional programming and functional programming languages, particularly strongly typed languages such as Haskell, OCaml and SML.", Item "Haskell irc channel reaches 400 users" "Don Stewart" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27826 noticed that], five and a half years after its inception, under the guiding hand of Shae Erisson (aka shapr), the [http://www.haskell.org/haskellwiki/IRC_channel Haskell IRC channel] on freenode has reached 400 users!", Item "Guihaskell and PropLang 0.1" "Asumu Takikawa" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27598 announced] the results of his Google Summer of Code project: Guihaskell, a graphical REPL using PropLang and work on PropLang, a GUI library built on Gtk2hs that allows for high level design.", Item "HAppS-Data 0.9: XML, Pairs, HList, deriveAll" "Alex Jacobson" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27597 announced] that the components of [http://happs.org HAppS] are being released as individual useful packages. HAppS-Data is the first in a series, and provides useful operations on XML data.", Item "Introduction to proving Haskell code" "Tim Newsham" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27523 put together] [http://www.thenewsh.com/%7Enewsham/formal/reverse/ a small intro lesson] on proving Haskell code using quickcheck, equational reasoning and Isabelle/HOL.", Item "Very Fast Searching of ByteStrings" "Chris Kuklewicz" "[http://article.gmane.org/gmane.comp.lang.haskell.libraries/7363 announced] a Boyer-Moore algorithm implemented for strict and lazy bytestrings (and combinations thereof). It finds all the overlapping instances of the pattern inside the target.", Item "Infinity 0.1" "Austin Seipp" "[http://article.gmane.org/gmane.comp.lang.haskell.cafe/27445 announced] Infinity v0.1. an IRC bot in the essence of lambdabot; that is, it should be extendable through plugins and plugins should be easy to write, modify and contribute." ], HaskellPrime [ Link "http://article.gmane.org/gmane.comp.lang.haskell.prime/2302" "Instances of Read on bounded integral types should detect overflow" ], Libraries [ Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7550" "Add &&& and *** to Data.Tuple", Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7261" "Add System.Info.isWindows", Link "http://thread.gmane.org/gmane.comp.lang.haskell.libraries/7283" "Make arrays safer", Link "http://article.gmane.org/gmane.comp.lang.haskell.libraries/7294" "GenT monad transformer variant of Gen", Link "http://article.gmane.org/gmane.comp.lang.haskell.libraries/7394" "Test.HUnit documentation", Link "http://article.gmane.org/gmane.comp.lang.haskell.libraries/7400" "Data.List.groupBy with non-transitive equality predicate", Link "http://article.gmane.org/gmane.comp.lang.haskell.libraries/7598" "Add dropped STM invariants functions", Link "http://article.gmane.org/gmane.comp.lang.haskell.libraries/7594" "Add Data.Eq.equating to match Data.Ord.comparing", Link "http://article.gmane.org/gmane.comp.lang.haskell.libraries/7544" "Fix abstract unix sockets" ], Hackage [ Item "numbers-2007.9.23" "Lennart Augustsson." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numbers-2007.9.23 numbers]: instances of the numerical classes for a variety of different numbers.", Item "hmp3 1.3" "Don Stewart." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hmp3-1.3 hmp3]: An mp3 player with a curses frontend.", Item "utf-string 0.2" "Eric Mertens." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/utf8-string-0.2 utf8-string]: A UTF8 layer for IO and Strings.", Item "hstats 0.1" "Marshall Beddoe." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hstats-0.1 hstats]: A library of commonly used statistical functions.", Item "sparsecheck 0.2" "Matthew Naylor." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sparsecheck-0.1 SparseCheck]: a library for logic programming in Haskell that allows convenient description of test-data generators.", Item "monadLib 3.3.0" "Iavor Diatchki." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/monadLib-3.3.0 monadLib]: A collection of monad transformers.", Item "ListLike 1.0.0" "John Goerzen." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ListLike-1.0.0 ListLike]: Generic support for list-like structures in Haskell.", Item "cabal-test 0.1" "David Himmelstrup." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-test-0.1 cabal-test]: Cabal-test is a tool for testing cabal projects.", Item "HPDF 1.1" "alpheccar." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.1 HPDF]: a PDF library.", Item "hxt 7.3" "Uwe Schmidt." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hxt-7.3 hxt]: The Haskell XML Toolbox.", Item "irc 0.1" "Trevor Elliott." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/irc-0.1 irc]: A small library for parsing IRC messages", Item "hsdns 1.0" "Peter Simons." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsdns-1.0 hsdns]: an asynchronous DNS resolver based on GNU ADNS.", Item "streamproc 1.0" "Peter Simons." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/streamproc-1.0 streamproc]: Stream Processer Arrow", Item "hsemail 1.0" "Peter Simons." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsemail-1.0 hsemail]: Parsers for the syntax defined in RFC2821 and 2822", Item "funcmp 1.0" "Peter Simons." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/funcmp-1.0 funcmp]: Functional MetaPost is a Haskell frontend to the MetaPost language", Item "cabal-rpm 0.3.1" "Bryan OSullivan." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/cabal-rpm-0.3.1 cabal-rpm]: This package turns Haskell Cabal source packages into source and binary RPM packages.", Item "Finance-Quote-Yahoo 0.3" "Brad Clawsie." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Yahoo-0.3 Finance-Quote-Yahoo]: Obtain quote data from finance.yahoo.com", Item "xmonad 0.3" "Spencer Janssen." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-0.3 xmonad]: a minimalist tiling window manager for X", Item "hint 0.1" "Daniel Gorin." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hint-0.1 hint]: an interpreter monad for Haskell expressions based on ghc-api", Item "ipprint 0.2" "Gleb Alexeyev." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ipprint-0.2 ipprint]: Tiny helper for pretty-printing values in ghci console", Item "pandoc 0.44" "John MacFarlane." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pandoc-0.44 pandoc]: Conversion between markup formats", Item "X11-extras 0.3" "Spencer Janssen." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/X11-extras-0.3 X11-extras]: Missing bindings to the X11 graphics library", Item "dsp 0.2" "Matthew Donadio." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dsp-0.2 dsp]: Digital Signal Processing, Fourier Transform, Filter design, Frequency estimation, Interpolation, Linear Algebra, Polynomials", Item "c2hs 0.15.0" "Manuel Chakravarty." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/c2hs-0.15.0 c2hs]: C->Haskell assists in the development of Haskell bindings to C libraries.", Item "regex-base 0.92" "Chris Kuklewicz." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/regex-base-0.92 regex-base]: Interface API for regex-posix,pcre,parsec,tdfa,dfa", Item "soegtk 0.9.12.2" "Duncan Coutts." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/soegtk-0.9.12.2 soegtk]: SOE api for gtk2hs", Item "hsns 0.5.3" "Austin Seipp." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hsns-0.5.3 hsns]: a miniature network sniffer", Item "anydbm 1.0.4" "John Goerzen." "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/anydbm-1.0.4 anydbm]: Interface for DBM-like database systems", Item "suffixtree 0.2.1" "Bryan O'Sullivan" "[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/suffixtree-0.2.1 suffixtree]: An efficient, lazy suffix tree implementation." ], Conferences Nothing [ Link "http://article.gmane.org/gmane.comp.lang.haskell.cafe/29046" "Sydney Area Programming Language INterest Group: Call for Abstracts" ], Discussion [ Item "A regressive view of support for imperative programming in Haskell" "Paul Hudak" "[http://thread.gmane.org/gmane.comp.lang.haskell.cafe/27214 sparked] an interesting thread about the effect on the language of rich support for imperative programming." ], Jobs [ Item "A top tier Investment bank is looking for a Haskell developer" "Kyle McBeath" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15552 announced] that there is a available a permanent position in London, joining a cross asset team. You will be able to use Haskell commercially everyday, be generously compensated and be on the forefront of technology in banking. This is a great opportunity for PhD students or above with proven experience of Haskell programming." , Item "Postdoctoral Fellowship in Functional Programming" "Graham Hutton" "[http://article.gmane.org/gmane.comp.lang.haskell.general/15600 announced] that applications are invited for a 3-year postdoctoral research fellowship in functional programming, to work on the EPSRC-funded project 'Reasoning About Exceptions and Interrupts'." ], Blogs [ Link "http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=70" "Peano induction for binary numbers", Link "http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=71" "Simple proof of stack correctness for a tiny language (in Agda)", Link "http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=72" "Peano, episode 3", Link "http://www.thenewsh.com/%7Enewsham/formal/reverse/" "Proving Haskell programs correct with QuickCheck and Isabelle/HOL", Link "http://blog.mikael.johanssons.org/archive/2007/08/coq-and-simple-group-theory/" "Coq and simple group theory", Link "http://sequence.complete.org/node/358" "Coq and The Monad Laws: Introduction", Link "http://sequence.complete.org/node/359" "Coq and The Monad Laws: The First and Second", Link "http://sequence.complete.org/node/360" "Coq and The Monad Laws: The Third", Link "http://sequence.complete.org/node/361" "Revisiting board-building in chess", Link "http://www.bofh.org.uk/articles/2007/08/07/monads" "Monads", Link "http://enfranchisedmind.com/blog/archive/2007/08/06/307" "A Monad Tutorial for Ocaml", Link "http://dailykibitz.blogspot.com/2007/08/learning-about-computational-monads.html" "Learning about (Computational) Monads", Link "http://www.oreillynet.com/onlamp/blog/2007/08/i_wasnt_joking_about_oneargume.html" "I Wasn't Joking about One-Argument Haskell Functions", Link "http://chneukirchen.org/blog/archive/2007/08/mapping-programming-language-irc-channels.html" "Mapping Programming Language IRC Channels", Link "http://doc.gold.ac.uk/~ma503am/alex/asciirave" "ASCII Rave in Haskell", Link "http://pinderkent.blogsavy.com/archives/97" "Today is similar to the programming languages situation of twenty years ago", Link "http://www.elbeno.com/blog/?p=353" "Haskell - the videos", Link "http://disparatemathematician.blogspot.com/2007/08/why-testing-code-should-be-laissez.html" "QuickCheck : Why Testing code should be Laissez-faire", Link "http://byorgey.wordpress.com/2007/08/13/rationals/" "Rationals!", Link "http://www.falvotech.com/blog/index.php?/archives/68-Grass-Roots-Functional-Languages.html" "Grass-Roots Functional Languages?", Link "http://augustss.blogspot.com/2007/08/programming-in-c-ummm-haskell-heres.html" "Programming in C, ummm, Haskell", Link "http://augustss.blogspot.com/2007/08/what-about-arrays-after-doing-my-little.html" "And what about C arrays?", Link "http://augustss.blogspot.com/2007/08/quicksort-in-haskell-quicksort-is.html" "Real Quicksort in Haskell", Link "http://community.livejournal.com/evan_tech/229988.html" "Pointer tagging", Link "http://dumpendebat.net/2007/08/14/n00b-thoughts-on-haskell/" "n00b Thoughts on Haskell", Link "http://notes-on-haskell.blogspot.com/2007/08/haskell-more-than-just-hype.html" "'The way forward involves functional programming'", Link "http://notes-on-haskell.blogspot.com/2007/08/does-syntax-matter.html" "Does Syntax Matter?", Link "http://blog.moertel.com/articles/2007/08/15/a-bright-future-security-and-modern-type-systems" "A bright future: security and modern type systems", Link "http://www.embedded.com/design/multicore/201500267" "Making the transition from sequential to implicit parallel programming: How sequential languages obscure parallelism", Link "http://weblogs.asp.net/ralfw/archive/2007/07/03/software-transactional-memory-making-multithreading-easier.aspx" "Software Transactional Memory - Making multithreading easier", Link "http://fawcett.blogspot.com/2007/08/roman-numerals-in-haskell.html" "Roman Numerals in Haskell", Link "http://koweycode.blogspot.com/2007/08/history-of-monad-tutorials.html" "A history of monad tutorials", Link "http://www.sdtimes.com/article/latestnews-20070815-04.html" "Java Becoming Solution for Safety-Critical Applications", Link "http://patricklogan.blogspot.com/2007/08/dunno.html" "Dunno (about STM)", Link "http://utcc.utoronto.ca/~cks/space/blog/programming/LanguageNiches" "A thesis about language niches", Link "http://overwatering.blogspot.com/2007/08/thoughts-on-scheme.html" "Thoughts on Scheme from a Haskeller", Link "http://www.blurty.com/users/claudiusmaximus/day/2007/08/18" "Arrow Transformers for sample rate conversion", Link "http://www.present-tense.org/2007/08/18/playing-with-propositional-logic/" "Playing with Propositional Logic in Haskell", Link "http://pinderkent.blogsavy.com/archives/107" "Programmer productivity, feature set implementation, and runtime performance", Link "http://paulspontifications.blogspot.com/2007/08/anatomy-of-new-monad.html" "Anatomy of a new monad", Link "http://polyomino.blogspot.com/2007/08/welcome.html" "Welcome to Haskell for Maths Blog", Link "http://blogs.msdn.com/lukeh/archive/2007/08/19/monadic-parser-combinators-using-c-3-0.aspx" "Monadic Parser Combinators using C# 3.0", Link "http://lukeplant.me.uk/blog.php?id=1107301674" "Blog Rewrite - I'm giving up", Link "http://r6.ca/blog/20070820T175938Z.html" "Implementing The Kelly Criterion", Link "http://notes-on-haskell.blogspot.com/2007/08/universal-floating-point-errors.html" "Universal Floating Point Errors", Link "http://grahamis.com/blog/2007/08/21/polyglot-programming-is-it-all-greek-to-you/" "Polyglot Programming - is it all Greek to you?", Link "http://useless-factor.blogspot.com/2007/08/factors-curry.html" "Factor with a dash of curry", Link "http://madhadron.auditblogs.com/2007/08/21/how-to-learn-to-program/" "How to learn to program", Link "http://importantshock.wordpress.com/2007/08/21/haskell-curry-yes-i-dated-his-daughter/" "I dated Haskell Curry's daughter", Link "http://balasubramanians.com/blog/?p=312" "Importance and Prominence and the wave: FP", Link "http://www.oreillynet.com/onlamp/blog/2007/08/a_beautiful_regex_matcher_in_h.html" "A Beautiful Regex Matcher... In Haskell", Link "http://kfahlgren.com/blog/2007/08/21/san-francisco-bay-area-fp-group/" "San Francisco Bay Area FP Group", Link "http://neilmitchell.blogspot.com/2007/08/anlgohaskell-aftermath.html" "AngloHaskell: The Aftermath", Link "http://blog.jbapple.com/2007/08/leibniz-equality-decomposition-and.html" "Leibniz Equality, Decomposition, and Definability", Link "http://gbacon.blogspot.com/2007/08/word-ladder-in-haskell.html" "Word ladder in Haskell", Link "http://programmingkungfuqi.blogspot.com/2007/08/existential-data-constructors-in.html" "Existential Data Constructors in Haskell and Qi", Link "http://www.theregister.com/2007/08/21/sun_transactional_memory_rock/" "Sun slots transactional memory into Rock", Link "http://austin.youareinferior.net/?q=node/29" "Haskell for pluggable apps, with the GHC API", Link "http://www.kirit.com/Yoda%20speaks%20Visual%20Haskell" "Yoda Speaks Haskell: A Tutorial", Link "http://www.joachim-breitner.de/blog/archives/262-Haskell-Syntax-Gem.html" "Haskell Syntax Gem", Link "http://blog.moertel.com/articles/2007/09/01/clusterby-a-handy-little-function-for-the-toolbox" "ClusterBy: a handy little function for the toolbox", Link "http://byorgey.wordpress.com/2007/09/01/squarefree-numbers-in-haskell/" "Squarefree numbers in Haskell", Link "http://twan.home.fmf.nl/blog/haskell/overloading-functional-references.details" "Overloading functional references", Link "http://www.alpheccar.org/en/posts/show/80" "Haskell PDF 1.0", Link "http://osfameron.vox.com/library/post/more-random-fun.html" "More fun with randoms", Link "http://learnhaskell.blogspot.com/2007/09/lesson-1-hello-world.html" "Learn Haskell in 5 minutes a day: lesson 1", Link "http://jputnam.livejournal.com/42065.html" "Destructive Quicksort in Haskell", Link "http://sigfpe.blogspot.com/2007/09/tries-and-their-derivatives_08.html" "Tries and their derivatives", Link "http://scsibug.com/2007/09/16/haskell-hmac/" "Haskell HMAC", Link "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers2/" "Solving the word numbers problem: part 2", Link "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers3/" "Solving the word numbers problem: part 3", Link "http://wiki.forthfreak.net/index.cgi?FunForth" "Functional Forth", Link "http://blogs.msdn.com/dsyme/archive/2007/09/22/some-details-on-f-computation-expressions-aka-monadic-or-workflow-syntax.aspx" "F#'s monadic syntax", Link "http://lstephen.wordpress.com/2007/09/08/the-actors-model-and-haskell/" "The Actors Model and Haskell", Link "http://squing.blogspot.com/2007/09/haskelling-saco-1.html" "Haskell and the South African Computing Olympiad", Link "http://www.sftank.net/?q=node/11" "The Power of Folds", Link "http://kraeutler.net/vincent/essays/Folding%20Incremental%20Averages%20in%20Haskell" "Folding Incremental Averages in Haskell", Link "http://myawesomeblag.blogspot.com/2007/03/opengl-tetris-in-haskell.html" "OpenGL tetris in Haskell", Link "http://learnhaskell.blogspot.com/2007/09/lesson-1-hello-world.html" "Learn Haskell in 5 minutes a day: Lesson 1: Hello, World!", Link "http://learnhaskell.blogspot.com/2007/09/lesson-2-input-and-output-variable.html" "Learn Haskell in 5 minutes a day: Lesson 2: Input and Output, Variable Binding, and more", Link "http://learnhaskell.blogspot.com/2007/09/lesson-3-case-3.html" "Learn Haskell in 5 minutes a day: Lesson 3: case", Link "http://www.perlmonks.org/?node_id=632023" "Break a string into groups of characters", Link "http://www.b7j0c.org/content/haskell-newspage.html" "A news aggregator", Link "http://nickmudge.info/?post=51" "Haskell elevator pitch", Link "http://nickmudge.info/?post=56" "Do Notation and Sequence Operator ", Link "http://www.embedded.com/design/multicore/201500267" "Part 1: How sequential languages obscure parallelism", Link "http://www.embedded.com/showArticle.jhtml?articleID=201801070" "Part 2: How to achieve parallel execution", Link "http://www.embedded.com/showArticle.jhtml?articleID=201802337" "Part 3: Explicit parallel programming with threads and locks", Link "http://www.embedded.com/design/multicore/201803783?_requestid=708481" "Part 4: Explicit parallelism: message-passing programming", Link "http://www.embedded.com/design/multicore/201804960?_requestid=708724" "Part 5: Implicit parallel programming: Declarative languages", Link "http://www.embedded.com/design/multicore/201806715" "Part 6: So, why aren't we using functional languages yet?", Link "http://www.embedded.com/design/multicore/173400008" "More articles about multicores and multiprocessors" ], Quotes [ Quote "nomeata" "Haskell is basically Swiss: Small, Efficient, and it is fun to explore the higher parts.", Quote "Tom Moertel" "In the not-too-distant future, perhaps, we might look back in amazement at the days when important security properties were neither free nor guaranteed but expensive and uncertain, underwritten only by the heroic efforts of individual programmers, struggling against impossible odds to achieve inhuman perfection." , Quote "Adam Turoff" "In any case, Simon Peyton Jones is right -- the way forward involves functional programming, whether it means choosing a language like Haskell, or integrating ideas from Haskell into your language of choice." , Quote "bootslack" "Once, around the time of the discovery of fire, there was a large population of people that thought mastering fire would be too difficult so they didn't. The rest of us killed them, cooked them and ate them." ], Commits [ Commit "Thu Sep 6 09:19:48 PDT 2007" "Norman Ramsey " "[http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/23114 massive changes] to add a 'zipper' representation of C--", Commit "Tue Aug 14 03:36:23 PDT 2007" "Ben Lippmeier" "Add graph coloring register allocator.\n\ \\n\ \ Refactored linear allocator into separate liveness annotation and allocation stages.\n\ \ Added graph coloring allocator, use -fregs-graph to enable.\n\ \ New dump flags are \n\ \ -ddump-asm-native -- output of cmm -> native transform.\n\ \ -ddump-asm-liveness -- code annotated with register liveness info\n\ \ -ddump-asm-coalesce -- output of register move coalescing \n\ \ (this is a separate pass when using the coloring allocator)\n\ \ (this could change in the future)\n\ \ -ddump-asm-regalloc -- code after register allocation \n\ \ -ddump-asm-regalloc-stages -- blocks after each build/spill stage of coloring allocator\n\ \ -ddump-asm-conflicts -- a global register liveness graph in graphviz format \n\ \\n\ \ The new register allocator will allocate some registers, but it's not\n\ \ quite ready for prime-time yet. The spill code generator needs some work." ] -- vim: paste