Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Stephen Tetley
On 23 August 2010 06:12, Erik de Castro Lopo wrote: > I'm going to be a bit of a heretic here and suggest that you attack > this problem from the other end. How you ask? > > Install Debian Testing/Unstable with Wine in a VM and cross compile > to Windows. > No - that's a completely azzback solut

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

2010-08-22 Thread Richard O'Keefe
On Aug 21, 2010, at 5:14 AM, Michael Litchard wrote: > Thank you all for your encouragement. I need to think about the core > functionality, and do some reading. But what _is_ "the core functionality". The Single Unix Specification can be browsed on-line. There is no part of it labelled "core";

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

2010-08-22 Thread Richard O'Keefe
On Aug 21, 2010, at 4:12 AM, John Millikin wrote: > This thought occurred to me, but really, how often are you going to > have a 10 GiB **text** file with no newlines? When you have a file developed on a system that follows a different new-line convention. I haven't seen a file that big, but I'm

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Erik de Castro Lopo
Andrew Coppin wrote: > I too was going to have a go at this. I had a Windows VM (so I don't > ruin my *real* Windows box) and I was going to set up all the junk which > is apparently necessary to make C bindings build. And then I was going > to build all the libraries I want but can't have, pac

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Erik de Castro Lopo
Andrew Coppin wrote: > Well, part of the issue is that it just annoys me as a matter of > principle that I have to install a *Unix* emulator in order to write > *Windows* software. What's up with that? You've actually got that a bit backwards. GHC, Curl and all the other things you are complain

[Haskell-cafe] Fwd: Semantics of iteratees, enumerators, enumeratees?

2010-08-22 Thread Conal Elliott
For anyone interested in iteratees (etc) and not yet on the iteratees mailing list. I'm asking about what iteratees *mean* (denote), independent of the various implementations. My original note (also at the end below): With the encouragement & help of Conrad Parker, I've been looking at > iterat

[Haskell-cafe] Trouble with winGHCi

2010-08-22 Thread David Webster
I just installed Haskell 2010.2.0.0 on Windows XP Pro SP3. When I run winGHCI, I briefly get a displayed window, immediately followed by a "black screen". I have to restart my computer to get rid of it. I have been advised that this is a bug and wonder if it can be fixed. David Webster

Re: [Haskell-cafe] A cabal odyssey

2010-08-22 Thread John Meacham
On Sat, Aug 21, 2010 at 09:57:52AM +0100, Andrew Coppin wrote: > When I first started using Haskell, I got the impression that there were > hundreds, maybe even thousands, of developers working on GHC. (After > all, how else could you write such a huge codebase in less than two > centuries?)

Re: [Haskell-cafe] A cabal odyssey

2010-08-22 Thread Mathew de Detrich
What haskell really needs is a big ' hit' where someone shows how powerful haskell is in some environment. Ruby had RoR, which is what splurged the language into the open On 22/08/2010 3:46 PM, "wren ng thornton" wrote: Daniel Fischer wrote: > > On Saturday 21 August 2010 15:35:08, Ivan Lazar M

Re: [Haskell-cafe] GADT and problems with rigid type variables

2010-08-22 Thread Felipe Lessa
On Sun, Aug 22, 2010 at 7:47 PM, Daniel Peebles wrote: > You could also do some (in my opinion) fairly nasty stuff with > Dynamic or Typeable, adding a constraint to the Eq and > attempting to cast at runtime (returning False if the cast > returns Nothing). This is what he's talking about: > {-#

Re: [Haskell-cafe] GADT and problems with rigid type variables

2010-08-22 Thread Daniel Peebles
The problem is that you have an existential `t` there, and two values of the type Foo might not have the same `t` inside them. What do you want to happen if someone writes Foo True == Foo "yep"? The only real solution here is to parametrize your Foo type by the t that lives within it, so you can

[Haskell-cafe] GADT and problems with rigid type variables

2010-08-22 Thread Markus Barenhoff
Hello, playing with GADTs I ran into a problem with rigid type variables which is ilustrated by the following example. I think it should be pretty clear what I'am trying to express... Any suggestions? snip {-# LANGUAGE GADTs #-} data Foo where Foo :: (Eq t) => t -> Foo instance Eq Fo

Re: [Haskell-cafe] Re: Error in enumerator when using interpreter instead of compiler

2010-08-22 Thread John Millikin
Well, now I know why the "iteratee" package never defined something like "iterFile" -- it's not really possible. The only way to open handles within an iteratee prevents exception-safe release. enumerator-0.3 will remove the iterFile functions. iterHandle will remain, to be used as in your second

[Haskell-cafe] Re: Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Johannes Waldmann
Ah, whenever I see "div/mod 3" in a Sudoku solver, I feel that's not using the right model. It's not a square, it's a hypercube, folks! type Index = ( Int,Int,Int,Int ) neighbours :: Index -> [ Index ] neighbours (a,b,c,d) = do i <- [ 0 .. 2 ] ; j <- [ 0 .. 2 ] [ (i,j,c,d), (a,b,i,j), (a

[Haskell-cafe] Compiling UHC

2010-08-22 Thread Henk-Jan van Tuyl
L.S., I am trying to compile the current release of UHC (1.0.1); I started with the installation of the most recent version of uulib and uuagc. When running make uhc I received the following message: EH\Util\CompileRun.hs:46:7: Could not find module `UU.DData.Scc': Use -v

Re: [Haskell-cafe] Re: Error in enumerator when using interpreter instead of compiler

2010-08-22 Thread John Millikin
It's certainly a bug in iterFile -- I think it'll have to be modified to close the file on EOF, not after returning a continuation. Semi-working in the compiled version is probably just a quirk of the garbage collector and/or OS. ___ Haskell-Cafe mailing

[Haskell-cafe] Re: Error in enumerator when using interpreter instead of compiler

2010-08-22 Thread Tobias Brandt
I forgot to mention that the file "bar" is created but empty. So it seems the Iteratee opens it and then closes it prematurely. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Error in enumerator when using interpreter instead of compiler

2010-08-22 Thread Tobias Brandt
Hi all, I was trying out the enumerator package. I wanted to copy the contents of one file to another: module Main where import Data.Enumerator import Data.Enumerator.IO main = run (enumFile "foo" $$ iterFile "bar") If I compile this code with GHC, it works as expected. But if I run it with runh

Re: [Haskell-cafe] Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Daniel Fischer
On Sunday 22 August 2010 22:15:02, Luke Palmer wrote: > On Sun, Aug 22, 2010 at 1:18 PM, Daniel Fischer > > wrote: > > On Sunday 22 August 2010 20:12:16, Vladimir Matveev wrote: > >> I think the problem is with terribly inefficient data representation. > > > > Worse, it's a terribly inefficient al

Re: [Haskell-cafe] Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Vladimir Matveev
Thanks for explanation. One more question: are there any materials except LogicT.pdf from link on the logict hackage entry? I'd like to read something on this interesting topic because the above code looks kinda obfuscated to me :) ___ Haskell-Cafe mailin

Re: [Haskell-cafe] Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Luke Palmer
On Sun, Aug 22, 2010 at 1:18 PM, Daniel Fischer wrote: > On Sunday 22 August 2010 20:12:16, Vladimir Matveev wrote: >> I think the problem is with terribly inefficient data representation. > > Worse, it's a terribly inefficient algorithm. > The constraints are applied too late, so a huge number of

Re: [Haskell-cafe] ANNOUNCE: ipatch, the interactive patch editor

2010-08-22 Thread Joachim Breitner
Hi, Am Dienstag, den 03.08.2010, 22:52 +0200 schrieb Joachim Breitner: > I have written a tool to interactively edit patches, which under the > hood uses the Darcs API. A more catchy introduction, including a > screencast, can be found on > https://www.joachim-breitner.de/blog/archives/425-ipatch,

Re: [Haskell-cafe] Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Daniel Fischer
On Sunday 22 August 2010 20:12:16, Vladimir Matveev wrote: > I think the problem is with terribly inefficient data representation. Worse, it's a terribly inefficient algorithm. The constraints are applied too late, so a huge number of partial boards are created only to be pruned afterwards. Since

Re: [Haskell-cafe] Filename encoding error (was: Perform a research a la Unix 'find')

2010-08-22 Thread Daniel Fischer
On Sunday 22 August 2010 19:23:03, Yves Parès wrote: > In fact the encoding problem is more general. > > When I simply do 'readFile "bar/fooé"', then I'm told: > *** Exception: bar/fooé: openFile: does not exist (No such file or > directory) Try ghci> readFile (Data.ByteString.Char8.unpack (Data

Re: [Haskell-cafe] Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Vladimir Matveev
I think the problem is with terribly inefficient data representation. I've written sudoku solver some time ago too using different data structures, including Data.Array, Data.Vector and simple lists. Lists are very inefficient in this case, because accessors for lists have O(n) complexity. Immutabl

Re: [Haskell-cafe] Filename encoding error (was: Perform a research a la Unix 'find')

2010-08-22 Thread Alexey Khudyakov
On 22.08.2010 21:23, Yves Parès wrote: In fact the encoding problem is more general. When I simply do 'readFile "bar/fooé"', then I'm told: *** Exception: bar/fooé: openFile: does not exist (No such file or directory) How am I supposed to read files whose names contains non-ASCII characters? (I

[Haskell-cafe] Re: Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread Johannes Waldmann
> sudoku solver using the LogicT monad. > [...] works but it is extremely slow, Any sudoku should be easily solvable by a program that always case-splits on the unknown that has the fewest remaining possible assignments. The proper general framework for this is "finite domain constraint sys

[Haskell-cafe] Filename encoding error (was: Perform a research a la Unix 'find')

2010-08-22 Thread Yves Parès
In fact the encoding problem is more general. When I simply do 'readFile "bar/fooé"', then I'm told: *** Exception: bar/fooé: openFile: does not exist (No such file or directory) How am I supposed to read files whose names contains non-ASCII characters? (I use GHC 6.12.3 under Ubuntu 10.04 32bits

Re: [Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Magnus Therning
On 22/08/10 17:56, Yves Parès wrote: > I looked at both, and I have encoding issues with both. > > My locale is fr_FR.utf8 > For instance, with HSH: > I have a 'bar' directory, containing a file 'fooé' > > run $ "find bar" :: IO [String] > returns me : ["bar", "bar/foo*\233*"] > > and run $ "find b

Re: [Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Yves Parès
I looked at both, and I have encoding issues with both. My locale is fr_FR.utf8 For instance, with HSH: I have a 'bar' directory, containing a file 'fooé' run $ "find bar" :: IO [String] returns me : ["bar", "bar/foo*\233*"] and run $ "find bar -name fooé" returns [] When I provoke an error by

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Andrew Coppin
Felipe Lessa wrote: Hello! I take it that the problem is that libcurl is a C library with a Unix-like build system, and that is the problem that needs Cygwin, right? No. It's completely possible to download a pre-built binary for libcurl (or just about any other OSS library, for that matt

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Stephen Tetley
On 22 August 2010 16:56, Tillmann Rendel wrote: > One needs a compiler and libraries on the one hand, and a bunch of > command-line tools on the other hand. On Windows, MinGW provides the former, > while Cygwin provides a package manager to install the latter. Its not ideal to use MinGW with Cg

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Andrew Coppin
Stephen Tetley wrote: Andrew, I was going to chastise you for being the only Windows developer who has problems with MinGW / MSYS and spreading that unpleasant internet commodity "FUD". However, I've just gone back to mingw.org and its gone from "somewhat confusing" circa the last time I installe

Re: [Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Yves Parès
Thanks for the HSH link, Magnus. Concerning FileManip, it seems that I can't perform easily a case-insensitive search (for instance with find, you just use -iname instead of -name). Am I wrong? 2010/8/22 Magnus Therning > On 22/08/10 16:32, Yves Parès wrote: > > Hello, > > > > I would like to

Re: [Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Magnus Therning
On 22/08/10 16:32, Yves Parès wrote: > Hello, > > I would like to recode in Haskell a piece of bash program that uses find. > The advantage of find is that it is quite easy to use and fast. > Is there a package that let us access to find-like functionnalities, with > similar performances? Or at lea

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 08/22/2010 07:19 AM, Jonas Almström Duregård wrote: >> Now, you say it's preferable to use the native package manager >> where possible. I've got one word for you: Windows. You know, the >> most popular OS on the market? The one installed on 98% of

Re: [Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Yves Parès
Thanks, I will take a look at it. 2010/8/22 Erik Hesselink > I've used the FileManip package for this. It works fine for my > purposes. I have no idea what the performance is, though, beyond 'good > enough not to care at the moment'. > > Erik > > On Sun, Aug 22, 2010 at 17:32, Yves Parès wrote

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 08/22/2010 06:41 AM, Andrew Coppin wrote: > Ivan Lazar Miljenovic wrote: >> Hackage has limited support for distro maintainers to state which >> packages are available on the distribution. Last I checked, it >> required >> distro maintainers to ke

Re: [Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Erik Hesselink
I've used the FileManip package for this. It works fine for my purposes. I have no idea what the performance is, though, beyond 'good enough not to care at the moment'. Erik On Sun, Aug 22, 2010 at 17:32, Yves Parès wrote: > Hello, > > I would like to recode in Haskell a piece of bash program th

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Tillmann Rendel
Felipe Lessa wrote: I take it that the problem is that libcurl is a C library with a Unix-like build system, and that is the problem that needs Cygwin, right? One needs a compiler and libraries on the one hand, and a bunch of command-line tools on the other hand. On Windows, MinGW provides the

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Joachim Breitner
Hi, Am Sonntag, den 22.08.2010, 10:55 +0100 schrieb Andrew Coppin: > Browsing around Hackage, I notice that a seemingly random subset of > packages are available for something called "arch linux". Presumably > some sort of automatic conversion system is involved, but does anyone > know why only

[Haskell-cafe] Perform a research a la Unix 'find'

2010-08-22 Thread Yves Parès
Hello, I would like to recode in Haskell a piece of bash program that uses find. The advantage of find is that it is quite easy to use and fast. Is there a package that let us access to find-like functionnalities, with similar performances? Or at least some C functions that could be used through t

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Ivan S. Freitas
> It looks as if it's automated for Arch, however. Either that or somebody is > spending an absurd amount of time keeping it manually up to date. Yeah, it's automated, Don Stewart made a script to do that. http://archhaskell.wordpress.com/ -- == Ivan S

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

2010-08-22 Thread John Millikin
On Sat, Aug 21, 2010 at 23:14, Paulo Tanimoto wrote: > One question: enumFile has type > >    enumFile :: FilePath -> Enumerator SomeException ByteString IO b > > and iterParser has type > >    iterParser :: Monad m => Parser a -> Iteratee ParseError ByteString m a > > How do we use both together?

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Martin DeMello
On Sun, Aug 22, 2010 at 5:04 PM, Stephen Tetley wrote: > Andrew, I was going to chastise you for being the only Windows > developer who has problems with MinGW / MSYS and spreading that > unpleasant internet commodity "FUD". However, I've just gone back to > mingw.org and its gone from "somewhat c

[Haskell-cafe] Simple Sudoku solver using Control.Monad.Logic

2010-08-22 Thread azwhaley
Hello All, Apologies if some have you have got this twice but I posted this once via fa.haskell on Goggle but I don't think it goes anywhere outside Google. In an attempt to learn how to use monads, I've tried to write a simple sudoku solver using the LogicT monad. I think it works but it is extr

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Stephen Tetley
On 22 August 2010 13:48, Felipe Lessa wrote: > I take it that the problem is that libcurl is a C library with a > Unix-like build system, and that is the problem that needs Cygwin, > right? No - generally you don't want to compile bindings with Cygwin, compiling with Cygwin brings in dependencie

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Felipe Lessa
Hello! I take it that the problem is that libcurl is a C library with a Unix-like build system, and that is the problem that needs Cygwin, right? I'm not a Windows expert, but having C code is perfectly fine, I guess. My 'hipmunk' library includes a whole C library. When I tried to 'cabal insta

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Stephen Tetley
Andrew, I was going to chastise you for being the only Windows developer who has problems with MinGW / MSYS and spreading that unpleasant internet commodity "FUD". However, I've just gone back to mingw.org and its gone from "somewhat confusing" circa the last time I installed (Christmas 2009) to "f

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Ivan Lazar Miljenovic
Jonas Almström Duregård writes: >> Now, you say it's preferable to use the native package manager where >> possible. I've got one word for you: Windows. You know, the most popular OS >> on the market? The one installed on 98% of all computers world-wide? Guess >> what: no native package manager.

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Jonas Almström Duregård
> Now, you say it's preferable to use the native package manager where > possible. I've got one word for you: Windows. You know, the most popular OS > on the market? The one installed on 98% of all computers world-wide? Guess > what: no native package manager. Isn't Windows Installer (MSI) a packa

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Ivan Lazar Miljenovic
Andrew Coppin writes: > Ivan Lazar Miljenovic wrote: >> Hackage has limited support for distro maintainers to state which >> packages are available on the distribution. Last I checked, it required >> distro maintainers to keep a text file somewhere up to date. >> >> Note that not all distributio

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Andrew Coppin
Ivan Lazar Miljenovic wrote: Hackage has limited support for distro maintainers to state which packages are available on the distribution. Last I checked, it required distro maintainers to keep a text file somewhere up to date. Note that not all distributions bother. Yeah, I figured. I don't

Re: [Haskell-cafe] Hackage on Linux

2010-08-22 Thread Ivan Lazar Miljenovic
Andrew Coppin writes: > Browsing around Hackage, I notice that a seemingly random subset of > packages are available for something called "arch linux". Presumably > some sort of automatic conversion system is involved, but does anyone > know why only certain packages appear? > > I've noticed that

[Haskell-cafe] Hackage on Linux

2010-08-22 Thread Andrew Coppin
Browsing around Hackage, I notice that a seemingly random subset of packages are available for something called "arch linux". Presumably some sort of automatic conversion system is involved, but does anyone know why only certain packages appear? I've noticed that both Debian and OpenSUSE have

Re: [Haskell-cafe] Code that writes code

2010-08-22 Thread Ivan Lazar Miljenovic
Jesse Schalken writes: > I would also like to strongly discourage code generators. > > Any code that has to be "generated" can and should have its common > characteristics separated out with only unique characterstic remaining > typically with an interface (i.e. type class) or polymorphic type >

Re: [Haskell-cafe] Unix emulation

2010-08-22 Thread Andrew Coppin
gdwe...@iue.edu wrote: I will try my hand at building a Windows binary for Sifflet and making it available for folks to download. I too was going to have a go at this. I had a Windows VM (so I don't ruin my *real* Windows box) and I was going to set up all the junk which is apparently nece

Re: [Haskell-cafe] Code that writes code

2010-08-22 Thread Andrew Coppin
Jesse Schalken wrote: I would also like to strongly discourage code generators. Any code that has to be "generated" can and should have its common characteristics separated out with only unique characterstic remaining typically with an interface (i.e. type class) or polymorphic type dividing th

Re: [Haskell-cafe] Code that writes code

2010-08-22 Thread Andrew Coppin
Bill Atkins wrote: Have you looked at creating Template Haskell splices to generate this for you? The thought had crossed my mind. On the other hand, with my current approach, the generated code is just another source file that doesn't look any different. On reflection, I kinda like that.

Re: [Haskell-cafe] Code that writes code

2010-08-22 Thread Jesse Schalken
I would also like to strongly discourage code generators. Any code that has to be "generated" can and should have its common characteristics separated out with only unique characterstic remaining typically with an interface (i.e. type class) or polymorphic type dividing the two, creating a separa