Welcome to issue 267 of the HWN, an issue covering crowd-sourced bits
of information about Haskell from around the web. This issue covers the
week of April 28 to May 11, 2013.
Quotes of the Week
* ciaranm: a category is just a category in the category of
categories
* cmccann: the Either monad is like the Maybe monad, except with
something instead of Nothing.
* sclv: Q: Why are the adjunctions of Galois connections backwards?
A: He never got the hang of duals.
* acowley: blackdog's experience with IDEs is apparently both more
sensual and more culinary than mine
* cmccann: shachaf jokes are what the quotes section of HWN is for.
cmccann: though lately there have been not as many :[
shachaf: cmccann: Hey, there wasn't a single shachaf quote in the
last HWN!
shachaf: Leave me alone.
shachaf: There were two cmccann quotes.
* edwardk: cmccann: i'm NDA'd out of that space for a while ;)
elliott: edwardk just collects NDAs so that he can focus.
* trapdInIO: in java everything happens elsewhere
* edwardk: i never bothered to release the c preprocessor because it
was entangled with an old compiler of mind
* acowley: I get nervous when I haven't triggered the impossible for
more than a month or so :/
* hpc: be careful, excessive consumption of lenses will go straight
to your type signature
* acowley: The longer I leave this function named "jumanji" the less
I want to find a better name
* ion: The next step is unsafeCoerce. At that point youâre halfway
into implementing lens.
* bos: i'm not sure edwardk is a good model to follow. (a) because
you won't be able to, and (b) because you won't be able to.
Top Reddit Stories
* John Carmack interested in doing a moderate-sized project in Haskell
Domain: twitter.com, Score: 136, Comments: 30
On Reddit: [1] http://goo.gl/7rJpH
Original: [2] http://goo.gl/yL9kV
* John Carmack starting port of Wolf 3D in Haskell
Domain: twitter.com, Score: 108, Comments: 19
On Reddit: [3] http://goo.gl/MKkiI
Original: [4] http://goo.gl/SN7Mp
* Haskell for all: Program imperatively using Haskell lenses
Domain: haskellforall.com, Score: 103, Comments: 80
On Reddit: [5] http://goo.gl/FIfUd
Original: [6] http://goo.gl/zkEHI
* unm-hip a Haskell Image Processing Library
Domain: self.haskell, Score: 71, Comments: 18
On Reddit: [7] http://goo.gl/erMhx
Original: [8] http://goo.gl/erMhx
* Crit-bit trees in Haskell: fast, and open to contributors!
Domain: github.com, Score: 56, Comments: 16
On Reddit: [9] http://goo.gl/1vQMS
Original: [10] http://goo.gl/08byj
* Tutorial on HLearn's Markov networks, monoids, and "type level lenses"
explained with Futurama
Domain: izbicki.me, Score: 53, Comments: 10
On Reddit: [11] http://goo.gl/3mYuD
Original: [12] http://goo.gl/4WjnU
* Cool mailing list archive I stumbled on: Haskell controlling garbage
trucks
Domain: haskell.org, Score: 49, Comments: 2
On Reddit: [13] http://goo.gl/h8p4y
Original: [14] http://goo.gl/kSGkx
* Haskell intuition
Domain: self.haskell, Score: 49, Comments: 23
On Reddit: [15] http://goo.gl/F04IM
Original: [16] http://goo.gl/F04IM
* The Difference between Recursion & Induction
Domain: blog.ezyang.com, Score: 47, Comments: 3
On Reddit: [17] http://goo.gl/mZN3T
Original: [18] http://goo.gl/z2jZx
* Yesod 1.2 released
Domain: yesodweb.com, Score: 45, Comments: 8
On Reddit: [19] http://goo.gl/el7dt
Original: [20] http://goo.gl/lqBM9
* Haskell 2014 committee has now been formed
Domain: thread.gmane.org, Score: 42, Comments: 27
On Reddit: [21] http://goo.gl/okojc
Original: [22] http://goo.gl/1g6FG
* Web Frameworks Benchmark 4 (includes WAI)
Domain: techempower.com, Score: 41, Comments: 60
On Reddit: [23] http://goo.gl/FLGJu
Original: [24] http://goo.gl/AJbhV
* Haskell for all: pipes-3.3.0: Folds and uniting ListT with Proxy
Domain: haskellforall.com, Score: 41, Comments: 14
On Reddit: [25] http://goo.gl/sO1EK
Original: [26] http://goo.gl/5rZ0u
* First working program using the Repa plugin
Domain: disciple-devel.blogspot.com, Score: 39, Comments: 5
On Reddit: [27] http://goo.gl/bQgfV
Original: [28] http://goo.gl/9K5Qk
* How to use Hoogle from GHCi
Domain: youtube.com, Score: 36, Comments: 2
On Reddit: [29] http://goo.gl/9V9o7
Original: [30] http://goo.gl/LU7Zk
* 4th Episode of "The Pragmatic Haskeller": HTTP and more
Domain: cakesolutions.net, Score: 35, Comments: 3
On Reddit: [31] http://goo.gl/rMLyC
Original: [32] http://goo.gl/npjKm
* A monadic joke
Domain: self.haskell, Score: 34, Comments: 28
On Reddit: [33] http://goo.gl/OmwSp
Original: [34] http://goo.gl/OmwSp
* A "Natural" Theorem Prover in Haskell — By Tim Gowers!
Domain: gowers.wordpress.com, Score: 34, Comments: 5
On Reddit: [35] http://goo.gl/OomyR
Original: [36] http://goo.gl/LWNHW
* Towards a Haskell Logic Library
Domain: spin.atomicobject.com, Score: 30, Comments: 1
On Reddit: [37] http://goo.gl/puVS7
Original: [38] http://goo.gl/7dXA0
* Barabra Liskov - Keynote: The Power of Abstraction
Domain: infoq.com, Score: 29, Comments: 25
On Reddit: [39] http://goo.gl/B7AZJ
Original: [40] http://goo.gl/SSYSm
Top StackOverflow Questions
* What constitutes a fold for types other than list?
votes: 34, answers: 4
Read on SO: [41] http://goo.gl/AkbgP
* Lazy vs Strict implementations of data structures
votes: 19, answers: 2
Read on SO: [42] http://goo.gl/De1VO
* Compiling very large constants with GHC
votes: 17, answers: 1
Read on SO: [43] http://goo.gl/mWOMz
* Haskell Tree splitting: Can someone please explain this line?
votes: 16, answers: 1
Read on SO: [44] http://goo.gl/ZVaQE
* Could cabal notice about unused package in dependencies?
votes: 15, answers: 1
Read on SO: [45] http://goo.gl/IUOx2
* How can eta-reduction of a well typed function result in a type error?
votes: 14, answers: 2
Read on SO: [46] http://goo.gl/3A4hu
* What is so special about Monads?
votes: 14, answers: 4
Read on SO: [47] http://goo.gl/CF7BC
* Why does ghci desugar type lists and type families? Can this be
selectively disabled?
votes: 13, answers: 0
Read on SO: [48] http://goo.gl/QBmM7
* How are functors in Haskell and OCaml similar?
votes: 13, answers: 1
Read on SO: [49] http://goo.gl/rIYKy
* Monitoring GHC activity
votes: 10, answers: 1
Read on SO: [50] http://goo.gl/q7WuU
* Why isn't the Prelude's words function written more simply?
votes: 10, answers: 1
Read on SO: [51] http://goo.gl/W1TqA
* How to design a monadic stack?
votes: 10, answers: 2
Read on SO: [52] http://goo.gl/LAeJI
* How to generate arbitrary instances of a simple type for quickcheck
votes: 9, answers: 2
Read on SO: [53] http://goo.gl/oCesk
Until next time,
+Daniel Santa Cruz
References
1. https://twitter.com/ID_AA_Carmack/status/331557216488390656
2.
http://www.reddit.com/r/haskell/comments/1dv4ij/john_carmack_interested_in_doing_a_moderatesized/
3. https://twitter.com/id_aa_carmack/status/331918309916295168
4.
http://www.reddit.com/r/haskell/comments/1dwjup/john_carmack_starting_port_of_wolf_3d_in_haskell/
5.
http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html
6.
http://www.reddit.com/r/haskell/comments/1dpk2b/haskell_for_all_program_imperatively_using/
7.
http://www.reddit.com/r/haskell/comments/1dzk73/unmhip_a_haskell_image_processing_library/
8.
http://www.reddit.com/r/haskell/comments/1dzk73/unmhip_a_haskell_image_processing_library/
9. https://github.com/bos/critbit
10.
http://www.reddit.com/r/haskell/comments/1e1ywq/critbit_trees_in_haskell_fast_and_open_to/
11. http://izbicki.me/blog/markov-networks-monoids-and-futurama
12.
http://www.reddit.com/r/haskell/comments/1e0759/tutorial_on_hlearns_markov_networks_monoids_and/
13. http://www.haskell.org/pipermail/haskell-cafe/2010-April/075647.html
14.
http://www.reddit.com/r/haskell/comments/1df8fy/cool_mailing_list_archive_i_stumbled_on_haskell/
15. http://www.reddit.com/r/haskell/comments/1e3cl0/haskell_intuition/
16. http://www.reddit.com/r/haskell/comments/1e3cl0/haskell_intuition/
17.
http://blog.ezyang.com/2013/04/the-difference-between-recursion-induction/
18.
http://www.reddit.com/r/haskell/comments/1dbwp4/the_difference_between_recursion_induction/
19. http://www.yesodweb.com/blog/2013/05/yesod-1-2-released
20. http://www.reddit.com/r/haskell/comments/1dko1d/yesod_12_released/
21. http://thread.gmane.org/gmane.comp.lang.haskell.general/19796
22.
http://www.reddit.com/r/haskell/comments/1dhbjr/haskell_2014_committee_has_now_been_formed/
23. http://www.techempower.com/blog/2013/05/02/frameworks-round-4/
24.
http://www.reddit.com/r/haskell/comments/1dk73s/web_frameworks_benchmark_4_includes_wai/
25.
http://www.haskellforall.com/2013/05/pipes-330-folds-and-uniting-listt-with.html
26.
http://www.reddit.com/r/haskell/comments/1dsuto/haskell_for_all_pipes330_folds_and_uniting_listt/
27.
http://disciple-devel.blogspot.com/2013/05/first-working-program-using-repa-plugin.html
28.
http://www.reddit.com/r/haskell/comments/1dm7a6/first_working_program_using_the_repa_plugin/
29. http://www.youtube.com/watch?v=QpDQhGYPqkU
30.
http://www.reddit.com/r/haskell/comments/1dxx4m/how_to_use_hoogle_from_ghci/
31.
http://www.cakesolutions.net/teamblogs/2013/04/28/tph-episode-4-http-and-more/
32.
http://www.reddit.com/r/haskell/comments/1d9zou/4th_episode_of_the_pragmatic_haskeller_http_and/
33. http://www.reddit.com/r/haskell/comments/1dcfso/a_monadic_joke/
34. http://www.reddit.com/r/haskell/comments/1dcfso/a_monadic_joke/
35.
http://gowers.wordpress.com/2013/04/14/answers-results-of-polls-and-a-brief-description-of-the-program/
36.
http://www.reddit.com/r/haskell/comments/1dtw7v/a_natural_theorem_prover_in_haskell_by_tim_gowers/
37.
http://spin.atomicobject.com/2013/05/10/haskell-logic-library/?utm_source=twitter-sv
38.
http://www.reddit.com/r/haskell/comments/1e2okw/towards_a_haskell_logic_library/
39. http://www.infoq.com/presentations/programming-abstraction-liskov
40.
http://www.reddit.com/r/haskell/comments/1dodfb/barabra_liskov_keynote_the_power_of_abstraction/
41.
http://stackoverflow.com/questions/16426463/what-constitutes-a-fold-for-types-other-than-list
42.
http://stackoverflow.com/questions/16296571/lazy-vs-strict-implementations-of-data-structures
43.
http://stackoverflow.com/questions/16348340/compiling-very-large-constants-with-ghc
44.
http://stackoverflow.com/questions/16267497/haskell-tree-splitting-can-someone-please-explain-this-line
45.
http://stackoverflow.com/questions/16390273/could-cabal-notice-about-unused-package-in-dependencies
46.
http://stackoverflow.com/questions/16402942/how-can-eta-reduction-of-a-well-typed-function-result-in-a-type-error
47.
http://stackoverflow.com/questions/16439025/what-is-so-special-about-monads
48.
http://stackoverflow.com/questions/16346293/why-does-ghci-desugar-type-lists-and-type-families-can-this-be-selectively-disa
49.
http://stackoverflow.com/questions/16353066/how-are-functors-in-haskell-and-ocaml-similar
50. http://stackoverflow.com/questions/16348118/monitoring-ghc-activity
51.
http://stackoverflow.com/questions/16446274/why-isnt-the-preludes-words-function-written-more-simply
52.
http://stackoverflow.com/questions/16457111/how-to-design-a-monadic-stack
53.
http://stackoverflow.com/questions/16440208/how-to-generate-arbitrary-instances-of-a-simple-type-for-quickcheck
54. https://plus.google.com/105107667630152149014/about
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
