[Haskell-cafe] Re: Why purely in haskell?

2008-01-15 Thread jerzy . karczmarczuk
Luke Palmer dialog with myself: On Jan 15, 2008 12:29 AM, [EMAIL PROTECTED] wrote: When math says that something is undefined, in my little brain I understand that there is no answer. I'm not sure if I'm agreeing or disagreeing with you here. Depends on exactly what you mean by no

Re: [Haskell-cafe] Re: MonadPrompt + Gtk2Hs = ?

2008-01-15 Thread Felipe Lessa
On Jan 14, 2008 8:27 PM, apfelmus [EMAIL PROTECTED] wrote: The type of contPromptM is even more general than that: casePromptOf' :: (r - f b) - (forall a,b. p a - (a - f b) - f b) - Prompt p r - f b casePromptOf' done cont (PromptDone r) = done r

Any publication date for The Little Haskeller? [Was: Re: [Haskell-cafe] Computer Science Books using Haskell]

2008-01-15 Thread Benjamin L. Russell
Speaking of computer science books using Haskell, does anybody know when will a Haskell version of The Little Schemer, or anything equivalent, be published? It seems strange that The Little MLer is out, but not The Little Haskeller. Benjamin L. Russell --- PR Stanley [EMAIL PROTECTED] wrote:

Any publication date for Structure and Interpretation of Functional Computer Programs? [Was: Re: [Haskell-cafe] Computer Science Books using Haskell]

2008-01-15 Thread Benjamin L. Russell
Alternatively, again speaking of computer science books using Haskell, does anybody know when will a Haskell version of Structure and Interpretation of Computer Programs, or anything of the same scope, be published? It seems strange that Concepts, Techniques, and Models of Computer Programming is

Any publication date for Structure and Interpretation of Functional Computer Programs? [Was: Re: [Haskell-cafe] Computer Science Books using Haskell]

2008-01-15 Thread Benjamin L. Russell
Alternatively, again speaking of computer science books using Haskell, does anybody know when will a Haskell version of Structure and Interpretation of Computer Programs, or anything of the same scope, be published? It seems strange that Concepts, Techniques, and Models of Computer Programming is

[Haskell-cafe] Re: \_ - not equivalent to const $

2008-01-15 Thread ChrisK
Luke Palmer wrote: In attempting to devise a variant of cycle which did not keep its argument alive (for the purpose of cycle [1::Int..]), I came across this peculiar behavior: import Debug.Trace cycle' :: (a - [b]) - [b] cycle' xs = xs undefined ++ cycle' xs take 20 $ cycle' (const $

[Haskell-cafe] Re: Why purely in haskell?

2008-01-15 Thread Achim Schneider
[EMAIL PROTECTED] wrote: Your example with the King on the chessboard goes along the doctrine professed by Achim S., forbidding something. But this word, legality, etc. is a juridic term, something not so meaningful in math. OK, you are forbidden to try 0/0. But you DO. So what? You claim

[Haskell-cafe] First go at reactive programming

2008-01-15 Thread Levi Stephen
Hi, Listed below is my first experiment with reactive programming. It is a simple web server written using the Data.Reactive[1] library. The intended interface is given by the runHttpServer function, so the remainder is intended to be internal. I'd be happy to hear comments on any parts of

Re: [Haskell-cafe] fast fractional part of floating point number - modf?

2008-01-15 Thread John Meacham
On Tue, Jan 15, 2008 at 07:40:03AM +0100, Henning Thielemann wrote: On Mon, 14 Jan 2008, John Meacham wrote: On Sun, Jan 13, 2008 at 01:08:49AM +0100, Henning Thielemann wrote: Is there a fast and reliable way to compute the fraction of a floating point number? no, and this has

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Bulat Ziganshin
Hello Torsten, Tuesday, January 15, 2008, 1:09:54 AM, you wrote: Seeing my woes with FranTk - what else is out there that people use if a (simple) GUI is desired for a Haskell app? Just a few textboxes and a button or two would do me. i've read Gtk2Hs tutorial[1] and developed first version

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Yitzchak Gale
Hi Torsten, Here is something I use in GTK2HS when teaching beginners: http://hpaste.org/5017 Hope this helps, Yitz ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] jumping to code every and anywhere : what about installing tagfile and source ?

2008-01-15 Thread Marc Weber
Maybe it's better to ask ghc to include location information into the iface files? Then you can get the right file depending on your imports.. Marc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Yitzchak Gale
btw, if you use GTK2HS on the Mac, don't forget to start up X Windows support, and run export DISPLAY=:0.0 in your terminal window, before you run your program. X Windows is usually in Applications/Utilities, but only if you installed it manually from the Mac OS X discs, it is not installed by

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Wouter Swierstra
Hi Torsten, If you really only want a simple GUI - I seem to recall you're on a Mac - you might even be able to get away with the AppleScript bindings: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AppleScript-0.1.3 There are an example of a simple textfield GUI in the examples

[Haskell-cafe] Re: Haskell and GUI

2008-01-15 Thread ChrisK
The advice below is for Mac OS X 10.4 and below. Starting with Mac OS X 10.5 (Leopard) the DISPLAY is set for you by the operating system. Mine is currently /tmp/launch-sQZXQV/:0 which looks very strange because it is used to cause the launchd daemon to start the X server on demand (i.e.

[Haskell-cafe] haskelldb basic documentation needed

2008-01-15 Thread Immanuel Normann
with the release update haskelldb-0.9 - haskelldb-0.10 several things have changed. Unfortunately the API documentation does not give enough information in generall. Is there any additional uptodate documentation around? In particular the fundamental function connect hast a new signature:

Re: [Haskell-cafe] Haskell and GUI

2008-01-15 Thread Conal Elliott
If you can get wxHaskell installed working, you could try Phooey and/or TV. Both are described on the Haskell wiki and available via darcs and Hackage. On Jan 14, 2008 2:09 PM, Torsten Otto [EMAIL PROTECTED] wrote: Seeing my woes with FranTk - what else is out there that people use if a

Re: [Haskell-cafe] haskelldb basic documentation needed

2008-01-15 Thread Justin Bailey
2008/1/15 Immanuel Normann [EMAIL PROTECTED]: I don't know what pairs of strings this function needs. The API description is to unspecific: The connect function takes some driver specific name, value pairs use to setup the database connection, and a database action to run. What are the

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Adam Langley
On Jan 10, 2008 10:45 AM, Don Stewart [EMAIL PROTECTED] wrote: That's pretty much what we envisaged as the approach to take. Monad transformers adding some bit-buffer state over Get/Put. For anyone who's still reading this thread... I've just uploaded[1] binary-strict 0.2.1 which includes

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Don Stewart
agl: On Jan 10, 2008 10:45 AM, Don Stewart [EMAIL PROTECTED] wrote: That's pretty much what we envisaged as the approach to take. Monad transformers adding some bit-buffer state over Get/Put. For anyone who's still reading this thread... I've just uploaded[1] binary-strict 0.2.1 which

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Adam Langley
On Jan 15, 2008 3:26 PM, Don Stewart [EMAIL PROTECTED] wrote: Ok. That's awesome. I guess if you do all the TODOs for Binary like this, we should merge the code back in :) Well, at the moment I'm pretty unhappy with the amount of code duplication required both within binary-strict and between

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Neil Mitchell
Hi (maybe a bit of TH for generating the common bits) That would be bad. Then you'll have gone from Data.Binary being portable code, to being GHC specific code, and I will cry :'-( CPP is a good way to common stuff up in a portable way - I've used it in FilePath. There is nearly no end to

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Adam Smyczek
Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 0:28 , Adam Smyczek wrote: It's probably a trivial question, but I cannot figure out how to implement the catchError function in: instance MonadError

[Haskell-cafe] Re: Why purely in haskell?

2008-01-15 Thread Stefan Monnier
Yes, this is a doctrinal problem. Since *any* concrete reaction, e.g., an error message is a kind of answer, the only - unusable as it is - way of not providing it is to fail the termination... You can just disallow the call, using the type system. Not that it's always easy or practical

Re: [Haskell-cafe] Re: ANN: A triple of new packages for talking tothe outside world

2008-01-15 Thread Adam Langley
On Jan 15, 2008 5:01 PM, Neil Mitchell [EMAIL PROTECTED] wrote: That would be bad. Then you'll have gone from Data.Binary being portable code, to being GHC specific code, and I will cry :'-( Ok, no TH ;) AGL -- Adam Langley [EMAIL PROTECTED]

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Brandon S. Allbery KF8NH
On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 0:28 , Adam Smyczek wrote: It's probably a trivial question, but I cannot figure out how to implement

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Adam Smyczek
On Jan 15, 2008, at 7:34 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 0:28 , Adam Smyczek wrote: It's probably

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Jonathan Cast
On 15 Jan 2008, at 7:54 PM, Adam Smyczek wrote: On Jan 15, 2008, at 7:34 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at 9:33 PM, Brandon S. Allbery KF8NH wrote: On Jan 15,

[Haskell-cafe] ANN: GLFW-0.3 released

2008-01-15 Thread Paul L
GLFW is a Haskell module for GLFW OpenGL framework. It provides an alternative to GLUT for OpenGL based Haskell programs. The current 0.3 version is for download from hackageDB at: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/GLFW-0.3 Same as the previous 0.2 version it requires

Re: [Haskell-cafe] ErrorT and catchError question

2008-01-15 Thread Adam Smyczek
On Jan 15, 2008, at 8:07 PM, Jonathan Cast wrote: On 15 Jan 2008, at 7:54 PM, Adam Smyczek wrote: On Jan 15, 2008, at 7:34 PM, Brandon S. Allbery KF8NH wrote: On Jan 15, 2008, at 22:05 , Adam Smyczek wrote: Ups, resend, first response did not make into the list. On Jan 14, 2008, at

[Haskell-cafe] High-readibility version of CONS should not evaluate its arguments?

2008-01-15 Thread Benjamin L. Russell
While reading the paper A History of Haskell: Being Lazy With Class (Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler: The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III) San Diego, California, June 9-10, 2007)

Re: [Haskell-cafe] Yi editor tutorial

2008-01-15 Thread Benjamin L. Russell
Your Yi editor tutorial looks like a fascinating idea, but I use Mac OS X (10.2.8 Jaguar, soon to be upgraded to 10.5.x Leopard) at home, and Windows XP at work, while your tutorial is based on Ubuntu and the bash shell. A few questions: 1) Do you have any versions of your Yi tutorial for Mac OS

[Haskell-cafe] research topics

2008-01-15 Thread Henrique Ferreiro
Hi haskellers! I am a postgraduate student interested in functional programming and Haskell. I would appreciate if someone could elaborate on which are the current hot topics of research in this area, and related to Haskell, of course. In particular, I am interested in compiler implementation.

[Haskell-cafe] hmp3 1.4: ncurses mp3 player in Haskell

2008-01-15 Thread Don Stewart
4 years after its original release, and with almost daily use, I'm pleased to announce a new release of hmp3, the Haskell mp3 player. The goal of this project was a more stable, resize-friendly mp3 player for the console, that didn't compromise on efficiency or the user interface. This release,