Re: [Haskell-cafe] Backward compatibility

2013-05-04 Thread Adrian May
Well I'm enormously grateful to Niklas for fixing those two things. Simon was right that people are very supportive around here. Even though I've been advised against WASH already, it seems important to fix that stuff because it's a liability to Haskell to have broken code kicking around where

Re: [Haskell-cafe] Lambda Calculus question on equivalence

2013-05-04 Thread Jon Fairbairn
Francesco Mazzoli f...@mazzo.li writes: At Fri, 03 May 2013 16:34:28 +0200, Andreas Abel wrote: The answer to your question is given in Boehm's theorem, and the answer is no, as you suspect. For the untyped lambda-calculus, alpha-equivalence of beta-eta normal forms is the same as

Re: [Haskell-cafe] Lambda Calculus question on equivalence

2013-05-04 Thread Francesco Mazzoli
At Sat, 04 May 2013 09:34:01 +0100, Jon Fairbairn wrote: α-equivalence on the Böhm trees — normal forms extended to infinity. I suppose that counts as “some semantics” but its very direct. Ah yes, that makes sense. Thanks! Francesco ___

[Haskell-cafe] GPGPU

2013-05-04 Thread Christopher Howard
Has anybody on the list been playing around with OpenCL at all? I'm just starting to look into it - need to get a newer Radeon card, I think - but I'm strongly interested in GPGPU programming. -- frigidcode.com signature.asc Description: OpenPGP digital signature

Re: [Haskell-cafe] Backward compatibility

2013-05-04 Thread Niklas Hambüchen
I think you missed my point. My point was to show that what you understand as backward compatibility here is totally delivered by Haskell and its environment, and how easy it is to be conservative (where keeping it running as it is is only a matter of renaming a few imports). it seems important

Re: [Haskell-cafe] runhaskell flags: What is going on?

2013-05-04 Thread Brandon Allbery
Bleh, I could have sworn that thing had a real usage message at some point...​ which means there is in fact a problem and you should file a bug against runhaskell. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] BayHac '13

2013-05-04 Thread Tommy Thorn
Excellent. I signed up and hope to make it. Could you add https://github.com/tommythorn/Reduceron to the project list? I'll bring hardware and blink some LEDs from Haskell(*) without a CPU. Thanks Tommy (*): Well, F-lite, but it'll be Haskell one day On May 3, 2013, at 22:54 , Mark Lentczner

Re: [Haskell-cafe] GPGPU

2013-05-04 Thread Jason Dagit
On Sat, May 4, 2013 at 3:00 AM, Christopher Howard christopher.how...@frigidcode.com wrote: Has anybody on the list been playing around with OpenCL at all? I'm just starting to look into it - need to get a newer Radeon card, I think - but I'm strongly interested in GPGPU programming. This is

Re: [Haskell-cafe] Backward compatibility

2013-05-04 Thread Ben Doyle
You might want to check out FPCompletehttps://www.fpcomplete.com/page/about-us, if you haven't already. They're far more focused on making it easy for organizations to adopt Haskell than the community can be. As they say: Where the open-source process is not sufficient to meet commercial adoption

Re: [Haskell-cafe] Backward compatibility

2013-05-04 Thread Carter Schonwald
What pray tell are those missing pieces? Aren't they mostly building a browser based ide plus doing training courses ? On May 4, 2013 1:42 PM, Ben Doyle benjamin.peter.do...@gmail.com wrote: You might want to check out FPCompletehttps://www.fpcomplete.com/page/about-us, if you haven't

Re: [Haskell-cafe] Backward compatibility

2013-05-04 Thread Ben Doyle
What pray tell are those missing pieces? Aren't they mostly building a browser based ide plus doing training courses ? Sure, and I believe they plan to have that browser-based IDE talk to a virtual server, with a compiler and set of libraries they maintain. That'd solve Adrian's problems, no?

Re: [Haskell-cafe] GPGPU

2013-05-04 Thread Anthony Cowley
I wrote this some time ago. http://www.arcadianvisions.com/blog/?p=346 I know that soon after I wrote that, it worked with both OpenCL and gloss from hackage, but there may be some bitrot at this point. Anthony On May 4, 2013, at 6:00 AM, Christopher Howard christopher.how...@frigidcode.com

Re: [Haskell-cafe] GPGPU

2013-05-04 Thread Jason Dagit
On Sat, May 4, 2013 at 11:54 AM, Anthony Cowley acow...@seas.upenn.edu wrote: I wrote this some time ago. http://www.arcadianvisions.com/blog/?p=346 I know that soon after I wrote that, it worked with both OpenCL and gloss from hackage, but there may be some bitrot at this point. Some of

[Haskell-cafe] ANNOUNCE: grid 5.0

2013-05-04 Thread Amy de Buitléir
I'm happy to announce a new major release of the grid package: http://hackage.haskell.org/package/grid https://github.com/mhwombat/grid/wiki (wiki) WHAT'S NEW: * Octagonal grids (just the thing for tiling that hyperbolic bathroom floor!) * Want to use the square grid, but need diagonal

Re: [Haskell-cafe] GPGPU

2013-05-04 Thread Anthony Cowley
On Sat, May 4, 2013 at 3:17 PM, Jason Dagit dag...@gmail.com wrote: On Sat, May 4, 2013 at 11:54 AM, Anthony Cowley acow...@seas.upenn.edu wrote: I wrote this some time ago. http://www.arcadianvisions.com/blog/?p=346 I know that soon after I wrote that, it worked with both OpenCL and gloss

Re: [Haskell-cafe] runhaskell flags: What is going on?

2013-05-04 Thread Albert Y. C. Lai
On 13-05-03 10:35 AM, Niklas Hambüchen wrote: runhaskell -fno-warn-unused-matches Myfile.hs [no output whatsoever but exit code 127] runhaskell -fasdf Myfile.hs [no output whatsoever but exit code 127] $ runghc --help Usage: runghc [runghc flags] [GHC flags] module [program args] The

Re: [Haskell-cafe] GPGPU

2013-05-04 Thread Jason Dagit
On Sat, May 4, 2013 at 2:16 PM, Anthony Cowley acow...@seas.upenn.edu wrote: Thanks to the nudge from Jason, the bitrot has now been scraped off. The post is prettier, the code all works again, and the screenshot has been restored. Nice! That's a very cool demo. Jason

Re: [Haskell-cafe] Google Summer of Code Proposal - Communicating with mobile devices

2013-05-04 Thread Kristopher Micinski
Marcos, Great to see you've revised a copy of this. I've often felt that push communication to devices has a very continuation-y flavor, and I think having something in a web framework to express this would be great. It looks like a large part of your time may be spent developing demo apps,

[Haskell-cafe] [ANN] xmobar 0.17 released

2013-05-04 Thread Jose A. Ortega Ruiz
I've just released version 0.17 of xmobar, a lightweight system monitor written in Haskell. Homepage: http://xmobar.org Release notes: http://xmobar.org/releases.html _New features_ - Icons support: it's now possible to insert bitmaps in the template (Edward O'Callaghan, Alexander