- Haskell-Cafe - Haskell.org

Obtaining kind of a HsType
by Alejandro Serrano Mena 20 Jul '14

20 Jul '14

Dear Haskell-café, I'm trying to get some information of the kinds of types in a program. In particular, I want to obtain the kinds of arguments to type family instances, that is, given: type family F a b :: Nat type instance F (List k) b = b I would like to obtain the kinds of "k" and "b" in the left-hand side of the type instance. In particular, I'm obtaining type family instance information via LTyFamInstEqn [ http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/HsDecls.html#t:LT…] Inside, I get a list of binders of type HsWithBndrs [LHsType name]. I'm assuming each of the LHsTypes inside is a pattern in the type family instance. Thus, I'm looking at those elements and try to find their kind there. Thus, the specific question is: given a HsType, can I obtain its kind somehow? Thanks in advance

2 3

ANN: loop - fast for loops
by Niklas Hambüchen 20 Jul '14

20 Jul '14

Announcing the first version of the loop package: http://hackage.haskell.org/package/loop This is for iterating over numeric or otherwise iteratable things in a fast fashion. Looks like C, runs like C. It's trivial, but very robust performance-wise and more independent of GHC smartness or non-smartness in regards to optimising alternatives like `forM_ [1..n]`. It comes with a lot of benchmarks. Contributions are very welcome.

2 2

ANN: hackage-diff - Compare the public API of different versions of a Hackage library
by Tim C. Schroeder 20 Jul '14

20 Jul '14

Just a first shot at the problem, hope it’s useful to somebody! https://github.com/blitzcode/hackage-diff Cheers, Tim

2 1

Is there a name for this property: x + x - x == x
by Omari Norman 20 Jul '14

20 Jul '14

It's not quite idempotence, because more than one function is involved. It's a common property and I figure I can write a higher order function to build QuickCheck tests for it. I was just wondering if it has a name.

7 7

Conduit & state
by Павел Гаврилов 19 Jul '14

19 Jul '14

Hi! I have: runUnixServer (serverSettings socket) $ \appData -> appSource appData $$ CL.map handleBS =$ appSink appData I want to store some data in priority queue in Monad.State and be able to access it inside the handleBS (now: handleBS :: ByteString -> ByteString). Can you send me on the right path? Thanx, Pavel.

2 1

No `base-4.7.0.1` in hackage
by Alois Cochard 19 Jul '14

19 Jul '14

Hi, GHC 7.8.3 ships with base 4.7.0.1, but this module is not published in hackage. Is there any reason why? That is an issue in my tool `codex` because he used hackage to download the sources and tags them [1]. [1]: https://github.com/aloiscochard/codex/issues/15 -- *A\ois* http://twitter.com/aloiscochard http://github.com/aloiscochard

2 1

Unable to build vector on OSX (ghc 7.4, gcc 4.8)
by Edsko de Vries 18 Jul '14

18 Jul '14

Hi guys, I am currently unable to build vector on OSX: Loading package base ... <command line>: can't load .so/.DLL for: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.9.sdk/usr/lib/libiconv.dylib (dlopen(/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.9.sdk/usr/lib/libiconv.dylib, 9): no suitable image found. Did find: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.9.sdk/usr/lib/libiconv.dylib: mach-o, but wrong filetype) cabal: Error: some packages failed to install: vector-0.10.11.0 failed during the building phase. The exception was: This has been reported before as some kind of clang issue, but I am using gcc 4.8 (ghc-7.4.2/settings has "gcc-4.8" for "C compiler command"). Any suggestions? Thanks! Edsko

2 3

Functional Programing-Oriented Machine Learning Startup Seeks DevOps Guru
by charles＠charlesweitzer.com 18 Jul '14

18 Jul '14

1 0

Re: [Haskell-cafe] Conduit & state
by Toby Goodwin 18 Jul '14

18 Jul '14

Hi Pavel, >runUnixServer (serverSettings socket) $ \appData -> > ... >I want to store some data in priority queue in Monad.State and be able to >access it inside the handleBS (now: handleBS :: ByteString -> ByteString). Funnily enough, I've just been looking at an analogous problem (with runTCPClient and Persistent). It seems that in the recent move from conduit-network to conduit-extra, the run*Client and run*Server functions were specialized to the IO monad. I don't know what the motivation for this change was (simpler error messages perhaps?) but it does seem unhelpful. The workaround I deployed last night was to roll my own runTCPClient' which merges the code from the (deprecated) conduit-network package and the (current) streaming-commons, but this is hardly satisfactory. I'm sure I must be missing something. (I don't know if there's a better list to discuss conduit.) Toby.

1 0

Haskell Weekly News: Issue 299
by Daniel Santa Cruz 17 Jul '14

17 Jul '14

Welcome to issue 299 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from June 29 to July 12, 2014 Quotes of the Week * donri: maybe good thing Applicative isn't called StrongLaxSemimonoidalEndofunctor * ninja_code: haskell is used to debug thinking * johnw: the first rule of category theory club is to state your identity Top Reddit Stories * The new haskell.org design Domain: new-www.haskell.org, Score: 130, Comments: 95 Original: [1] http://new-www.haskell.org/ On Reddit: [2] http://goo.gl/qG7683 * GHC-7.8.3 is out! Domain: haskell.org, Score: 115, Comments: 40 Original: [3] http://goo.gl/fyHQZd On Reddit: [4] http://goo.gl/7bsDXj * Announcing rest - A Haskell REST framework Domain: engineering.silk.co, Score: 97, Comments: 41 Original: [5] http://goo.gl/F3W628 On Reddit: [6] http://goo.gl/VqWdi9 * GHC plans for 7.10.1 Domain: ghc.haskell.org, Score: 77, Comments: 54 Original: [7] http://goo.gl/YH6516 On Reddit: [8] http://goo.gl/g16PE3 * unagi-chan: Fast and scalable concurrent queues for x86, with a Chan-like API Domain: hackage.haskell.org, Score: 61, Comments: 17 Original: [9] http://goo.gl/7dE0e4 On Reddit: [10] http://goo.gl/zaMC6o * Come practice Haskell *and* make a difference in the world by helping us build a new Free/Libre/Open patronage economy Domain: snowdrift.coop, Score: 59, Comments: 19 Original: [11] http://goo.gl/vU2cx On Reddit: [12] http://goo.gl/PRkG3B * What's wrong with String Domain: haskell.org, Score: 55, Comments: 123 Original: [13] http://goo.gl/8etnBS On Reddit: [14] http://goo.gl/k2FZ9u * Why is package management so awful? Domain: self.haskell, Score: 55, Comments: 100 Original: [15] http://goo.gl/7h7cWn On Reddit: [16] http://goo.gl/7h7cWn * Reﬂection without Remorse: Revealing a hidden sequence to speed up monadic reﬂection [pdf] Domain: homepages.cwi.nl, Score: 49, Comments: 36 Original: [17] http://goo.gl/QgiwtW On Reddit: [18] http://goo.gl/BpYmcS * Mutable Algorithms in Immutable Languages, Part 1 Domain: tel.github.io, Score: 49, Comments: 27 Original: [19] http://goo.gl/hn6218 On Reddit: [20] http://goo.gl/apKO9f * Where is Haskell going in industry? Domain: self.haskell, Score: 47, Comments: 114 Original: [21] http://goo.gl/Io2hvy On Reddit: [22] http://goo.gl/Io2hvy * Why Dependently Typed Programming Will (One Day) Rock Your World Domain: ejenk.com, Score: 45, Comments: 154 Original: [23] http://goo.gl/d3zkiG On Reddit: [24] http://goo.gl/z3ZhDf * Using Phantom Types for Extra Safety Domain: blog.jakubarnold.cz, Score: 41, Comments: 19 Original: [25] http://goo.gl/WnZH0Z On Reddit: [26] http://goo.gl/EJTpxl * Designing Dependently Typed Languages - OPLSS '14 Domain: self.haskell, Score: 37, Comments: 11 Original: [27] http://goo.gl/P2mV1A On Reddit: [28] http://goo.gl/P2mV1A * Hackage update, part 3 Domain: lambda.xyz, Score: 37, Comments: 13 Original: [29] http://goo.gl/sLHVfX On Reddit: [30] http://goo.gl/G7dHLc * Announce: The most complete prelude formed from only the "base" package Domain: hackage.haskell.org, Score: 37, Comments: 55 Original: [31] http://goo.gl/lSoKVh On Reddit: [32] http://goo.gl/UeNUYL * New generic programming library (with paper accepted in WGP 2014) Domain: andres-loeh.de, Score: 34, Comments: 11 Original: [33] http://goo.gl/PgV7yV On Reddit: [34] http://goo.gl/qFOlLB * Ideal programming language for a new modern OS built from scratch? Domain: self.haskell, Score: 32, Comments: 63 Original: [35] http://goo.gl/eTkOFd On Reddit: [36] http://goo.gl/eTkOFd * Neil Mitchell's Haskell Blog: Optimisation with Continuations Domain: neilmitchell.blogspot.com.es, Score: 30, Comments: 15 Original: [37] http://goo.gl/lvo8Oa On Reddit: [38] http://goo.gl/haJyX4 * can we do better than cabal sandbox? Domain: self.haskell, Score: 30, Comments: 38 Original: [39] http://goo.gl/RS3j0s On Reddit: [40] http://goo.gl/RS3j0s Top StackOverflow Questions * Is there a monad that doesn't have a corresponding monad transformer (except IO)? votes: 37, answers: 1 Read on SO: [41] http://goo.gl/wBH70C * Arrows are exactly equivalent to applicative functors? votes: 21, answers: 3 Read on SO: [42] http://goo.gl/WRjQx0 * Why does GHC typecheck before desugaring? votes: 19, answers: 1 Read on SO: [43] http://goo.gl/EzaZVr * List of Functors votes: 15, answers: 3 Read on SO: [44] http://goo.gl/RmJvDC * Or-patterns in Haskell votes: 13, answers: 2 Read on SO: [45] http://goo.gl/ukvJm1 * What does this list permutations implementation in Haskell exactly do? votes: 12, answers: 2 Read on SO: [46] http://goo.gl/CXOCch * Should Latitude, Longitude and Elevation have their own type in Haskell? votes: 12, answers: 2 Read on SO: [47] http://goo.gl/fkElae * Haskell List Comprehension Speed Inconsistencies votes: 12, answers: 1 Read on SO: [48] http://goo.gl/0o4rwI * What are some examples of type-level programming? [closed] votes: 11, answers: 3 Read on SO: [49] http://goo.gl/fowZ6b * QuickCheck Gen is not a monad votes: 11, answers: 1 Read on SO: [50] http://goo.gl/hiJ0q8 Until next time, [51]+Daniel Santa Cruz References 1. http://new-www.haskell.org/ 2. http://www.reddit.com/r/haskell/comments/2a77f2/the_new_haskellorg_design/ 3. http://www.haskell.org/ghc/docs/7.8.3/html/users_guide/release-7-8-3.html 4. http://www.reddit.com/r/haskell/comments/2af4jf/ghc783_is_out/ 5. http://engineering.silk.co/post/90354057868/announcing-rest-a-haskell-rest-… 6. http://www.reddit.com/r/haskell/comments/29h32i/announcing_rest_a_haskell_r… 7. https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 8. http://www.reddit.com/r/haskell/comments/29v4lj/ghc_plans_for_7101/ 9. http://hackage.haskell.org/package/unagi-chan-0.1.0.1 10. http://www.reddit.com/r/haskell/comments/2adh2f/unagichan_fast_and_scalable… 11. https://snowdrift.coop/ 12. http://www.reddit.com/r/haskell/comments/29zw5j/come_practice_haskell_and_m… 13. http://www.haskell.org/pipermail/haskell-cafe/2014-June/114745.html 14. http://www.reddit.com/r/haskell/comments/29jw0s/whats_wrong_with_string/ 15. http://www.reddit.com/r/haskell/comments/2a9n0t/why_is_package_management_s… 16. http://www.reddit.com/r/haskell/comments/2a9n0t/why_is_package_management_s… 17. http://homepages.cwi.nl/~ploeg/papers/zseq.pdf 18. http://www.reddit.com/r/haskell/comments/29i94o/re%EF%ACection_without_remo… 19. http://tel.github.io/2014/07/12/mutable_algorithms_in_immutable_languges_pa… 20. http://www.reddit.com/r/haskell/comments/2ahorr/mutable_algorithms_in_immut… 21. http://www.reddit.com/r/haskell/comments/2a310v/where_is_haskell_going_in_i… 22. http://www.reddit.com/r/haskell/comments/2a310v/where_is_haskell_going_in_i… 23. http://ejenk.com/blog/why-dependently-typed-programming-will-one-day-rock-y… 24. http://www.reddit.com/r/haskell/comments/29kv2y/why_dependently_typed_progr… 25. http://blog.jakubarnold.cz/2014/07/08/using-phantom-types-for-extra-safety.… 26. http://www.reddit.com/r/haskell/comments/2a5duv/using_phantom_types_for_ext… 27. http://www.reddit.com/r/haskell/comments/2a115h/designing_dependently_typed… 28. http://www.reddit.com/r/haskell/comments/2a115h/designing_dependently_typed… 29. http://lambda.xyz/blog/hackage-part-3/ 30. http://www.reddit.com/r/haskell/comments/2abi06/hackage_update_part_3/ 31. http://hackage.haskell.org/package/base-prelude 32. http://www.reddit.com/r/haskell/comments/2ahq11/announce_the_most_complete_… 33. http://www.andres-loeh.de/TrueSumsOfProducts/ 34. http://www.reddit.com/r/haskell/comments/2a535x/new_generic_programming_lib… 35. http://www.reddit.com/r/haskell/comments/29tgjd/ideal_programming_language_… 36. http://www.reddit.com/r/haskell/comments/29tgjd/ideal_programming_language_… 37. http://neilmitchell.blogspot.com.es/2014/06/optimisation-with-continuations… 38. http://www.reddit.com/r/haskell/comments/29fjg4/neil_mitchells_haskell_blog… 39. http://www.reddit.com/r/haskell/comments/2a2ec7/can_we_do_better_than_cabal… 40. http://www.reddit.com/r/haskell/comments/2a2ec7/can_we_do_better_than_cabal… 41. http://stackoverflow.com/questions/24515876/is-there-a-monad-that-doesnt-ha… 42. http://stackoverflow.com/questions/24668313/arrows-are-exactly-equivalent-t… 43. http://stackoverflow.com/questions/24639279/why-does-ghc-typecheck-before-d… 44. http://stackoverflow.com/questions/24589995/list-of-functors 45. http://stackoverflow.com/questions/24700762/or-patterns-in-haskell 46. http://stackoverflow.com/questions/24484348/what-does-this-list-permutation… 47. http://stackoverflow.com/questions/24521976/should-latitude-longitude-and-e… 48. http://stackoverflow.com/questions/24690406/haskell-list-comprehension-spee… 49. http://stackoverflow.com/questions/24481113/what-are-some-examples-of-type-… 50. http://stackoverflow.com/questions/24481648/quickcheck-gen-is-not-a-monad 51. https://plus.google.com/105107667630152149014/about

1 0