Announcements, discussion openers, technical questions about the functional programming language Haskell

headers

Daniel Santa Cruz | 8 Nov 2012 05:02

Haskell Weekly News: Issue 250

Welcome to issue 250 of the HWN, an issue covering crowd-sourced bits

of information about Haskell from around the web. This issue covers the

week of October 28 to November 3, 2012.

Quotes of the Week

* Cale: A list is a bit like a loop which hasn't happened yet. This

operation is similar to "how do I make the 5th iteration of my loop

do something different from the others?"

* broombs: Why are there multiple packages for EitherT?

broombs: edwardk: which is the better one?

edwardk: broombs: either

And today, we have our first quote submited via twitter! Thank you

<at> gersei for sending this one in. If you'd like to submit quotes via

twitter, add <at> HWNQuotes to your tweet.

* <at> kmett:We now generate pretty core but have ugly code.

Top StackOverflow Questions

* Writing cojoin or cobind for n-dimensional grid type

votes: 41, answers: 3

Read on SO: [27] http://goo.gl/qbz7z

* Why not be dependently typed?

votes: 39, answers: 3

Read on SO: [28] http://goo.gl/1TSVh

* Concrete example showing that monads are not closed under composition (with proof)?

votes: 32, answers: 4

Read on SO: [29] http://goo.gl/sys7F

* Monad Transformers vs Passing parameters to functions

votes: 24, answers: 1

Read on SO: [30] http://goo.gl/UpU57

* Why is there no IO transformer in Haskell?

votes: 16, answers: 2

Read on SO: [31] http://goo.gl/04Xc7

* Is it possible to make GHC optimize (deforest) generic functions such as catamorphisms?

votes: 16, answers: 1

Read on SO: [32] http://goo.gl/f4ZlU

* Is it possible to use irrefutable tilde (`~`) patterns in lambda expressions?

votes: 14, answers: 1

Read on SO: [33] http://goo.gl/BmGY0

* Can Scala's Cake Pattern be implemented in Haskell?

votes: 13, answers: 2

Read on SO: [34] http://goo.gl/QiMfg

* Confused by the meaning of the 'Alternative' type class and its relationship to other type classes

votes: 13, answers: 5

Read on SO: [35] http://goo.gl/RXNuV

* How to add fields that only cache something to ADT?

votes: 13, answers: 0

Read on SO: [36] http://goo.gl/FjLlX

* Type algebra and Knuth's up arrow notation

votes: 13, answers: 1

Read on SO: [37] http://goo.gl/kyYIn

Until next time,

Daniel Santa Cruz

References

1. http://ro-che.info/ccc/15.html

2. http://www.reddit.com/r/haskell/comments/11t7ru/cartesian_closed_comic_15_iteratees/

3. https://class.coursera.org/course/progfun

4. http://www.reddit.com/r/haskell/comments/12865b/are_there_any_or_is_there_interest_in_starting_an/

5. http://honza.ca/2012/10/haskell-strings

6. http://www.reddit.com/r/haskell/comments/120h6i/why_is_this_simple_text_processing_program_so/

7. http://bos.github.com/reaktor-dev-day-2012/reaktor-talk-slides.html

8. http://www.reddit.com/r/haskell/comments/11sl47/fast_code_nation_the_bright_side_of_highlevel/

9. http://fay-lang.org/fay-talk/

10. http://www.reddit.com/r/haskell/comments/11yrpi/fay_slides/

11. https://github.com/jonsterling/Data.Records

12. http://www.reddit.com/r/haskell/comments/12835b/datarecords_extensible_records_using_the_latest/

13. http://softwaresimply.blogspot.com/2012/11/why-cabal-has-problems.html

14. http://www.reddit.com/r/haskell/comments/12hbzb/why_cabal_has_problems/

15. http://alpmestan.com/posts/2012-11-02-cabal-hackage-what-you-can-do-about-it.html

16. http://www.reddit.com/r/haskell/comments/12ijs7/the_cabalhackage_situation_and_what_you_can_do/

17. https://twitter.com/bos31337/status/116372971509121025

18. http://www.reddit.com/r/haskell/comments/127emo/brian_osullivans_favorite_bug_in_ghc/

19. http://www.haskellforall.com/2012/10/hello-core.html

20. http://www.reddit.com/r/haskell/comments/11vuzz/haskell_for_all_hello_core/

21. http://www.yesodweb.com/blog/2012/10/yesod-fay-js

22. http://www.reddit.com/r/haskell/comments/12ct6p/michael_snoyman_yesod_angularjs_and_fay/

23. http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html

24. http://www.reddit.com/r/haskell/comments/11o6nu/cellular_automata_as_comonads/

25. http://www.haskellforall.com/2012/10/pipes-25-faster-and-slimmer.html

26. http://www.reddit.com/r/haskell/comments/12gikh/pipes25_faster_and_slimmer/

27. http://stackoverflow.com/questions/12963733/writing-cojoin-or-cobind-for-n-dimensional-grid-type

28. http://stackoverflow.com/questions/12961651/why-not-be-dependently-typed

29. http://stackoverflow.com/questions/13034229/concrete-example-showing-that-monads-are-not-closed-under-composition-with-proo

30. http://stackoverflow.com/questions/12968351/monad-transformers-vs-passing-parameters-to-functions

31. http://stackoverflow.com/questions/13056663/why-is-there-no-io-transformer-in-haskell

32. http://stackoverflow.com/questions/13099203/is-it-possible-to-make-ghc-optimize-deforest-generic-functions-such-as-catamor

33. http://stackoverflow.com/questions/13185632/is-it-possible-to-use-irrefutable-tilde-patterns-in-lambda-expressions

34. http://stackoverflow.com/questions/12947176/can-scalas-cake-pattern-be-implemented-in-haskell

35. http://stackoverflow.com/questions/13080606/confused-by-the-meaning-of-the-alternative-type-class-and-its-relationship-to

36. http://stackoverflow.com/questions/13098448/how-to-add-fields-that-only-cache-something-to-adt

37. http://stackoverflow.com/questions/13170803/type-algebra-and-knuths-up-arrow-notation

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell