<div dir="ltr"><div><div><div>Dear Gentle Reader,<br><br></div>Many, many beautiful gems in the Haskell Weekly News archives are worth a second look.<br><br>To give you a taste, I reproduce below excerpts from the quotes section of the Jan 31, 2007 issue -- yes, that's 9 years ago -- under the editorship of Don Stewart.<br><br></div>Enjoy. <br><br>Best, Kim-Ee Yeoh<br></div><div><div><div><div><div><div><div><div><b><br><br>Top Picks<br></b><ul><li>Edsko de Vries <a href="http://www.well-typed.com/blog/2016/01/efficient-queues/">designs O(1)-amortized and O(1)-worst-case queues</a> using a technique different from the standard literature by Chris Okasaki. In particular, the O(1)-worst-case queue employs a Progress datatype that could be reused to also optimize data structures other than queues. On the other hand, Lennart Augustsson <a href="https://www.reddit.com/r/haskell/comments/412n6n/new_blog_post_efficient_amortised_and_realtime/">on /r/haskell was pleased as a plum until he saw the unsafeInterleaveST</a> required to pull off the Progress technique.<br><br>Elsewhere, Hacker News <a href="https://news.ycombinator.com/item?id=10913720">rates the article highly enough</a> for it to stay on the front page <a href="http://hnrankings.info/10913720/">for five hours</a>. However, the comments there belie that the advanced Haskell goes swoosh over the head of the average HN reader.<br><br></li><li>Philipp Schuster <a href="http://haskellexists.blogspot.com/2016/01/frp-for-free.html">sketches a FRP implementation based on temporal logic</a>. Neel Krishnaswami <a href="https://www.reddit.com/r/haskell/comments/40x4wf/frp_for_free/">explains on /r/haskell why it suffers from space leaks</a> like most other FRP implementations and ways of fixing it.<br><br></li><li>Dan Burton reports that the latest version 0.10 of the json parsing package aeson <a href="https://unknownparallel.wordpress.com/2016/01/14/what-to-do-with-aeson-0-10/">suffers from deal-breaking bugs</a>. Aeson author Bryan O'Sullivan, of an older email-centered generation, explains that he has "a life outside of checking github issues" in the <a href="https://www.reddit.com/r/haskell/comments/4101ad/what_to_do_with_aeson010/">/r/haskell discussion</a>. In any case, the next stepping 5 of Stackage LTS <a href="https://www.reddit.com/r/haskell/comments/41gpdk/lts4_with_aeson010_is_being_discontinued_lts5/">rolls it back to version 0.9</a>.<br><br></li><li>A redditor asks, "What's the TypeInType extension planned for the upcoming version 8 of GHC?" The short answer is that it's used for dependent type programming. Detailed answers can be found in <a href="https://www.reddit.com/r/haskell/comments/4180k3/what_is_typeintype/">the actual /r/haskell Q&A</a>.<br><br></li><li>GHC on ARM used to suffer <a href="https://ghc.haskell.org/trac/ghc/ticket/11206">over 100 failures on the testsuite</a>. Ben Gamari girds his loins and over the last 6 weeks battled against "the villains that plague this poor architecture." Result? Nightly builds now compile clean. Go Ben!<br></li></ul><div><br><a href="http://sequence.complete.org/hwn/20070131"><b>A Blast from the Past (Quotes from #Haskell IRC):</b></a><ul><li><i>huschi:</i> Programing in haskell seems a bit frustrating. i'm
    missing searching for errors :(<br><br></li><li><em>bakert:</em> I know all my programs can be reduced to only one tenth
    the size if only I can learn all these crazy functions<br><br></li></ul><b>Quote of the Week<br></b><ul><li>Will Jones: The more I write 
Haskell, the more it feels like Forth. Where I'm basically just 
inventing a language for my problem, then writing the program in that 
instead.<br><br>(Ed. Dear Will: Remember how Dijkstra once said "Always 
design your programs as a member of a whole family of programs, 
including those that are likely to succeed it"? He would have warmly congratulated you on your discovery.)<br><br></li></ul><div class="gmail_signature">-- Kim-Ee Yeoh<br></div><div>
</div></div></div></div></div></div></div></div></div></div></div>