Re: [Haskell-cafe] ANNOUNCE: Sifflet visual programming language, release 1.0!

2010-08-20 Thread Andrew Coppin
gdwe...@iue.edu wrote: Thanks for the report! It surprises me that curl is a problem. I see on the curl web site there are multiple versions for Windows: The problem is not usually that the C library doesn't exist for Windows (they tend to be widely portable, in fact). Rather, the problem

Re: [Haskell-cafe] ANNOUNCE: Sifflet visual programming language, release 1.0!

2010-08-20 Thread Stephen Tetley
There are some instructions here for building curl with minGW http://haskell.forkio.com/Home/curl-win32 I've never needed curl myself so haven't first hand experience, but the guide is pretty recent thus one might expect it to work. ___ Haskell-Cafe

Re: [Haskell-cafe] lazy skip list?

2010-08-20 Thread Evan Laforge
However, I haven't thought about how operations such as 'cons' and 'tail' would be implemented =).  OP just asked about indexing ;-). Hah, serves me right I suppose. I figured the promise of some type fanciness would be catnip to some well-typed cats out there, but your implementation is even

Re: [Haskell-cafe] lazy skip list?

2010-08-20 Thread Luke Palmer
On Thu, Aug 19, 2010 at 9:57 PM, Felipe Lessa felipe.le...@gmail.com wrote: However, I haven't thought about how operations such as 'cons' and 'tail' would be implemented =).  OP just asked about indexing ;-). Well if all you need is indexing, then an integer trie does it, right?

Re: [Haskell-cafe] feasability of implementing an awk interpreter.

2010-08-20 Thread John Lask
On 20/08/2010 1:35 PM, Jason Dagit wrote: fairly easy .. you might want to check out the following tutorial ... http://www.crsr.net/Programming_Languages/SoftwareTools/ch5.html he implements a basic grep tool, you might then want to check out one of the regex packages as a basis for your

[Haskell-cafe] Re: philosophy of Haskell

2010-08-20 Thread Heinrich Apfelmus
Ertugrul Soeylemez wrote: Heinrich Apfelmus wrote: In particular, the World - (a,World) model is unsuitable even without concurrency because it cannot distinguish loop, loop' :: IO () loop = loop loop' = putStr c loop' I interpret the EDSL model to be the operational semantics

Re: [Haskell-cafe] Code that writes code

2010-08-20 Thread Graham Klyne
Maybe not helpful to you at this stage, but... An alternative to generating source code is to factor out the common boilerplate elements into separate functions, suitably parameterized, and to use higher order functions to stitch these together. An example of this kind of approach, which is

Re: [Haskell-cafe] ANNOUNCE: Sifflet visual programming language, release 1.0!

2010-08-20 Thread Henk-Jan van Tuyl
On Fri, 20 Aug 2010 08:30:24 +0200, Andrew Coppin andrewcop...@btinternet.com wrote: gdwe...@iue.edu wrote: The problem is not usually that the C library doesn't exist for Windows (they tend to be widely portable, in fact). Rather, the problem is that Cabal won't build the Haskell

[Haskell-cafe] Creating binary distributions with Cabal

2010-08-20 Thread Christopher Done
Does Cabal have a way to produce binary distributions from a package? I need to create a binary distribution of my project which does not depend on GHC or any development tools. The package should include all required data files and configuration files. I've got the latter covered with Data-Files

Re: [Haskell-cafe] Code that writes code

2010-08-20 Thread Christopher Done
Check out the userHooks in Cabal[1]. I believe you can use, e.g. hookedPreProcessors[2], or preBuild to preprocess your files into regular Haskell files before building takes place. [1]: http://www.haskell.org/ghc/docs/6.12.1/html/libraries/Cabal/Distribution-Simple-UserHooks.html#t%3AUserHooks

Re: [Haskell-cafe] feasability of implementing an awk interpreter.

2010-08-20 Thread Josef Svenningsson
On Fri, Aug 20, 2010 at 6:05 AM, Jason Dagit da...@codersbase.com wrote: On Thu, Aug 19, 2010 at 8:05 PM, Michael Litchard mich...@schmong.orgwrote: I'd like the community to give me feedback on the difficulty level of implementing an awk interpreter. What language features would be

Re: [Haskell-cafe] A cabal odyssey

2010-08-20 Thread Duncan Coutts
On 19 August 2010 21:15, Andrew Coppin andrewcop...@btinternet.com wrote: Daniel Fischer wrote: Yes, when cabal runs haddock on a package, it generates a comprehensive index if none is present or expands it with the new docs. Quite cool that :) It's something I've always _wanted_ Cabal to

Re: [Haskell-cafe] Creating binary distributions with Cabal

2010-08-20 Thread Magnus Therning
On Fri, Aug 20, 2010 at 10:18, Christopher Done chrisd...@googlemail.com wrote: Does Cabal have a way to produce binary distributions from a package? I need to create a binary distribution of my project which does not depend on GHC or any development tools. The package should include all

Re: [Haskell-cafe] Creating binary distributions with Cabal

2010-08-20 Thread Duncan Coutts
On 20 August 2010 10:18, Christopher Done chrisd...@googlemail.com wrote: Does Cabal have a way to produce binary distributions from a package? No but it's not too hard to do. If you actually want an RPM or a DEB etc, then look into the cabal2rpm etc tools, they help automate the process. If

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Simon Marlow
On 19/08/2010 18:21, John Millikin wrote: On Wed, Aug 18, 2010 at 23:33, Jason Dagitda...@codersbase.com wrote: The main reason I would use iteratees is for performance reasons. To help me, as a potential consumer of your library, could you please provide benchmarks for comparing the

[Haskell-cafe] Re: Code that writes code

2010-08-20 Thread Johannes Waldmann
Graham Klyne GK at ninebynine.org writes: [...] rather than go through the step of generating source code and feeding it back into a Haskell compiler, it may be possible to use higher order functions to directly assemble the required logic within a single program. For me, this is one of the

Re: [Haskell-cafe] Academic Haskell Course

2010-08-20 Thread Pierre-Etienne Meunier
Can anyone point me towards existing work I could use? Open course material and syllabuses I could use, with the necessary references? If I was to do the same, and my students already knew haskell (which will be the case after a few courses), I'd certainly read Chris Okasaki's book (or his

Re: [Haskell-cafe] lazy skip list?

2010-08-20 Thread Felipe Lessa
On Fri, Aug 20, 2010 at 3:57 AM, Luke Palmer lrpal...@gmail.com wrote: On Thu, Aug 19, 2010 at 9:57 PM, Felipe Lessa felipe.le...@gmail.com wrote: However, I haven't thought about how operations such as 'cons' and 'tail' would be implemented =).  OP just asked about indexing ;-). Well if all

[Haskell-cafe] GtkImageView release!

2010-08-20 Thread Andy Stewart
Hi all, I have release gtkimageview, it's a Gtk APIs for build image viewer. Here is screenshot : http://www.flickr.com/photos/48809...@n02/4909785139/ You can click right-bottom to popup navigate window to drag area in image. Here is demo :

Re: [Haskell-cafe] A cabal odyssey

2010-08-20 Thread Ivan Lazar Miljenovic
Duncan Coutts duncan.cou...@googlemail.com writes: On 19 August 2010 21:15, Andrew Coppin andrewcop...@btinternet.com wrote: Daniel Fischer wrote: Yes, when cabal runs haddock on a package, it generates a comprehensive index if none is present or expands it with the new docs. Quite cool

Re: [Haskell-cafe] cabal-install profiling libraries

2010-08-20 Thread Duncan Coutts
On 20 August 2010 14:20, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: Here's another instance of the machine (*) telling me what to do, instead of doing it (or am I missing something): I have a large set of cabal packages installed with ghc. Then suddenly I need some package Foo with

Re: [Haskell-cafe] cabal-install profiling libraries

2010-08-20 Thread Daniel Fischer
On Friday 20 August 2010 15:20:41, Johannes Waldmann wrote: Here's another instance of the machine (*) telling me what to do, instead of doing it (or am I missing something): I have a large set of cabal packages installed with ghc. Then suddenly I need some package Foo with profiling. So I

[Haskell-cafe] Re: cabal-install profiling libraries

2010-08-20 Thread Johannes Waldmann
Daniel Fischer daniel.is.fischer at web.de writes: The problem is that otherpackages may depend on them too, so when cabal automatically reinstalls, those can break. how can this be - if the re-installed package is compiled from the exact original source (as I just learned, cabal stores the

Re: [Haskell-cafe] Re: cabal-install profiling libraries

2010-08-20 Thread Johan Tibell
On Fri, Aug 20, 2010 at 4:07 PM, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: Of course I understand lack of developer time. Could any of this be forked out as student projects? These kind of projects are perfect for Google Summer of Code. We had two Cabal projects this year

Re: [Haskell-cafe] Re: cabal-install profiling libraries

2010-08-20 Thread Ivan Lazar Miljenovic
Johannes Waldmann waldm...@imn.htwk-leipzig.de writes: Daniel Fischer daniel.is.fischer at web.de writes: The problem is that otherpackages may depend on them too, so when cabal automatically reinstalls, those can break. how can this be - if the re-installed package is compiled from the

[Haskell-cafe] Re: cabal-install profiling libraries

2010-08-20 Thread Johannes Waldmann
Could any of this be forked out as student projects? I will teach a course (Sept. - Jan.) that introduces Haskell (students know Java). Part of the coursework is a programming project. I could assign some cabal tickets - but perhaps that's a bit far-fetched (requires understanding of the ghc

[Haskell-cafe] Re: cabal-install profiling libraries

2010-08-20 Thread Johannes Waldmann
Johannes Waldmann waldmann at imn.htwk-leipzig.de writes: I will teach a course (Sept. - Jan.) noh, it's Oct. - Jan. otherwise it'd be too much of a good thing ... ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
On Fri, Aug 20, 2010 at 04:01, Simon Marlow marlo...@gmail.com wrote: Handle IO is also doing Unicode encoding/decoding, which iteratees bypass.  Have you thought about how to incorporate encoding/decoding? Yes; there will be a module Data.Enumerator.Text which contains locale-based IO,

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Felipe Lessa
On Fri, Aug 20, 2010 at 12:51 PM, John Millikin jmilli...@gmail.com wrote: Currently, I'm planning on the following type signatures for D.E.Text. 'enumHandle' will use Text's hGetLine, since there doesn't seem to be any text-based equivalent to ByteString's 'hGet'. CC'ing text's maintainer.

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
On Fri, Aug 20, 2010 at 08:59, Felipe Lessa felipe.le...@gmail.com wrote: On Fri, Aug 20, 2010 at 12:51 PM, John Millikin jmilli...@gmail.com wrote: Currently, I'm planning on the following type signatures for D.E.Text. 'enumHandle' will use Text's hGetLine, since there doesn't seem to be any

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Felipe Lessa
On Fri, Aug 20, 2010 at 1:12 PM, John Millikin jmilli...@gmail.com wrote: This thought occurred to me, but really, how often are you going to have a 10 GiB **text** file with no newlines? Remember, this is for text (log files, INI-style configs, plain .txt), not binary (HTML, XML, JSON). Off

Re: [Haskell-cafe] Creating binary distributions with Cabal

2010-08-20 Thread Christopher Done
On 20 August 2010 11:43, Duncan Coutts duncan.cou...@googlemail.com wrote: On 20 August 2010 10:18, Christopher Done chrisd...@googlemail.com wrote: Does Cabal have a way to produce binary distributions from a package? No but it's not too hard to do. If you actually want an RPM or a DEB etc,

Re: [Haskell-cafe] Creating binary distributions with Cabal

2010-08-20 Thread Christopher Done
Hey autopackage looks swish! WiX also looks like a nice, more native solution for Windows. Cheers! On 20 August 2010 11:36, Magnus Therning mag...@therning.org wrote: On Fri, Aug 20, 2010 at 10:18, Christopher Done chrisd...@googlemail.com wrote: Does Cabal have a way to produce binary

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
On Fri, Aug 20, 2010 at 09:30, Felipe Lessa felipe.le...@gmail.com wrote: I was thinking about an attacker, not a use case.  Think of a web server accepting queries using iteratees internally.  This may open door to at least DoS attacks. Web servers parse/generate HTTP, which is byte-based.

Re: [Haskell-cafe] feasability of implementing an awk interpreter.

2010-08-20 Thread Michael Litchard
Thank you all for your encouragement. I need to think about the core functionality, and do some reading. On Fri, Aug 20, 2010 at 2:33 AM, Josef Svenningsson josef.svennings...@gmail.com wrote: On Fri, Aug 20, 2010 at 6:05 AM, Jason Dagit da...@codersbase.com wrote: On Thu, Aug 19, 2010 at

Re: [Haskell-cafe] feasability of implementing an awk interpreter.

2010-08-20 Thread Don Stewart
There's a lot of examples of languages implemented in Haskell to choose from, too http://haskell.org/haskellwiki/Applications_and_libraries/Compilers_and_interpreters#Large_languages michael: Thank you all for your encouragement. I need to think about the core functionality, and do some

Re: [Haskell-cafe] Code that writes code

2010-08-20 Thread Andrew Coppin
Graham Klyne wrote: Maybe not helpful to you at this stage, but... An alternative to generating source code is to factor out the common boilerplate elements into separate functions, suitably parameterized, and to use higher order functions to stitch these together. Well, yeah, if you've

[Haskell-cafe] Unix emulation [ANNOUNCE: Sifflet visual programming language, release 1.0!]

2010-08-20 Thread Andrew Coppin
Henk-Jan van Tuyl wrote: Curl compiles without problems on my Windows XP system. There is a HaskellWiki page [0] that describes how to compile packages with Unix scripts on Windows systems. I did once try setting up MinGW and MSYS, just to see if I could make it work. But after many, many

Re: [Haskell-cafe] A cabal odyssey

2010-08-20 Thread Andrew Coppin
Duncan Coutts wrote: Yes, when cabal runs haddock on a package, it generates a comprehensive index if none is present or expands it with the new docs. Quite cool that :) It's something I've always _wanted_ Cabal to do, but this is the first time I've ever seen it happen. I don't know

Re: [Haskell-cafe] A cabal odyssey

2010-08-20 Thread Andrew Coppin
wren ng thornton wrote: Andrew Coppin wrote: I guess I just figured that since Cabal is used by hundreds of millions of people every single day, any little glitches I might have come across have already been seen by at least 1,000 people before me (and hence, the developers already know about

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Magnus Therning
On 20/08/10 17:30, Felipe Lessa wrote: On Fri, Aug 20, 2010 at 1:12 PM, John Millikin jmilli...@gmail.com wrote: This thought occurred to me, but really, how often are you going to have a 10 GiB **text** file with no newlines? Remember, this is for text (log files, INI-style configs, plain

[Haskell-cafe] Equality constraints and RankNTypes - how do I assist type inference

2010-08-20 Thread DavidA
Hi, I have the following code, using equality constraints and (I believe) RankNTypes: {-# LANGUAGE MultiParamTypeClasses, TypeFamilies, RankNTypes, ExistentialQuantification #-} {-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-} -- import Math.Algebra.Group.PermutationGroup --

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
On Fri, Aug 20, 2010 at 12:52, Magnus Therning mag...@therning.org wrote: You don't need to send that much data, the current implementation of Enumerator uses hGet, which blocks, so just send the server a few bytes and it'll be sitting there waiting for input until it times out (if ever). Open

[Haskell-cafe] ANNOUNCE: binary-generic-0.2, generic binary serialisation using binary and syb.

2010-08-20 Thread Lars Petersen
Hello cafe, although there was no announcement for version 0.1 there is one for the current 0.2: binary-generic allows to perform binary serialisation without explicitly defining every type specific case. If an algebraic type instantiates the 'Data' class the library is able to serialize

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Magnus Therning
On 20/08/10 22:32, John Millikin wrote: On Fri, Aug 20, 2010 at 12:52, Magnus Therning mag...@therning.org wrote: You don't need to send that much data, the current implementation of Enumerator uses hGet, which blocks, so just send the server a few bytes and it'll be sitting there waiting for

Re: [Haskell-cafe] ANNOUNCE: binary-generic-0.2, generic binary serialisation using binary and syb.

2010-08-20 Thread Alexey Khudyakov
On 21.08.2010 01:38, Lars Petersen wrote: * Float and Double are serialised big-endian according to binary-ieee754 I'd like to point out that binary-ieee754 is dead slow[1] and not usable when one cares about performance. IMHO lack of ways to serialize floating point data in IEEE754 format

Re: [Haskell] Re: [Haskell-cafe] ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
On Fri, Aug 20, 2010 at 14:58, Magnus Therning mag...@therning.org wrote: Indeed. In many protocols it would force the attacker to send well-formed requests though.  I think this is true for many text-based protocols like HTTP. The looping can be handled effectively through hWaitForInput.

[Haskell-cafe] ANNOUNCE: text-json-qq 0.2.0 (now with haskell-src-meta goodness)

2010-08-20 Thread Oscar Finnsson
Hi, I've just uploaded a new version of text-json-qq, the json quasiquoter. Now it's possible (thanks to haskell-src-meta) to insert Haskell code inside the qq-code: myCode = [$jsonQQ| {age: | age + 34 :: Integer |, name: | map toUpper name |} |] where age = 34 :: Integer name =

Re: [Haskell-cafe] Re: cabal-install profiling libraries

2010-08-20 Thread Jason Dagit
On Fri, Aug 20, 2010 at 7:14 AM, Johan Tibell johan.tib...@gmail.comwrote: On Fri, Aug 20, 2010 at 4:07 PM, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: Of course I understand lack of developer time. Could any of this be forked out as student projects? These kind of projects are

Re: [Haskell-cafe] A cabal odyssey

2010-08-20 Thread Ivan Lazar Miljenovic
Andrew Coppin andrewcop...@btinternet.com writes: Duncan Coutts wrote: Yup, there's a ticket for it. In fact, there appears to be a ticket for every single thing I originally mentioned. And they're all ancient tickets too. So, yeah... nothing to do here. (Unless you're suggesting that

Re: [Haskell-cafe] Equality constraints and RankNTypes - how do I assist type inference

2010-08-20 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 8/20/10 16:08 , DavidA wrote: type Tensor u v = (u ~ Vect k a, v ~ Vect k b) = Vect k (TensorBasis a b) -- ** IIRC this actually substitutes as (forall k a b. (u ~ Vect k a, v ~ Vect k b) = Vect k (TensorBasis a b)) and the implicit

[Haskell-cafe] Re: ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
Just released 0.2. It has the text IO and codecs module, with support for ASCII, ISO-8859-1, UTF-8, UTF-16, and UTF-32. It should be relatively easy to add support for codec libraries like libicu or libiconv in the future. Both encoding and decoding are incremental, so you can (for example)

Re: [Haskell-cafe] Re: ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Paulo Tanimoto
Hi John, What do you think of putting those parsing functions like head, last, length, etc, under another module or, alternatively, putting the main definitions under another module (say, Base or Core)? I wouldn't mind if they all get re-exported. I say that because since the library aims to be

Re: [Haskell-cafe] Re: ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread Felipe Lessa
On Sat, Aug 21, 2010 at 12:30 AM, John Millikin jmilli...@gmail.com wrote: Just released 0.2. It has the text IO and codecs module, with support for ASCII, ISO-8859-1, UTF-8, UTF-16, and UTF-32. It should be relatively easy to add support for codec libraries like libicu or libiconv in the

Re: [Haskell-cafe] Re: ANNOUNCE: enumerator, an alternative iteratee package

2010-08-20 Thread John Millikin
On Fri, Aug 20, 2010 at 21:02, Paulo Tanimoto ptanim...@gmail.com wrote: Hi John, What do you think of putting those parsing functions like head, last, length, etc, under another module or, alternatively, putting the main definitions under another module (say, Base or Core)?  I wouldn't mind

[Haskell-cafe] System.Posix, forked processes and psuedo terminals on Linux

2010-08-20 Thread Erik de Castro Lopo
Hi all, I've got a but it code below thats not quite working as I expect it to. The basic idea is that it opens a master/slave pair of pseudo terminals, forks a child process and then perform bi-directional communication between the parent and the child via the master/slave psuedo terminal. The