[Haskell-cafe] The RTSOPTS "-qm" flag's impact on runtime

2013-09-30 Thread Iustin Pop
Hi all, I found an interesting case where the rtsopts -qm flag makes a significant difference in runtime (~50x). This is using GHC 7.6.3, llvm 3.4, program compiled with "-threaded -O2 -fllvm" and a couple of language extension. Source is at http://benchmarksgame.alioth.debian.org/u64q/benchmark.

Re: [Haskell-cafe] GSoC Project Proposal: Markdown support for Haddock

2013-04-04 Thread Iustin Pop
On Thu, Apr 04, 2013 at 06:41:19PM +0100, Edsko de Vries wrote: > Yes please! +1 as well. I find the current syntax too restrictive… iustin > On Thu, Apr 4, 2013 at 5:49 PM, Johan Tibell wrote: > > > Hi all, > > > > Haddock's current markup language leaves something to be desired once > > you

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-09 Thread Iustin Pop
On Sat, Feb 09, 2013 at 09:56:12AM +0100, Johan Holmquist wrote: > As a software developer, who typically inherits code to work on rather > than simply writing new, I see a potential of aggressive compiler > optimizations causing trouble. It goes like this: > > Programmer P inherits some applicati

Re: [Haskell-cafe] Is it possible to have constant-space JSON decoding?

2012-12-04 Thread Iustin Pop
On Tue, Dec 04, 2012 at 03:58:24PM +0100, Herbert Valerio Riedel wrote: > Iustin Pop writes: > > [...] > > > Let's say we have a simple JSON message: an array of 5 million numbers. > > I would like to parse this in constant space, such that if I only need > &g

Re: [Haskell-cafe] Is it possible to have constant-space JSON decoding?

2012-12-04 Thread Iustin Pop
On Tue, Dec 04, 2012 at 09:47:52AM -0500, Clark Gaebel wrote: > Aeson is used for the very common usecase of short messages that need to be > parsed as quickly as possible into a static structure. A lot of things are > sacrificed to make this work, such as incremental parsing and good error > messa

Re: [Haskell-cafe] Is it possible to have constant-space JSON decoding?

2012-12-04 Thread Iustin Pop
On Tue, Dec 04, 2012 at 12:23:19PM -0200, Felipe Almeida Lessa wrote: > Aeson doesn't have an incremental parser so it'll be > difficult/impossible to do what you want. I guess you want an > event-based JSON parser, such as yajl [1]. I've never used this > library, though. Ah, I see. Thanks, I w

[Haskell-cafe] Is it possible to have constant-space JSON decoding?

2012-12-04 Thread Iustin Pop
Hi, I'm trying to parse a rather simple but big JSON message, but it turns out that memory consumption is a problem, and I'm not sure what the actual cause is. Let's say we have a simple JSON message: an array of 5 million numbers. I would like to parse this in constant space, such that if I only

Re: [Haskell-cafe] curl package broken in Windows

2012-11-13 Thread Iustin Pop
On Mon, Nov 12, 2012 at 02:43:32PM -0800, Iavor Diatchki wrote: > Hi, > > Ok, there were only minor differences between the repo and the version on > hackage so I imported the changes into the repo, which should now be the > same as version 1.3.7 on hackage. > Please feel free to submit merge requ

Re: [Haskell-cafe] curl package broken in Windows

2012-11-13 Thread Iustin Pop
On Mon, Nov 12, 2012 at 08:23:21PM -0500, Michael Orlitzky wrote: > On 11/12/12 17:43, Iavor Diatchki wrote: > > Hi, > > > > Ok, there were only minor differences between the repo and the version > > on hackage so I imported the changes into the repo, which should now be > > the same as version 1.

Re: [Haskell-cafe] curl package broken in Windows

2012-11-12 Thread Iustin Pop
On Mon, Nov 12, 2012 at 10:57:25PM +0100, Iustin Pop wrote: > On Mon, Nov 12, 2012 at 01:48:23PM -0800, Iavor Diatchki wrote: > > Hi, > > > > the curl binding certainly needs some love---if anyone has the time to fix > > it up and maintain it, help would be most apprec

Re: [Haskell-cafe] Quickcheck

2012-11-12 Thread Iustin Pop
On Mon, Nov 12, 2012 at 10:14:30PM +0100, Simon Hengel wrote: > On Mon, Nov 12, 2012 at 07:21:06PM +, gra...@fatlazycat.com wrote: > > Hi, > > > > Trying to find some good docs on QuickCheck, if anyone has one ? > > > > Been scanning what I can find, but a question. > > > > What would be th

Re: [Haskell-cafe] curl package broken in Windows

2012-11-12 Thread Iustin Pop
On Mon, Nov 12, 2012 at 01:48:23PM -0800, Iavor Diatchki wrote: > Hi, > > the curl binding certainly needs some love---if anyone has the time to fix > it up and maintain it, help would be most appreciated. There is a repo for > it over here: https://github.com/GaloisInc/curl which is the most up-

Re: [Haskell-cafe] Defining a Strict language pragma

2012-11-05 Thread Iustin Pop
On Mon, Nov 05, 2012 at 02:52:56PM -0800, Johan Tibell wrote: > Hi all, > > I would like to experiment with writing some modules (e.g. low-level > modules that do a lot of bit twiddling) in a strict subset of Haskell. The > idea is to remove boilerplate bangs (!) and instead declare the whole > mo

Re: [Haskell-cafe] Optimal line length for haskell

2012-10-29 Thread Iustin Pop
On Mon, Oct 29, 2012 at 03:50:57PM +, Niklas Hambüchen wrote: > I would prefer to completely ignore line lengths when writing Haskell. > > In general, giving good names to things in where-clauses automatically > keeps my code "short enough". > > My opinion is that different people like differ

Re: [Haskell-cafe] Optimal line length for haskell

2012-10-29 Thread Iustin Pop
On Mon, Oct 29, 2012 at 05:20:20PM +0530, Rustom Mody wrote: > There was a recent discussion on the python list regarding maximum line > length. > It occured to me that beautiful haskell programs tend to be plump (ie have > long lines) compared to other languages whose programs are 'skinnier'. > My

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-10-28 Thread Iustin Pop
On Sun, Oct 28, 2012 at 05:10:39PM +0100, Changaco wrote: > On Sun, 28 Oct 2012 16:39:10 +0100 Iustin Pop wrote: > > Sure, but I was talking about a proper certificate signed by a > > well-known registrar, at which point the https client would default to > > verify the signatu

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-10-28 Thread Iustin Pop
On Sun, Oct 28, 2012 at 04:26:07PM +0100, Changaco wrote: > On Sun, 28 Oct 2012 14:45:02 +0100 Iustin Pop wrote: > > Kindly disagree here. Ensuring that packages are downloaded > > safely/correctly without MITM attacks is also important. Even if as an > > option. > >

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-10-28 Thread Iustin Pop
On Sun, Oct 28, 2012 at 03:53:04PM +0100, Petr P wrote: > 2012/10/28 Iustin Pop : > > On Sun, Oct 28, 2012 at 01:38:46PM +0100, Petr P wrote: > >> does cabal need to do any authenticated stuff? For downloading > >> packages I think HTTP is perfectly fine. So we cou

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-10-28 Thread Iustin Pop
On Sun, Oct 28, 2012 at 01:38:46PM +0100, Petr P wrote: > Erik, > > does cabal need to do any authenticated stuff? For downloading > packages I think HTTP is perfectly fine. So we could have HTTP for > cabal download only and HTTPS for everything else. Kindly disagree here. Ensuring that packag

Re: [Haskell-cafe] serialize an unknown type

2012-10-21 Thread Iustin Pop
user to pass an Event back to the engine. > The problem is that it seems that web-routes only accepts Strings (or some > known types) to be passed on the web route, whereas I need to pass random > types. Are you sure you need to pass random types? Can't you define a (large) set

Re: [Haskell-cafe] serialize an unknown type

2012-10-21 Thread Iustin Pop
On Sun, Oct 21, 2012 at 07:20:10PM +0200, Corentin Dupont wrote: > Hi, > Sorry if it was not enough explicit. > I want to write functions like this: > > serialize :: (Show a) => Event a -> IO () > deserialize :: (Read a) => IO () -> Event a > > The functions would write and read the data in a fil

Re: [Haskell-cafe] Network.Curl cookie jar madness

2012-08-19 Thread Iustin Pop
On Sun, Aug 19, 2012 at 06:06:53PM +0200, Iustin Pop wrote: > On Sun, Aug 19, 2012 at 12:45:47AM -0400, Michael Orlitzky wrote: > > On 08/18/2012 08:52 PM, Michael Orlitzky wrote: > > > I'm one bug away from a working program and need some help. I wrote a > > &g

Re: [Haskell-cafe] Network.Curl cookie jar madness

2012-08-19 Thread Iustin Pop
On Sun, Aug 19, 2012 at 12:45:47AM -0400, Michael Orlitzky wrote: > On 08/18/2012 08:52 PM, Michael Orlitzky wrote: > > I'm one bug away from a working program and need some help. I wrote a > > little utility that logs into LWN.net, retrieves an article, and creates > > an epub out of it. > > I've

Re: [Haskell-cafe] Network.Curl cookie jar madness

2012-08-18 Thread Iustin Pop
On Sat, Aug 18, 2012 at 08:52:00PM -0400, Michael Orlitzky wrote: > I'm one bug away from a working program and need some help. I wrote a > little utility that logs into LWN.net, retrieves an article, and creates > an epub out of it. Full code here: > > git clone http://michael.orlitzky.com/git/

Re: [Haskell-cafe] On the purity of Haskell

2011-12-29 Thread Iustin Pop
On Thu, Dec 29, 2011 at 05:55:24PM +0100, Iustin Pop wrote: > On Thu, Dec 29, 2011 at 05:51:57PM +0100, Jerzy Karczmarczuk wrote: > > Iustin Pop:: > > >In practice too: > > > > > >bar _ = do > > >s<- readFile "/tmp/x.txt" > >

Re: [Haskell-cafe] On the purity of Haskell

2011-12-29 Thread Iustin Pop
On Thu, Dec 29, 2011 at 05:51:57PM +0100, Jerzy Karczmarczuk wrote: > Iustin Pop:: > >In practice too: > > > >bar _ = do > >s<- readFile "/tmp/x.txt" > >return (read s) > > > >Once you're in a monad that has 'state&#

Re: [Haskell-cafe] On the purity of Haskell

2011-12-29 Thread Iustin Pop
On Thu, Dec 29, 2011 at 07:19:17AM -0600, Gregg Reynolds wrote: > On Wed, Dec 28, 2011 at 2:44 PM, Heinrich Apfelmus > wrote: > > > > The beauty of the IO monad is that it doesn't change anything about purity. > > Applying the function > > > >   bar :: Int -> IO Int > > > > to the value 2 will alw

Re: [Haskell-cafe] Windows: openFile gives permission denied when file in use

2011-12-29 Thread Iustin Pop
On Thu, Dec 29, 2011 at 12:20:18PM +, Andrew Coppin wrote: > >>Every time I hear "oh, I don't think Windows can > >>handle that", I sigh with resignation. > > > >Sorry to say, but it seems you yourself are unaware of the "extensive > >and highly flexible" locking facilities on Linux :) The defa

Re: [Haskell-cafe] Windows: openFile gives permission denied when file in use

2011-12-29 Thread Iustin Pop
On Thu, Dec 29, 2011 at 11:49:11AM +, Andrew Coppin wrote: > On 29/12/2011 04:29 AM, Antoine Latter wrote: > >On Wed, Dec 28, 2011 at 3:52 PM, Michael Snoyman wrote: > >>Hi all, > >> > >>I just received a bug report from a client that, when an input file is > >>open in FrameMaker, my program g

Re: [Haskell-cafe] Generating Code

2011-12-10 Thread Iustin Pop
On Fri, Dec 09, 2011 at 10:30:18PM +0100, L Corbijn wrote: > The major set of problems for using template haskell is that it > doesn't have the correct features, or better said it tries to solve > another problem. Template haskell generates code into an existing > module, while for this problem the

Re: [Haskell-cafe] ANN: Monad.Reader Issue 19

2011-10-30 Thread Iustin Pop
On Wed, Oct 26, 2011 at 03:17:47PM -0400, Brent Yorgey wrote: > I am pleased to announce that Issue 19 of The Monad.Reader, a special > issue on parallelism and concurrency, is now available: > > http://themonadreader.files.wordpress.com/2011/10/issue19.pdf Thanks a lot for the TMR, it's a plea

Re: [Haskell-cafe] Function composition in run-time?

2011-08-24 Thread Iustin Pop
On Wed, Aug 24, 2011 at 04:57:19PM +0400, dokondr wrote: > On Wed, Aug 24, 2011 at 4:44 PM, Iustin Pop wrote: > > > On Wed, Aug 24, 2011 at 04:35:42PM +0400, dokondr wrote: > > > Hi, > > > What is the Haskell way to compose functions in run-time? > > >

Re: [Haskell-cafe] Function composition in run-time?

2011-08-24 Thread Iustin Pop
On Wed, Aug 24, 2011 at 04:35:42PM +0400, dokondr wrote: > Hi, > What is the Haskell way to compose functions in run-time? > Depending on configuration parameters I need to be able to compose function > in several ways without recompilation. > When program starts it reads configuration parameters f

Re: [Haskell-cafe] how to read CPU time vs wall time report from GHC?

2011-08-14 Thread Iustin Pop
On Sun, Aug 14, 2011 at 08:32:36PM +0200, Wishnu Prasetya wrote: > On 14-8-2011 20:25, Iustin Pop wrote: > >On Sun, Aug 14, 2011 at 08:11:36PM +0200, Wishnu Prasetya wrote: > >>Hi guys, > >> > >>I'm new in parallel programming with Haskell. I made

Re: [Haskell-cafe] how to read CPU time vs wall time report from GHC?

2011-08-14 Thread Iustin Pop
On Sun, Aug 14, 2011 at 08:11:36PM +0200, Wishnu Prasetya wrote: > Hi guys, > > I'm new in parallel programming with Haskell. I made a simple test > program using that par combinator etc, and was a bit unhappy that it > turns out to be slower than its sequential version. But firstly, I > dont ful

Re: [Haskell-cafe] Haskell Weekly News: Issue 187

2011-06-23 Thread Iustin Pop
On Thu, Jun 23, 2011 at 01:26:58PM -0400, Daniel Santa Cruz wrote: > Lyndon, > > The links are minimized in hopes of making the plain text version > somewhat readable. It is purely for aesthetical reasons. If you view > the web version > http://contemplatecode.blogspot.com/2011/06/haskell-weekly-n

Re: [Haskell-cafe] Why is there no "splitSeperator" function inData.List

2011-02-14 Thread Iustin Pop
On Sun, Feb 13, 2011 at 11:33:16PM -0800, Donn Cave wrote: > > It is curious though that the Python community managed to agree on a > > single implementation and include that in the standard library > > To me, it's more like 2 implementations, overloaded on the same > function name. > > Python 2.

Re: [Haskell-cafe] Why is there no "splitSeperator" function in Data.List

2011-02-13 Thread Iustin Pop
On Sun, Feb 13, 2011 at 11:21:42AM +0100, Henning Thielemann wrote: > > On Sun, 13 Feb 2011, Iustin Pop wrote: > > >On Sat, Feb 12, 2011 at 11:21:37AM -0500, Gwern Branwen wrote: > >> > >>See http://hackage.haskell.org/package/split > >> > >>Th

Re: [Haskell-cafe] Why is there no "splitSeperator" function in Data.List

2011-02-13 Thread Iustin Pop
ackage. > > On Sun, Feb 13, 2011 at 5:50 PM, Iustin Pop wrote: > > On Sat, Feb 12, 2011 at 11:21:37AM -0500, Gwern Branwen wrote: > >> On Sat, Feb 12, 2011 at 11:00 AM, Robert Clausecker > >> wrote: > >> > Is there any reason, that one can't find a fun

Re: [Haskell-cafe] Why is there no "splitSeperator" function in Data.List

2011-02-13 Thread Iustin Pop
On Sat, Feb 12, 2011 at 11:21:37AM -0500, Gwern Branwen wrote: > On Sat, Feb 12, 2011 at 11:00 AM, Robert Clausecker wrote: > > Is there any reason, that one can't find a function that splits a list > > at a seperator in the standard library? I imagined something like this: > > > > > >    splitSep

Re: [Haskell-cafe] HDBC, postgresql, bytestrings and embedded NULLs

2011-01-07 Thread Iustin Pop
On Fri, Jan 07, 2011 at 09:49:35AM -0600, John Goerzen wrote: > On 01/07/2011 05:24 AM, Michael Snoyman wrote: > >On Fri, Jan 7, 2011 at 11:44 AM, Iustin Pop wrote: > >Yes, I had a bug reported in persistent-postgresql that I traced back > >to this bug. I reported the b

[Haskell-cafe] HDBC, postgresql, bytestrings and embedded NULLs

2011-01-07 Thread Iustin Pop
Hi all, It seems that (at least) the postgresql bindings do not allow pure binary data. I have a simple table: debug=# create table test (name bytea); byteas seems to be the backing type on the DB side for bytestrings. and then I run this: import Database.HDBC.PostgreSQL import Database

Re: [Haskell-cafe] Type System vs Test Driven Development

2011-01-05 Thread Iustin Pop
On Wed, Jan 05, 2011 at 10:27:29PM +0100, Gregory Collins wrote: > Once I had written the test harness, I spent literally less than a > half-hour setting this up. Highly recommended, even if it is a (blech) > Java program. Testing is one of the few areas where I think our > "software engineering" t

[Haskell-cafe] Network.Curl and thread safety

2011-01-05 Thread Iustin Pop
Hi all, I'm not able to find out how one can use Network.Curl with the threaded runtime safely. I have this simple example: import Network.Curl import Control.Concurrent import Control.Concurrent.MVar getUrl :: (Monad m) => String -> IO (m String) getUrl url = do (code, body) <- curlGetString

Re: [Haskell-cafe] ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine

2010-11-30 Thread Iustin Pop
On Tue, Nov 30, 2010 at 02:16:07PM -0800, Adam Wick wrote: > Galois, Inc. is pleased to announce the immediate release of the > Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The > HaLVM is a port of the GHC runtime system to the Xen hypervisor, > allowing programmers to create Haskel

Re: [Haskell-cafe] An interesting paper from Google

2010-10-15 Thread Iustin Pop
On Fri, Oct 15, 2010 at 11:08:14PM +0100, Andrew Coppin wrote: > On 15/10/2010 10:43 PM, Iustin Pop wrote: > >On Fri, Oct 15, 2010 at 09:28:09PM +0100, Andrew Coppin wrote: > >>I'm surprised about the profiler. They seem really, really impressed > >>with it. Whi

Re: [Haskell-cafe] An interesting paper from Google

2010-10-15 Thread Iustin Pop
On Fri, Oct 15, 2010 at 09:28:09PM +0100, Andrew Coppin wrote: > http://k1024.org/~iusty/papers/icfp10-haskell-reagent.pdf > > I'm sure some of you have seen this already. For those who lack the > time or inclination to read through the (six) pages of this report, > here's the summary... Nice su

Re: [Haskell-cafe] Does anyone know the reason for differeng measurements in profiling under -threaded?

2010-04-22 Thread Iustin Pop
On Fri, Apr 23, 2010 at 12:14:29AM +0200, Jesper Louis Andersen wrote: > Hi, > > I am asking if anyone has seen the following behaviour from GHC under > -threaded and heavy use of File I/O, network I/O and STM use. After > having run Combinatorrent for a while and then terminating it, we get > the

Re: [Haskell-cafe] What is the consensus about -fwarn-unused-do-bind ?

2010-04-09 Thread Iustin Pop
On Fri, Apr 09, 2010 at 09:07:29AM -0700, Bryan O'Sullivan wrote: > On Fri, Apr 9, 2010 at 6:44 AM, Ivan Lazar Miljenovic < > ivan.miljeno...@gmail.com> wrote: > > > > > As of 6.12.1, the new -fwarn-unused-do-bind warning is activated with > > -Wall. This is based off a bug report by Neil Mitchel

Re: [Haskell-cafe] OT: the format checker for ICFP 2010 papers, help!

2010-04-01 Thread Iustin Pop
On Thu, Apr 01, 2010 at 05:25:44PM +0100, Thomas Schilling wrote: > Do you perhaps have some text that run into the margins? If I have > references of the form "Longname~\emph{et~al.}~\cite{foobar}" Latex > does not know how to split this up the text extends into the margins. > A similar problem m

[Haskell-cafe] OT: the format checker for ICFP 2010 papers, help!

2010-04-01 Thread Iustin Pop
This is off-topic, apologies in advance, but I hope people here have experience with this. I submitted a paper for ICFP but the paper checker says: “Margins too small: text block bigger than maximum 7in x 9in on pages 1–6 by 4–5% in at least one dimension”. Now, I've used the standard class file

Re: [Haskell-cafe] Bytestrings and [Char]

2010-03-23 Thread Iustin Pop
On Tue, Mar 23, 2010 at 11:22:23AM -0700, Bryan O'Sullivan wrote: > 2010/3/23 Iustin Pop > > > I agree with the principle of correctness, but let's be honest - it's > > (many) orders of magnitude between ByteString and String and Text, not > > just a few

Re: [Haskell-cafe] Bytestrings and [Char]

2010-03-23 Thread Iustin Pop
On Tue, Mar 23, 2010 at 03:31:33PM -0400, Nick Bowler wrote: > On 18:25 Tue 23 Mar , Iustin Pop wrote: > > On Tue, Mar 23, 2010 at 01:21:49PM -0400, Nick Bowler wrote: > > > On 18:11 Tue 23 Mar , Iustin Pop wrote: > > > > I agree with the principle of co

Re: [Haskell-cafe] Bytestrings and [Char]

2010-03-23 Thread Iustin Pop
On Tue, Mar 23, 2010 at 05:53:00PM +, Vincent Hanquez wrote: > On 23/03/10 17:11, Iustin Pop wrote: > >Data.ByteString.Lazy (bytestring readFile + length) -< 10 miliseconds, > >incorrect length (as expected). > > > >Data.ByteString.Lazy.UTF8 (system readFi

Re: [Haskell-cafe] Bytestrings and [Char]

2010-03-23 Thread Iustin Pop
On Tue, Mar 23, 2010 at 01:21:49PM -0400, Nick Bowler wrote: > On 18:11 Tue 23 Mar , Iustin Pop wrote: > > I agree with the principle of correctness, but let's be honest - it's > > (many) orders of magnitude between ByteString and String and Text, not > &g

Re: [Haskell-cafe] Bytestrings and [Char]

2010-03-23 Thread Iustin Pop
On Tue, Mar 23, 2010 at 08:51:16AM -0700, John Millikin wrote: > On Tue, Mar 23, 2010 at 00:27, Johann Höchtl wrote: > > How are ByteStrings (Lazy, UTF8) and Data.Text meant to co-exist? When I > > read bytestrings over a socket which happens to be UTF16-LE encoded and > > identify a fitting funct