Re: [Haskell-cafe] The 8 Most Important GSoC Projects

2010-04-02 Thread Stephen Tetley
On 2 April 2010 07:22, Twan van Laarhoven wrote: > > As a simple approximation, you could consider functions without type > signatures to have changed if their implementation or any function they > depend on has changed. > Ah, too much work. Having libraries where the exported functions have si

Re: [Haskell-cafe] FRP, arrows and loops

2010-04-02 Thread Miguel Mitrofanov
1) Haven't look closely, but your second ArrowLoop instance seems righter. The question really is the same as with MonadFix instances; you can always define an instance like this data M = ... -- whatever instance Monad M where ... instance MonadFix M where mfix f = mfix f >>= f ...but this gen

[Haskell-cafe] Re: Integers v ints

2010-04-02 Thread Jon Fairbairn
Jens Blanck writes: > On 1 April 2010 10:53, Ivan Lazar Miljenovic wrote: >> Jens Blanck writes: >> > I was wondering if someone could give me some references to >> > when and why the choice was made to default integral >> > numerical literals to Integer rather than to Int in >> > Haskell. Seem

Re: [Haskell-cafe] GSoC: Improving Cabal's Test Support

2010-04-02 Thread Thomas Tuegel
On Thu, Apr 1, 2010 at 9:13 PM, Rogan Creswick wrote: > On Thu, Apr 1, 2010 at 3:52 PM, Thomas Tuegel wrote: > There are a few frameworks that provide limited degrees of this > functionality.  I've recently added to test-framework so that the > results can be gathered into an xml format that comp

Re: [Haskell-cafe] Haskell.org re-design

2010-04-02 Thread Thomas Schilling
How about something more colourful? http://i.imgur.com/7jCPq.png The "Get Haskell" box should of course be a shiny button. A shadow separating the content box from the background would probably also be a good idea. But the main point is: less dull colours, and the important links should go at t

[Haskell-cafe] Haskellers hate GUIs!!

2010-04-02 Thread Jürgen Nicklisch-Franken
I am in the damned position to have tried to develop a GUI app in Haskell. I'm building on top of gtk2hs, now we have a new compiler version a new Platform release and no gtk2hs release, so I cite from a mail from a potential user/contributor for my GUI app. What shall I say, how should he install

Re: [Haskell-cafe] Haskellers hate GUIs!!

2010-04-02 Thread Thomas Schilling
Haskeller's certainly aren't GUI-haters! It's just difficult in general to write cross-platform GUIs. The goal *is* to put gtk2hs into the platform, but in order to do that, it needs to be buildable using Cabal. The limiting factor is time, not motivation. 2010/4/2 Jürgen Nicklisch-Franken : >

Re: [Haskell-cafe] GSoC: Improving Cabal's Test Support

2010-04-02 Thread Thomas Tuegel
On Thu, Apr 1, 2010 at 9:36 PM, Ivan Lazar Miljenovic wrote: >> I propose to build a test suite as its own executable, but to avoid >> the problem of granularity by producing an output file detailing the >> success or failure of individual tests and any relevant error >> messages.  The format of t

Re: [Haskell-cafe] Integers v ints

2010-04-02 Thread Jesper Louis Andersen
On Thu, Apr 1, 2010 at 11:27 AM, Jens Blanck wrote: > I was wondering if someone could give me some references to when and why the > choice was made to default integral numerical literals to Integer rather > than to Int in Haskell. Also, if you are aware of similar discussions in > other languages

[Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Andy Stewart
Hi Jürgen, For GHC-6.12, just darcs version support. So please download darcs version. Axel has working on that make gtk2hs build on cabal. And i'm working on update All gtk2hs API to Gtk+ 2.18.3 (have finish 99%), i can finish all APIs in later days. Axel have finish some sub-modules on http:

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread David Leimbach
Never been a fan of GTK myself, but that's because I was a KDE developer I guess :-). Having said that, are there any plans to make it really easy to get gtk2hs working on Mac OS X? Dave On Fri, Apr 2, 2010 at 6:34 AM, Andy Stewart wrote: > Hi Jürgen, > > For GHC-6.12, just darcs version suppor

[Haskell-cafe] Re: The 8 Most Important GSoC Projects

2010-04-02 Thread Benedikt Huber
Ivan Lazar Miljenovic schrieb: Stephen Tetley writes: I had a little experiment along the lines of "A Package Versioning Policy Checker" a few months ago. I got as far as using Haskell-src-exts to extract module export list, but didn't work out out a hashing scheme for the actual type signature

[Haskell-cafe] libraries [was GUI haters]

2010-04-02 Thread gladstein
As a working engineer, one of my greatest frustrations is my inability to use Haskell in the workplace. The unfortunate fact is that my media industry clients use mostly Windows, some Macs, and no linux except for servers. The core system works everywhere, but many contributed libraries don't. GUIs

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Dominic Espinosa
On Fri, Apr 02, 2010 at 07:41:38AM -0700, David Leimbach wrote: >Having said that, are there any plans to make it really easy to get gtk2hs >working on Mac OS X? I think this is an important issue in developing run-of-the-mill GUI apps in Haskell. I recently wrote a small application using

Re: [Haskell-cafe] libraries [was GUI haters]

2010-04-02 Thread aditya siram
Yes Haskell is not strong on the GUI end of things but have you considered turning your desktop app into a web app? I've done this for a few things and really enjoyed the process. Haskell's STM is what makes this so nice. Basically the you start a Haskell service on port and make AJAX calls to it

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Stephen Tetley
On 2 April 2010 17:53, Dominic Espinosa wrote: [SNIP] > I ended up rewriting it in another language (due to time > pressure) and I'm a little wary of attempting to use Haskell again for > developing such an application. Hi Dominic Out of curiosity what language did you choose instead? Each ti

Re: [Haskell-cafe] libraries [was GUI haters]

2010-04-02 Thread stefan kersten
On 02.04.10 18:59, aditya siram wrote: > Yes Haskell is not strong on the GUI end of things but have you > considered turning your desktop app into a web app? I've done this for > a few things and really enjoyed the process. Haskell's STM is what > makes this so nice. > > Basically the you start a

Re: [Haskell-cafe] libraries [was GUI haters]

2010-04-02 Thread Mads Lindstrøm
Hi gladst...@gladstein.com wrote: > As a working engineer, one of my greatest frustrations is my inability > to use Haskell in the workplace. The unfortunate fact is that my media > industry clients use mostly Windows, some Macs, and no linux except for > servers. The core system works everywhere,

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Anthony Cowley
On Fri, Apr 2, 2010 at 12:53 PM, Dominic Espinosa wrote: > Is there a general strategy for deploying Haskell apps, graphical or no, > to MacOS X and/or Windows? I'm especially interested in cases where the > application uses some heavyweight libraries like OpenGL. I have a GUI app that I deploy o

Re: [Haskell-cafe] Integers v ints

2010-04-02 Thread David Menendez
On Thu, Apr 1, 2010 at 5:27 AM, Jens Blanck wrote: > I was wondering if someone could give me some references to when and why the > choice was made to default integral numerical literals to Integer rather > than to Int in Haskell. Also, if you are aware of similar discussions in > other languages.

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Rafael Cunha de Almeida
Stephen Tetley disse: > On 2 April 2010 17:53, Dominic Espinosa wrote: > > [SNIP] > >> I ended up rewriting it in another language (due to time >> pressure) and I'm a little wary of attempting to use Haskell again for >> developing such an application. > > Hi Dominic > > Out of curiosity what lan

[Haskell-cafe] Re: Seeking advice about monadic traversal functions

2010-04-02 Thread Heinrich Apfelmus
Darryn Reid wrote: > Heinrich, > > Thanks for your excellent response! Indeed, it was the rebuilding of the > tree that had me stumped. I also see the benefits of using the lift > functions, thanks again for this insight. My pleasure. :) By the way, there's also another, very flexible way to reb

Re: [Haskell-cafe] Re: Seeking advice about monadic traversal functions

2010-04-02 Thread Martijn van Steenbergen
On 3/31/10 12:44, Heinrich Apfelmus wrote: go Next (Single x t1) = liftM (Single x) (rewrite f t1) go Next (Fork t1 t2 ) = liftM2 Fork (rewrite f t1) (rewrite f t2) In particular, liftM and liftM2 make it apparent that we're just

Re: [Haskell-cafe] FRP, arrows and loops

2010-04-02 Thread Christopher Lane Hinson
On Fri, 2 Apr 2010, Maciej Piechotka wrote: 1. How to interpret ArrowLoop? I have two possible implementations: type RunSF a = a Dynamic () data SF a b c = SF (a (Dynamic, b, RunSF, Set Unique) (c, Set Unique, SF a b c)) (...) instance ArrowLoop (SF a) where loop (SF f) = loop' f undefine

Re: [Haskell-cafe] Integers v ints

2010-04-02 Thread Henning Thielemann
Jens Blanck schrieb: I was wondering if someone could give me some references to when and why the choice was made to default integral numerical literals to Integer rather than to Int in Haskell. Also, if you are aware of similar discussions in other languages. I think type defaulting is only an

Re: [Haskell-cafe] Immix GC as a Soc proposal

2010-04-02 Thread Simon Marlow
On 01/04/10 22:19, Thomas Schilling wrote: In my opinion the project would be worthwhile even if it's not in the Top 8. Mentors vote on the accepted projects based both on the priority of the project and the applying student, so it's probably not a bad idea to apply for other projects as well so

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Brandon S. Allbery KF8NH
On Apr 2, 2010, at 10:41 , David Leimbach wrote: Having said that, are there any plans to make it really easy to get gtk2hs working on Mac OS X? It's in MacPorts. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats]

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Thomas Schilling
On 2 April 2010 20:15, Brandon S. Allbery KF8NH wrote: > On Apr 2, 2010, at 10:41 , David Leimbach wrote: > > Having said that, are there any plans to make it really easy to get gtk2hs > working on Mac OS X? > > It's in MacPorts. But that's the variant using X11, no? There now is a Gtk+ framewor

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Brandon S. Allbery KF8NH
On Apr 2, 2010, at 15:21 , Thomas Schilling wrote: On 2 April 2010 20:15, Brandon S. Allbery KF8NH wrote: On Apr 2, 2010, at 10:41 , David Leimbach wrote: Having said that, are there any plans to make it really easy to get gtk2hs working on Mac OS X? It's in MacPorts. But that's the vari

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread David Leimbach
On Fri, Apr 2, 2010 at 10:31 AM, Anthony Cowley wrote: > On Fri, Apr 2, 2010 at 12:53 PM, Dominic Espinosa > wrote: > > Is there a general strategy for deploying Haskell apps, graphical or no, > > to MacOS X and/or Windows? I'm especially interested in cases where the > > application uses some he

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Brandon S. Allbery KF8NH
On Apr 2, 2010, at 15:21 , Thomas Schilling wrote: On 2 April 2010 20:15, Brandon S. Allbery KF8NH wrote: On Apr 2, 2010, at 10:41 , David Leimbach wrote: Having said that, are there any plans to make it really easy to get gtk2hs working on Mac OS X? It's in MacPorts. But that's the vari

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Thomas Davie
On 2 Apr 2010, at 21:01, Brandon S. Allbery KF8NH wrote: > On Apr 2, 2010, at 15:21 , Thomas Schilling wrote: >> On 2 April 2010 20:15, Brandon S. Allbery KF8NH wrote: >>> On Apr 2, 2010, at 10:41 , David Leimbach wrote: >>> Having said that, are there any plans to make it really easy to get gtk

[Haskell-cafe] ANN: tbox-0.1.0: Transactional variables and data structures with IO hooks

2010-04-02 Thread Peter Robinson
This package [1] provides STM data structures with IO hooks. The basic building blocks are instances of class TBox. Such an instance is an STM variable that might contain a value of some type a. In contrast to a plain 'TVar (Maybe a)', a TBox has IO hooks that are executed transparently on writes a

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Dominic Espinosa
On Fri, Apr 02, 2010 at 06:11:52PM +0100, Stephen Tetley wrote: > On 2 April 2010 17:53, Dominic Espinosa wrote: > > [SNIP] > > > I ended up rewriting it in another language (due to time > > pressure) and I'm a little wary of attempting to use Haskell again for > > developing such an application

[Haskell-cafe] Software correctness in the auto industry and FPLs

2010-04-02 Thread Vasili I. Galchin
Sorry for no "Subject" on the first post. In any case, I meant this Wall Street Journal as a challenge to the Haskell community to perhaps "step up to the plate" in the auto arena vis-a-vis software correctness. I realize that with hard real-time problems and a garbage collector that that could be

Re: [Haskell-cafe] libraries [was GUI haters]

2010-04-02 Thread Michael Vanier
This is a great idea! IMO this is also one of the main ways that GUI-based apps are likely to evolve into in the future. Cross-platform GUIs are a pain in the butt in _any_ language (possibly excluding full language platforms like Java/.NET, and I'll bet even those were a nightmare for the or

Re: [Haskell-cafe] libraries [was GUI haters]

2010-04-02 Thread Warren Henning
On Fri, Apr 2, 2010 at 10:22 AM, Mads Lindstrøm wrote: > Looking at Wikipedia I can see that COBOL 2002[1] got user defined > functions, but prior it was impossible to define your own functions. You > could define sub-rutines (semantically similar to jsr/gosub in > assembler/basic), but not functi

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

2010-04-02 Thread Evan Laforge
This may not be helpful for you, but when I did GUI stuff with haskell I wrote the GUI part in c++ with fltk, exposed a medium-level api specific to that gui, and then call that api through the FFI. This is sort of like the web browser + backend thing, except switch c++ and fltk for javascript and

Re: [Haskell-cafe] Software correctness in the auto industry and FPLs

2010-04-02 Thread Tom Hawkins
On Fri, Apr 2, 2010 at 2:28 PM, Vasili I. Galchin wrote: > Sorry for no "Subject" on the first post. In any case, I meant this > Wall Street Journal as a challenge to the Haskell community to perhaps > "step up to the plate" in the auto arena vis-a-vis software > correctness. I realize that with h

[Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-02 Thread aditya siram
Hi all, I would like to learn a little bit more about metaprogramming in Haskell. And I'm also wondering why metaprogramming is used much more in Ocaml than in Haskell. Camlp4 (Ocaml's metaprogramming facility) doesn't seem to much more powerful that Template Haskell. The former is celebrated in i

Re: [Haskell-cafe] Metaprogramming in Haskell vs. Ocaml

2010-04-02 Thread Don Stewart
aditya.siram: > Hi all, > I would like to learn a little bit more about metaprogramming in > Haskell. And I'm also wondering why metaprogramming is used much more > in Ocaml than in Haskell. > > Camlp4 (Ocaml's metaprogramming facility) doesn't seem to much more > powerful that Template Haskell. T

Re: [Haskell-cafe] Re: Seeking advice about monadic traversal functions

2010-04-02 Thread Darryn Reid
Martijn, Thanks for your comment and advice. Could you explain a little further your thinking? Specifically, what advantage do you find in the applicative notation, and when would you advise using it and when would you advise not using it? Thanks again, I appreciate your help. Darryn. On Fri, 2