[Haskell-cafe] ANNOUNCE: Sylvia, a lambda calculus visualizer

2012-09-26 Thread Chris Wong
Hello all Some of you in the audience may have read Dave Keenan's paper, [To Dissect a Mockingbird][]. A subset of that may have wondered if it was possible to generate those pretty pictures programmatically. For that subset, I can answer to you -- yes, yes you can. [To Dissect a Mockingbird]: ht

[Haskell-cafe] Haskell Weekly News: Issue 245

2012-09-26 Thread Daniel Santa Cruz
Welcome to issue 245 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 16 to September 22, 2012. Quotes of the Week * dmwit: You have your intuition correct, despite all the pedantry in the room.

Re: [Haskell-cafe] Call for discussion: OverloadedLists extension

2012-09-26 Thread wren ng thornton
On 9/25/12 1:57 PM, Sjoerd Visscher wrote: Maybe we could make a literal [a,b,c] turn into unpack [a,b,c]# where [a,b,c]# is a statically-allocated vector? I'm kinda surprised this isn't already being done. Just doing this seems like it'd be a good undertaking, regardless of wh

Re: [Haskell-cafe] Call for discussion: OverloadedLists extension

2012-09-26 Thread wren ng thornton
On 9/24/12 8:53 AM, George Giorgidze wrote: We will release GHC patches for both approaches, meanwhile the feedback from the community on the approaches that we took would be very much appreciated. Which one those would you prefer? or would you suggest a different one. The first one is much cle

Re: [Haskell-cafe] Call for discussion: OverloadedLists extension

2012-09-26 Thread Michael Snoyman
On Tue, Sep 25, 2012 at 6:21 PM, Heinrich Apfelmus wrote: > Michael Snoyman wrote: >> >> >> Note that I wasn't necessarily advocating such a pragma. And a lot of >> my XML code actually *does* use two IsString instances at the same >> time, e.g.: >> >> Element ("img" :: Name) (singleton ("href

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Carter Schonwald
really? does the 64 bit code work correctly when compiled? if the compiled version works correctly, could you post a repo of some example codlets that *should work* on ghc 7.6 so i can sort out if its fixable. There were some similar problems with gtk / cairo for a while on OS X, and i was able t

[Haskell-cafe] Haskell Programmers for Distributed Systems

2012-09-26 Thread Richard Lyman
Hi folks, Parallel Scientific is looking for Haskell developers for distributed systems work. Parallel Scientific, Inc. is a Boulder, CO based funded startup company working in the area of scalable parallelization. We seek experienced Haskell programmers to build a sophisticated, ultra-scalable

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Christiaan Baaij
Running gloss [1] programs from GHCi only works with the 32bit version of the latest Haskell Platform. The 64-bit version just shows a black window and GHCi becomes unresponsive. I use gloss to display trees and graphs in the functional programming course given at our university. The ability to

Re: [Haskell-cafe] Partial statical linking

2012-09-26 Thread Jason Dusek
Hi, I made a mistake when I said this worked, earlier. My experiment was run on a system where I had implemented Christian Maeder's suggestion, by symlinking some static libs in to GHC's libdir. Naturally, everything appeared to work. It turns out we have to pass the libraries with -optl, to prev

Re: [Haskell-cafe] Church vs Boehm-Berarducci encoding of Lists

2012-09-26 Thread Kim-Ee Yeoh
Both are excellent points, thank you. Your mention of general recursion prompts the following: in 1995, ten years after publication of Boehm-Berarducci, Launchbury and Sheard investigated transformation of programs written in general recursive form into build-foldr form, with an eye towards the no

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Johan Tibell
Adding Mark who's the release manager for the platform (and also the maintainer of the OS X builds). On Wed, Sep 26, 2012 at 11:57 AM, Erik Hesselink wrote: > On Wed, Sep 26, 2012 at 10:58 AM, Johan Tibell wrote: >> On Wed, Sep 26, 2012 at 7:44 AM, Carter Schonwald >> wrote: >>> To the best of

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Bob Hutchison
On 2012-09-26, at 1:44 AM, Carter Schonwald wrote: > what can we (the community ) do to address the fact that the haskell platform > installer suggestions for os x are sadly completely backwards? (or am I > completely wrong in my personal stance on this matter) > I'd much prefer the 64 bit m

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Erik Hesselink
On Wed, Sep 26, 2012 at 10:58 AM, Johan Tibell wrote: > On Wed, Sep 26, 2012 at 7:44 AM, Carter Schonwald > wrote: >> To the best of my knowledge there is absolutely no reason to use the 32bit >> haskell on OS X (aside from memory usage optimization cases which likely do >> not matter to the *typ

Re: [Haskell-cafe] 64-bit vs 32-bit haskell platform on Mac: misleading notice on Platform website?

2012-09-26 Thread Johan Tibell
Hi, On Wed, Sep 26, 2012 at 7:44 AM, Carter Schonwald wrote: > To the best of my knowledge there is absolutely no reason to use the 32bit > haskell on OS X (aside from memory usage optimization cases which likely do > not matter to the *typical* user), and the community should probably update > t