Re: [Haskell-cafe] Upgrading to Haskell Platform

2010-03-13 Thread Jason Dagit
On Wed, Mar 10, 2010 at 8:50 AM, David Place d...@vidplace.com wrote: Hi: I am running GHC 6.10.4 on Mac OSX 10.6.2. Somehow, I have a broken version of Cabal (1.6.0.3) installed. In what was is it broken? A co-worker of mine had problem recently where her cabal was giving Bus error

Re: [Haskell-cafe] Space leak

2010-03-13 Thread Jason Dagit
On Thu, Mar 11, 2010 at 3:44 PM, Arnoldo Muller arnoldomul...@gmail.comwrote: Daniel, Thank you so much for helping me out with this issue! Thanks to all the other answers from haskel-cafe members too! As a newbie, I am not able to understand why zip and map would make a problem... Is

Re: [Haskell-cafe] Space leak

2010-03-13 Thread Jason Dagit
On Wed, Mar 10, 2010 at 2:03 PM, Arnoldo Muller arnoldomul...@gmail.comwrote: Hello Justin, I tried and what I saw was a constant increase in memory usage. Any particular profiling option that you would use? A great place to get started with profiling is the chapter in Real-World Haskell:

Re: [Haskell-cafe] Parsec to parse tree structures?

2010-03-18 Thread Jason Dagit
On Sun, Mar 14, 2010 at 9:03 AM, david fries d...@gmx.ch wrote: Hello Café Some time ago I wrote a parser for a project of one our customers. The format was proprietary and binary. The data was structured as a tree with tables pointing to sub tables farther in the file. (Well actually there

Re: [Haskell-cafe] Strange typing?

2010-03-19 Thread Jason Dagit
On Fri, Mar 19, 2010 at 8:15 AM, Ozgur Akgun ozgurak...@gmail.com wrote: Hi Cafe! Disclaimer: I know what I'm going to ask is now available as a language feature normally. Did you mean not available? I don't know of a Haskell language feature for this, so if you really did mean now then

Re: [Haskell-cafe] Takusen and iteratee problem

2010-03-19 Thread Jason Dagit
On Fri, Mar 19, 2010 at 2:17 PM, Vasyl Pasternak vasyl.paster...@gmail.comwrote: Hello Cafe. Today I stuck with the following problem: I want to read a file with iteratee package, and but it to database through Takusen package, but it doesn't work. The `Takusen` was built with `mtl` package,

Re: [Haskell-cafe] Re: Why does `flip` cause function type so different ?

2010-03-19 Thread Jason Dagit
On Fri, Mar 19, 2010 at 5:10 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Heinrich Apfelmus apfel...@quantentunnel.de writes: Ivan Miljenovic wrote: Also, there's a haskell-beginners mailing list. You may wish to post there rather than asking us every question you get

Re: [Haskell-cafe] HTTP package freezes on Windows 7

2010-03-19 Thread Jason Dagit
On Tue, Mar 16, 2010 at 3:12 PM, Phil phil.beadl...@googlemail.com wrote: On 16/03/2010 01:05, Phil wrote: Scrap my original query - the problem isn't as black white as I thought. The below works fine - I've changed the response type from json to xml strange, but for some reason

Re: [Haskell-cafe] Takusen sqlite3 insert is very slow

2010-03-20 Thread Jason Dagit
On Sat, Mar 20, 2010 at 3:32 AM, Vasyl Pasternak vasyl.paster...@gmail.comwrote: Hi Cafe, I have another problem, please look at code: storeInDb = withSession (connect test.db) (do execDDL (sql create table x (y int)) forM_ ([1..1] :: [Int])

[Haskell-cafe] Is hGetLine lazy like hGetContents? And what about this todo item?

2010-03-25 Thread Jason Dagit
Hello, I was trying to figure out if hGetLine is safe to use inside of withFile. Specifically, I want to return the line I read and use it later, without inspecting it before withFile calls hClose. If you want to understand the concern I have, look here:

[Haskell-cafe] Re: Is hGetLine lazy like hGetContents? And what about this todo item?

2010-03-25 Thread Jason Dagit
On Thu, 2010-03-25 at 16:13 +, Simon Marlow wrote: On 25/03/2010 15:40, Jason Dagit wrote: Hello, I was trying to figure out if hGetLine is safe to use inside of withFile. Specifically, I want to return the line I read and use it later, without inspecting it before withFile calls

[Haskell-cafe] Re: Is hGetLine lazy like hGetContents? And what about this todo item?

2010-03-25 Thread Jason Dagit
On Thu, 2010-03-25 at 21:38 +, Simon Marlow wrote: On 25/03/10 17:07, Jason Dagit wrote: On Thu, 2010-03-25 at 16:13 +, Simon Marlow wrote: On 25/03/2010 15:40, Jason Dagit wrote: Hello, I was trying to figure out if hGetLine is safe to use inside of withFile. Specifically, I

Re: [Haskell-cafe] GHC vs GCC

2010-03-26 Thread Jason Dagit
On Fri, Mar 26, 2010 at 10:46 AM, Rafael Cunha de Almeida almeida...@gmail.com wrote: Hello, During a talk with a friend I came up with two programs, one written in C and another in haskell. Haskell main :: IO () main = print $ rangeI 0 0 rangeK :: Int - Int - Int

Re: [Haskell-cafe] GHC vs GCC

2010-03-26 Thread Jason Dagit
On Fri, Mar 26, 2010 at 2:33 PM, Bryan O'Sullivan b...@serpentine.comwrote: On Fri, Mar 26, 2010 at 10:46 AM, Rafael Cunha de Almeida almeida...@gmail.com wrote: During a talk with a friend I came up with two programs, one written in C and another in haskell. Your Haskell code builds a

Re: [Haskell-cafe] Are there any female Haskellers?

2010-03-27 Thread Jason Dagit
On Sat, Mar 27, 2010 at 9:05 AM, Daniel Fischer daniel.is.fisc...@web.dewrote: -Ursprüngliche Nachricht- Von: Günther Schmidt gue.schm...@web.de Gesendet: 27.03.2010 16:14:57 An: haskell-cafe@haskell.org Betreff: [Haskell-cafe] Are there any female Haskellers? Hi all, from the

Re: [Haskell-cafe] GHC vs GCC vs JHC

2010-03-27 Thread Jason Dagit
On Sat, Mar 27, 2010 at 3:25 AM, Neil Mitchell ndmitch...@gmail.com wrote: Hi John, Any chance of seeing the benchmark? You're not the only one with an optimising compiler tucked away somewhere :-) Neil, for some reason John's reply didn't thread with the rest of the thread. Probably

Re: [Haskell-cafe] Internet game servers in Haskell?

2010-03-27 Thread Jason Dagit
On Sat, Mar 27, 2010 at 3:14 AM, Colin Paul Adams co...@colina.demon.co.ukwrote: Has anyone ever written a server in Haskell for managing live game-playing (any game) across the internet? I haven't yet, but I saw someone had a simple MUD-like game engine a few years ago. I don't know if Frag

Re: [Haskell-cafe] Haskell-friendly Linux Distribution

2010-03-28 Thread Jason Dagit
On Sat, Mar 27, 2010 at 9:11 PM, Chris Dornan ch...@chrisdornan.com wrote: Hi, I am choosing a Linux distribution for a production Haskell project and would would normally just go with Debian (pedigree, stability, and of course Haskell Platfom included) but CentOS is in the frame. Are

Re: [Haskell-cafe] Testing for valid data

2010-03-28 Thread Jason Dagit
On Sat, Mar 27, 2010 at 2:42 PM, michael rice nowg...@yahoo.com wrote: Hi Ketil, Good point, but I think it side-steps the question. Haskell coughs on a data value. Do we grep our data, finding and fixing the offender, or build extensive data tests into our application code? I'm not

Re: [Haskell-cafe] Re: Are there any female Haskellers?

2010-03-28 Thread Jason Dagit
2010/3/28 Pekka Enberg penb...@cs.helsinki.fi 2010/3/28 Günther Schmidt gue.schm...@web.de: This is definately a point where we will continue to disagree. I found myself assuming that there are no female haskellers and wanted to verify it by asking for data. So what exactly is off-topic

Re: [Haskell-cafe] Re: Are there any female Haskellers?

2010-03-28 Thread Jason Dagit
On Sun, Mar 28, 2010 at 8:29 PM, wren ng thornton w...@freegeek.org wrote: Jon Fairbairn wrote: Another (provocative) observation is that most of the women programmers I've known were good at it and thought they might not be, but most of the men claimed to be good at it but were not.

Re: [Haskell-cafe] Re: Haskell-friendly Linux Distribution

2010-03-29 Thread Jason Dagit
On Sun, Mar 28, 2010 at 4:53 AM, Joachim Breitner nome...@debian.orgwrote: Hi, Am Sonntag, den 28.03.2010, 09:04 +0100 schrieb Magnus Therning: I have to say it looks like Debian has gotten their act together somewhat when it comes to Haskel development. Many of the reasons for my

Re: [Haskell-cafe] Trying to figure out a segfault caused by haskeline.

2010-03-29 Thread Jason Dagit
On Mon, Mar 29, 2010 at 7:37 PM, ryan winkelmaier syfra...@gmail.comwrote: Hey everyone, I'm looking for help with a seg fault that takes out both my ghci and darcs as well as anything that uses haskeline. A bug on the haskeline trac hasn't gotten any response so I figured I might as well

Re: [Haskell-cafe] Re: GSOC Haskell Project

2010-03-31 Thread Jason Dagit
On Wed, Mar 31, 2010 at 7:21 AM, Simon Marlow marlo...@gmail.com wrote: On 30/03/2010 20:57, Mihai Maruseac wrote: I'd like to introduce my idea for the Haskell GSOC of this year. In fact, you already know about it, since I've talked about it here on the haskell-cafe, on my blog and on

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

2010-04-01 Thread Jason Dagit
On Thu, Apr 1, 2010 at 7:10 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Don Stewart d...@galois.com writes: Portability? You already have GHC on the machine, right? You don't necessarily need the GHC API to get something prototyped quickly. I meant in the sense of writing

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

2010-04-01 Thread Jason Dagit
On Thu, Apr 1, 2010 at 6:13 PM, Rogan Creswick cresw...@gmail.com wrote: On Thu, Apr 1, 2010 at 3:52 PM, Thomas Tuegel ttue...@gmail.com wrote: At this point, the package author need only run: $ ./Setup configure $ ./Setup build $ ./Setup test My general feeling has been that Setup

Re: [Haskell-cafe] A function that makes list of Bool lists from list of Int lists

2010-04-03 Thread Jason Dagit
On Sat, Apr 3, 2010 at 7:29 AM, Maur Toter mauro19...@gmail.com wrote: Hey, thanks for the help! Yes it is part of a homework that I can't find out (I am fine with other parts). This is not the homework itself, just the part of it and I needed help with it, thanks for that! I would like

Re: [Haskell-cafe] Profiling

2010-04-03 Thread Jason Dagit
On Sun, Feb 21, 2010 at 9:11 AM, Thomas DuBuisson thomas.dubuis...@gmail.com wrote: How do I tell Cabal to install the necessary code? set: library-profiling: True in your ~/.cabal/config file and never deal with this again (for any new packages you install). use --reinstall -p to updat

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

2010-04-05 Thread Jason Dagit
On Mon, Apr 5, 2010 at 12:27 PM, Jacques Carette care...@mcmaster.cawrote: Don Stewart wrote: I think we don't see as much metaprogramming because of other language features -- laziness, operator syntax, and type classes -- make a bunch of common designs work without needing metaprogramming.

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

2010-04-06 Thread Jason Dagit
On Tue, Apr 6, 2010 at 5:49 PM, Thomas Schilling nomin...@googlemail.comwrote: Ok, based on both your and Ivan's comments I modified a bit more. http://i.imgur.com/cumLj.png Making the top columns and the lower columns the same width looks bad, but I agree that the large margin between the

Re: [Haskell-cafe] ANNOUNCE: Hac phi 2010

2010-04-07 Thread Jason Dagit
2010/4/7 Chris Casinghino chris.casingh...@gmail.com Greetings, I am very pleased to officially announce Hac phi 2010, a Haskell hackathon/get-together to be held May 21-23 at the University of Pennsylvania in Philadelphia. The hackathon will officially kick off at 2:30 Friday afternoon,

Re: [Haskell-cafe] Confusions about the Haskell Platform (for Mac)

2010-04-07 Thread Jason Dagit
On Wed, Apr 7, 2010 at 2:57 PM, Malcolm Wallace malcolm.wall...@cs.york.ac.uk wrote: The platform installer is supposed to erase previous platform editions before it installs itself. I would consider that a serious bug. Lacking a feature I would consider essential /= a bug in my

Re: [Haskell-cafe] GHC LLVM ARM Cross Compilation

2010-04-07 Thread Jason Dagit
On Wed, Apr 7, 2010 at 6:06 PM, Nathaniel Neitzke night...@gmail.comwrote: I saw the Google Summer of Code project for using LLVM to cross compile for other architectures such as ARM. Professionally I write embedded Linux code that targets ARM processors such as the TI DaVinci DM355 and am

Re: [Haskell-cafe] HDBC-ODBC and SqlValues

2010-04-07 Thread Jason Dagit
On Wed, Apr 7, 2010 at 9:08 PM, Tim Docker t...@dockerz.net wrote: I'm experimenting with haskell and relational databases. I have successfully coupled unixodbc + freetds + hdbc-odbc, and can make trivial queries. However, I'm surprised at the result types: $ ghci GHCi, version 6.10.3:

Re: [Haskell-cafe] HDBC-ODBC and SqlValues

2010-04-07 Thread Jason Dagit
On Wed, Apr 7, 2010 at 9:45 PM, Jason Dagit da...@codersbase.com wrote: darcs get --lazy http://darcs.haskell.org/takusen Oops. That's a dead link, try this instead: darcs get --lazy http://code.haskell.org/takusen/ http://code.haskell.org/takusen

Re: [Haskell-cafe] Cabal dependency hell

2010-04-11 Thread Jason Dagit
On Sun, Apr 11, 2010 at 9:26 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: On Mon, 2010-03-08 at 13:33 +, Maciej Piechotka wrote: While I love Haskell it's packaging system have some problems - especially with parsec. Currently I'm not able to install an practically anything

Re: [Haskell-cafe] dependent types

2010-04-11 Thread Jason Dagit
On Sun, Apr 11, 2010 at 1:59 AM, Andrew U. Frank fr...@geoinfo.tuwien.ac.at wrote: in modeling real application we have often the case that the type of some object depends on a value. e.g. small_boat is a vessel with size less than a constant. big_boat is a vessel with a larger size. for

Re: [Haskell-cafe] dependent types

2010-04-11 Thread Jason Dagit
On Sun, Apr 11, 2010 at 4:15 PM, Ozgur Akgun ozgurak...@gmail.com wrote: On 11 April 2010 22:54, Jason Dagit da...@codersbase.com wrote: ... class Vehicle a where data Car data Truck instance Vehicle Car where instance Vehicle Truck where Now you can have things that take a Car

Re: [Haskell-cafe] floating-point comparison (was haskell gsoc proposal for richer numerical type classes and supporting algorithms)

2010-04-11 Thread Jason Dagit
On Thu, Apr 8, 2010 at 7:29 PM, Doug Burke doug_j_bu...@yahoo.com wrote: --- On Thu, 4/8/10, Gregory Crosswhite gcr...@phys.washington.edu wrote: From: Gregory Crosswhite gcr...@phys.washington.edu On a tangental note, I've considered coding up a package with an AlmostEq typeclass

Re: [Haskell-cafe] Cabal dependency hell

2010-04-12 Thread Jason Dagit
On Mon, Apr 12, 2010 at 4:00 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: On Sun, 2010-04-11 at 14:28 -0700, Jason Dagit wrote: I've noticed another type of diamond dependency problem. Suppose I build and install Foo today and it depends on Bar 2.0.0. In a week, I install Bar

Re: [Haskell-cafe] dependent types

2010-04-12 Thread Jason Dagit
On Mon, Apr 12, 2010 at 4:32 AM, Ben Millwood hask...@benmachine.co.ukwrote: Personally I think this approach is all rather OO. The way that seems most natural to me is: moveVehicleAcrossBridge :: Bridge - Vehicle - Maybe Move moveVehicleAcrossBridge bridge { maxWeight = max } vehicle {

Re: [Haskell-cafe] GHC, odd concurrency space leak

2010-04-14 Thread Jason Dagit
On Wed, Apr 14, 2010 at 2:13 PM, Gregory Collins g...@gregorycollins.netwrote: Jesper Louis Andersen jesper.louis.ander...@gmail.com writes: This post describes some odd behaviour I have seen in GHC 6.12.1 when writing Combinatorrent. The post is literate Haskell so you can run it. The

Re: [Haskell-cafe] GHC, odd concurrency space leak

2010-04-14 Thread Jason Dagit
On Wed, Apr 14, 2010 at 2:44 PM, Jason Dagit da...@codersbase.com wrote: On Wed, Apr 14, 2010 at 2:13 PM, Gregory Collins g...@gregorycollins.netwrote: Jesper Louis Andersen jesper.louis.ander...@gmail.com writes: This post describes some odd behaviour I have seen in GHC 6.12.1 when

Re: [Haskell-cafe] GHC, odd concurrency space leak

2010-04-14 Thread Jason Dagit
On Wed, Apr 14, 2010 at 3:13 PM, Daniel Fischer daniel.is.fisc...@web.dewrote: Am Mittwoch 14 April 2010 23:49:43 schrieb Jason Dagit: It will be interesting to hear what fixes this! forever' m = do _ - m forever' m When I define that version of forever

Re: [Haskell-cafe] Can't login to GHC trac

2010-04-14 Thread Jason Dagit
On Tue, Apr 13, 2010 at 3:47 AM, Erik de Castro Lopo mle...@mega-nerd.commle%2...@mega-nerd.com wrote: Daniel Fischer wrote: Am Dienstag 13 April 2010 09:29:18 schrieb Erik de Castro Lopo: Anyone else have the same problem? I have that problem with my hackage (Cabal/cabal-install)

Re: [Haskell-cafe] Building regex-posix for windows

2010-04-15 Thread Jason Dagit
2010/4/15 Станислав Черничкин schernich...@gmail.com I'm having trouble building regex-posix for Windows under MinGW because MinGW does not include regex.h. As far as I know Haskell Platform uses MinGW and it includes regex-posix. I'd like to build regex-posix by myself, like Haskell

Re: [Haskell-cafe] GHC, odd concurrency space leak

2010-04-16 Thread Jason Dagit
On Fri, Apr 16, 2010 at 2:51 PM, Jesper Louis Andersen jesper.louis.ander...@gmail.com wrote: On Thu, Apr 15, 2010 at 1:33 AM, Daniel Fischer daniel.is.fisc...@web.de wrote: Can some core expert please look at these and explain the difference? I'm interested in an explanation too.

Re: [Haskell-cafe] vector recycling

2010-04-16 Thread Jason Dagit
On Fri, Apr 16, 2010 at 8:32 PM, Ben midfi...@gmail.com wrote: hello -- this is mostly a question for roman, or don, i guess. suppose i have a list of similarly-sized vectors, and i want to add them up (possibly with coefficients), to yield a result vector. something like module Main

Re: [Haskell-cafe] Ocaml for Haskellers tutorial

2010-04-17 Thread Jason Dagit
On Fri, Apr 16, 2010 at 8:35 PM, C K Kashyap ckkash...@gmail.com wrote: I am a little surprised by the shortcomings of Haskell mentioned in the thread. I was under the impression that Haskell was closest to Nirvana on the usefulness vs safety graph. In the paper Why FP matters - Laziness

Re: [Haskell-cafe] memory needed for SAX parsing XML

2010-04-19 Thread Jason Dagit
On Mon, Apr 19, 2010 at 3:01 AM, Daniil Elovkov daniil.elov...@googlemail.com wrote: Hello haskellers! I'm trying to process an xml file with as little footprint as possible. SAX is alright for my case, and I think that's the lightest way possible. So, I'm looking at HaXml.SAX I'm

Re: [Haskell-cafe] Re: help with Haskell programming

2010-04-19 Thread Jason Dagit
On Sun, Apr 18, 2010 at 10:25 AM, Sean Leather leat...@cs.uu.nl wrote: This is the annoying part about Haskell . I can not understand composition . One of the ways of understanding composition (and many other functions in Haskell) is by trying to understand its type. Here it is shown by

Re: [Haskell-cafe] The instability of Haskell libraries

2010-04-23 Thread Jason Dagit
On Fri, Apr 23, 2010 at 11:34 AM, John Goerzen jgoer...@complete.orgwrote: A one-character change. Harmless? No. It entirely changes what the function does. Virtually any existing user of that function will be entirely broken. Of particular note, it caused significant breakage in the

Re: [Haskell-cafe] The instability of Haskell libraries

2010-04-23 Thread Jason Dagit
On Fri, Apr 23, 2010 at 4:49 PM, Don Stewart d...@galois.com wrote: ivan.miljenovic: Don Stewart d...@galois.com writes: I'll just quickly mention one factor that contributes: * In 2.5 years we've gone from 10 libraries on Hackage to 2023 (literally!) That is a massive

Re: [Haskell-cafe] Benchmarks game updated to ghc 6.12.2

2010-04-29 Thread Jason Dagit
On Thu, Apr 29, 2010 at 12:38 AM, Ketil Malde ke...@malde.org wrote: Don Stewart d...@galois.com writes: http://shootout.alioth.debian.org/u64q/haskell.php Observations: Although we're mostly beaten on speed, and about the same on code size, we're using a lot less memory than Java. As

Re: [Haskell-cafe] Using the Clipboard under Windows

2010-04-29 Thread Jason Dagit
2010/4/29 Günther Schmidt gue.schm...@web.de Hello, is there some sample code on how to use the Graphics.Win32.GDI.Clip? That part of the library is fairly low level and has a mostly one-to-one correspondence to the C API. This means that you should be able to more or less read an example

Re: [Haskell-cafe] Using the Clipboard under Windows

2010-04-29 Thread Jason Dagit
2010/4/29 Günther Schmidt gue.schm...@web.de Dear Jason, I'd be happy not having to dig in deeply. Do you happen to know a higher level one? Sorry, I don't. The only thing I used GDI for was rendering fonts with transparency when I worked for a company that did some very special font

Re: [Haskell-cafe] FGL instance constraint

2010-05-01 Thread Jason Dagit
On Fri, Apr 30, 2010 at 11:30 PM, Jason Dagit da...@codersbase.com wrote: On Fri, Apr 30, 2010 at 11:08 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: You're putting the constraint in the wrong places: put the (Cls a) = in the actual functions where you need it. That's

Re: [Haskell-cafe] FGL instance constraint

2010-05-01 Thread Jason Dagit
On Fri, Apr 30, 2010 at 11:53 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Jason Dagit da...@codersbase.com writes: On Fri, Apr 30, 2010 at 11:08 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: You're putting the constraint in the wrong places: put the (Cls

Re: [Haskell-cafe] FGL instance constraint

2010-05-01 Thread Jason Dagit
On Sat, May 1, 2010 at 12:23 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Hmmm this is an interesting way of doing it, but I would argue that it's pointless: the fact that you're using MPTCs doesn't give you anything extra that the original class. Furthermore, as I said

Re: [Haskell-cafe] Cabal-install: bus error

2010-05-03 Thread Jason Dagit
On Mon, May 3, 2010 at 2:21 PM, Chris Eidhof ch...@eidhof.nl wrote: Hey everyone, After I upgraded to a newer cabal-install my cabal-install broke again: I get a Bus Error when doing cabal update or cabal install something. The version that was bundled with the Haskell platform worked fine,

Re: [Haskell-cafe] Re: nun.haskell.org http services down?

2010-05-06 Thread Jason Dagit
On Thu, May 6, 2010 at 2:15 AM, Malcolm Wallace malcolm.wall...@cs.york.ac.uk wrote: http://{code,community,projects}.haskell..org/ seem to be inaccessible. Could someone please look into it? For me, it seems to be down everyday around 5-6pm (0700-0800 UTC) which is prime hacking time for

Re: [Haskell-cafe] darcs to mercurial migration

2010-05-07 Thread Jason Dagit
On Fri, May 7, 2010 at 2:29 AM, Nicolas Pouillard nicolas.pouill...@gmail.com wrote: On Thu, 06 May 2010 01:08:08 +0200, Günther Schmidt gue.schm...@web.de wrote: Hello, I'm switching from darcs to mercurial with some of my projects. I'd like to retain as much of the history as

Re: [Haskell-cafe] GHC 6.12 on OS X 10.5

2010-05-07 Thread Jason Dagit
On Mon, Dec 28, 2009 at 9:03 AM, Aaron Tomb at...@galois.com wrote: On Dec 22, 2009, at 9:36 PM, wren ng thornton wrote: Aaron Tomb wrote: I've come across the issue with iconv, as well. The problem seems to be that some versions of iconv define iconv_open and some related functions as

Re: [Haskell-cafe] debugging a hanging program: where to start?

2010-05-12 Thread Jason Dagit
On Wed, May 12, 2010 at 8:15 PM, Aran Donohue aran.dono...@gmail.comwrote: Hi Cafe, I have a program that I can reliably cause to hang. It's concurrent using STM, so I think it could be a deadlock or related issue. I also do some IO, so I think it could be blocking in a system call. It only

Re: [Haskell-cafe] corner case in Text.JSON 0.4.3

2010-05-13 Thread Jason Dagit
On Wed, May 12, 2010 at 10:05 PM, Don Stewart d...@galois.com wrote: martin: hi, since i got no answer from the maintainer, maybe someone else can take care of it, or at least point out, what i did wrong. so, i recently stumbled upon some error while using Text.JSON 0.4.3 [1]:

Re: [Haskell-cafe] debugging a hanging program: where to start?

2010-05-13 Thread Jason Dagit
On Thu, May 13, 2010 at 5:53 AM, Aran Donohue aran.dono...@gmail.comwrote: Thanks folks! Forward progress is made... Unfortunately, programs don't seem to write out their threadscope event logs until they terminate, and mine hangs until I kill it, so I can't get at the event log. Tracing

Re: [Haskell-cafe] Re: Ideas of a polymorphic Tree in Haskell

2010-05-13 Thread Jason Dagit
On Thu, May 13, 2010 at 3:01 PM, Edgar Z. Alvarenga ed...@ymonad.comwrote: On Thu, 13/May/2010 at 18:57 +0100, Maciej Piechotka wrote: Hmm. What GDAT/existential do you use (for lazy people who do not want to read paper)? The GADT that I refered was from my faileds attempts. How is it

Re: [Haskell-cafe] Chuch encoding of data structures in Haskell

2010-05-27 Thread Jason Dagit
2010/5/27 Günther Schmidt gue.schm...@web.de Hello C, thank you for explaining. The funny thing is that I have never seen anybody take this even a single step further than you have in your email. In particular I have not found anything where someone might use church encoding to solve a

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-05-30 Thread Jason Dagit
On Sat, May 29, 2010 at 9:28 PM, Cory Knapp cory.m.kn...@gmail.com wrote: Hello, A professor of mine was recently playing around during a lecture with Church booleans (I.e., true = \x y - x; false = \x y - y) in Scala and OCaml. I missed what he did, so I reworked it in Haskell and got this:

Re: [Haskell-cafe] name of this monadic combinator?

2010-05-30 Thread Jason Dagit
On Sun, May 30, 2010 at 1:35 AM, Michael Vanier mvanie...@gmail.com wrote: I stumbled across this monadic combinator: mcombine :: Monad m = (a - a - a) - m a - m a - m a mcombine f mx my = do x - mx y - my return (f x y) I used it to chain the outputs of two Parsec String

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-05-30 Thread Jason Dagit
On Sun, May 30, 2010 at 4:08 AM, wren ng thornton w...@freegeek.org wrote: Jason Dagit wrote: In Church's λ-calc the types are ignored, Not so. Church-style lambda calculus is the one where types matter; Curry-style is the one that ignores types and evaluates as if it were the untyped

Re: [Haskell-cafe] A question on existential types and Church encoding

2010-06-01 Thread Jason Dagit
On Tue, Jun 1, 2010 at 12:40 PM, Cory Knapp cory.m.kn...@gmail.com wrote: Thanks! That was exactly the sort of response I was looking for. This explains why you need to double up for your current definitions. To choose between two booleans (which will in turn allow you to choose between

Re: [Haskell-cafe] Proposal: Sum type branches as extended types (as Type!Constructor)

2010-06-03 Thread Jason Dagit
On Thu, Jun 3, 2010 at 8:14 AM, Gabriel Riba griba2...@gmail.com wrote: Extending sum types with data constructors would spare runtime errors or exception control, when applying functions to inappropriate branches, as in the example ... data List a = Nil | Cons a (List a) -- List!Nil and

Re: [Haskell-cafe] is there a way to prove the equivalence of these two implementations of (Prelude) break function?

2010-06-07 Thread Jason Dagit
On Sat, Jun 5, 2010 at 8:10 PM, Thomas Hartman tphya...@gmail.com wrote: Here's two implementations of break, a snappy one from the prelude, and a slow stupid stateful one. They are quickchecked to be identical. Is there a way to prove they are identical mathematically? What are the

Re: [Haskell-cafe] Re: package naming policy

2010-06-08 Thread Jason Dagit
On Tue, Jun 8, 2010 at 4:13 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Don Stewart d...@galois.com writes: Yes, my intent here is to produce a set of guidelines for maintainers of important packages, that ensures we balance stability with innovation. We have a great

Re: [Haskell-cafe] Re: Rewriting a famous library and using the same name: pros and consf

2010-06-08 Thread Jason Dagit
On Tue, Jun 8, 2010 at 6:28 PM, John Lato jwl...@gmail.com wrote: From: Stephen Tetley stephen.tet...@gmail.com Hello all While new libraries develop at pace, their documentation rarely does; so I'd have to disagree with John's claim that re-naming libraries makes development by new

[Haskell-cafe] Contacting Planet Haskell

2010-06-09 Thread Jason Dagit
Hello, I recently tried to send an email to the planet Haskell admins. The webpage says to use pla...@community.haskell.org. The mail was undelivered after several days and the daemon gave up trying to deliver it. My sending did overlap with the haskell.org downtown but I don't think that

Re: [Haskell-cafe] Contacting Planet Haskell

2010-06-10 Thread Jason Dagit
On Thu, Jun 10, 2010 at 3:59 AM, Yitzchak Gale g...@sefer.org wrote: Jason Dagit wrote: I recently tried to send an email to the planet Haskell admins. The webpage says to use pla...@community.haskell.org. The mail was undelivered after several days and the daemon gave up trying

Re: [Haskell-cafe] Using the ContT monads for early exits of IO ?

2010-06-10 Thread Jason Dagit
On Thu, Jun 10, 2010 at 8:45 PM, Derek Elkins derek.a.elk...@gmail.comwrote: Or... one could just use the exceptions that are already built into the IO monad... It feels to me like this discussion has a lot of speculation in it. I would like to see concrete examples of the code and the

Re: [Haskell-cafe] Literate programming

2010-06-12 Thread Jason Dagit
On Sat, Jun 12, 2010 at 9:21 AM, Martin Drautzburg martin.drautzb...@web.de wrote: Hello all, Is literate programming something you guys actually do (I only know that Paul Hudak does), or is it basically a nice idea from days gone by? In case you do, then how do you do it? Do you use

Re: [Haskell-cafe] HaskellWiki and Wikipedia

2010-06-16 Thread Jason Dagit
On Wed, Jun 16, 2010 at 11:35 AM, Roman Beslik ber...@ukr.net wrote: Hi all. There are some notions which are not described in HaskellWiki but described in Wikipedia, e.g. catamorphism. When clicking on a link [[catamorphism]] that leads to create a new page it would be nice to show link to a

Re: [Haskell-cafe] HaskellWiki and Wikipedia

2010-06-17 Thread Jason Dagit
On Thu, Jun 17, 2010 at 6:36 AM, Roman Beslik ber...@ukr.net wrote: I mean that a link [[X]] leads to HaskellWiki if X exists in HaskellWiki and to Wikipedia otherwise. Interwiki links requires to change all occurrences of [[X]] when X is created. [[wikipedia:{{PAGENAME}}]] may be handy on

Re: [Haskell-cafe] HaskellWiki and Wikipedia

2010-06-18 Thread Jason Dagit
On Fri, Jun 18, 2010 at 8:50 AM, Roman Beslik ber...@ukr.net wrote: On 18.06.10 07:41, Jason Dagit wrote: On Thu, Jun 17, 2010 at 6:36 AM, Roman Beslik ber...@ukr.net wrote: I mean that a link [[X]] leads to HaskellWiki if X exists in HaskellWiki and to Wikipedia otherwise. I think

Re: [Haskell-cafe] Accounting Engine in Haskell

2010-06-23 Thread Jason Dagit
On Wed, Jun 23, 2010 at 2:30 PM, Paul Johnson p...@cogito.org.uk wrote: On 15/06/10 09:08, Amiruddin Nagri wrote: I wanted some insight as to how Haskell is going to help me with my project. Also there has been some concerns because of lazy evaluation in Haskell and memory leaks associated

Re: [Haskell-cafe] design question: decision tree from Programming Collective Intelligence

2010-06-24 Thread Jason Dagit
On Mon, Jun 21, 2010 at 11:22 AM, Daniel Lyons fus...@storytotell.orgwrote: Hi, I'm having a little trouble figuring out precisely how to port the decision tree code from the book Programming Collective Intelligence. You can see the code here:

Re: [Haskell-cafe] Tiger compiler: variable escaping analysis phase

2010-06-24 Thread Jason Dagit
2010/6/22 José Romildo Malaquias j.romi...@gmail.com Hello. I have been teaching an introductory course on compiler construction to our undergraduates students using Appel's Modern Compiler Implementation in Java. There are also versions of the book in ML and C. The books explain how to

Re: [Haskell-cafe] Core packages and locale support

2010-06-24 Thread Jason Dagit
On Sat, Jun 19, 2010 at 1:06 AM, Roman Cheplyaka r...@ro-che.info wrote: While ghc 6.12 finally has proper locale support, core packages (such as unix) still use withCString and therefore work incorrectly when argument (e.g. file path) is not ASCII. Pardon me if I'm misunderstanding

Re: [Haskell-cafe] Core packages and locale support

2010-06-25 Thread Jason Dagit
On Thu, Jun 24, 2010 at 11:42 PM, Roman Cheplyaka r...@ro-che.info wrote: * Jason Dagit da...@codersbase.com [2010-06-24 20:52:03-0700] On Sat, Jun 19, 2010 at 1:06 AM, Roman Cheplyaka r...@ro-che.info wrote: While ghc 6.12 finally has proper locale support, core packages

Re: [Haskell-cafe] Type-Level Programming

2010-06-25 Thread Jason Dagit
On Fri, Jun 25, 2010 at 2:26 PM, Walt Rorie-Baety black.m...@gmail.comwrote: I've noticed over the - okay, over the months - that some folks enjoy the puzzle-like qualities of programming in the type system (poor Oleg, he's become #haskell's answer to the Chuck Norris meme commonly encountered

Re: [Haskell-cafe] Core packages and locale support

2010-06-25 Thread Jason Dagit
On Fri, Jun 25, 2010 at 3:15 PM, Brandon S Allbery KF8NH allb...@ece.cmu.edu wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 6/25/10 17:56 , Roman Cheplyaka wrote: * Brandon S Allbery KF8NH allb...@ece.cmu.edu [2010-06-25 05:00:08-0400] You might want to look at how Python is

Re: [Haskell-cafe] Type-Level Programming

2010-06-26 Thread Jason Dagit
On Sat, Jun 26, 2010 at 12:07 AM, Andrew Coppin andrewcop...@btinternet.com wrote: wren ng thornton wrote: And, as Jason said, if you're just interested in having the same programming style at both term and type levels, then you should look into dependently typed languages. Out of

Re: [Haskell-cafe] Type-Level Programming

2010-06-26 Thread Jason Dagit
On Sat, Jun 26, 2010 at 12:27 AM, Jason Dagit da...@codersbase.com wrote: On Sat, Jun 26, 2010 at 12:07 AM, Andrew Coppin andrewcop...@btinternet.com wrote: wren ng thornton wrote: And, as Jason said, if you're just interested in having the same programming style at both term and type

Re: [Haskell-cafe] Type-Level Programming

2010-06-26 Thread Jason Dagit
On Sat, Jun 26, 2010 at 11:23 AM, Andrew Coppin andrewcop...@btinternet.com wrote: Brandon S Allbery KF8NH wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 6/26/10 07:28 , Andrew Coppin wrote: Oh, right. So you mean that as well as being able to say Foo Bar, you can say Foo 7,

Re: [Haskell-cafe] MState: A consistent State monad for concurrent applications

2010-07-02 Thread Jason Dagit
On Fri, Jul 2, 2010 at 9:21 AM, Nils Schweinsberg m...@n-sch.de wrote: Hi, I have been trying to use the State monad for concurrent applications and came up with a little library.[1] My MState uses an IORef to maintain the state between different threads. The library also offers a simple way

Re: [Haskell-cafe] Rank2Types and pattern matching

2010-07-03 Thread Jason Dagit
On Sat, Jul 3, 2010 at 4:24 PM, Yves Parès limestr...@gmail.com wrote: Hello everybody, I'm trying to implement the type protection used by ST to prevent a monad from returning a certain type. There's my code: import Control.Monad.Identity newtype SomeMonad s a = SomeMonad { unSome ::

Re: [Haskell-cafe] Re: Suggestions for an MSc Project?

2010-07-05 Thread Jason Dagit
On Mon, Jul 5, 2010 at 1:39 AM, John Smith volderm...@hotmail.com wrote: None of the frameworks in http://www.haskell.org/haskellwiki/Applications_and_libraries/GUI_libraries#High-levelappear to have a working build in http://hackage.haskell.org/packages/archive/pkg-list.html#cat:gui, except

Re: [Haskell-cafe] Merge hsql and HDBC -- there can only be one!

2010-07-07 Thread Jason Dagit
On Wed, Jul 7, 2010 at 10:44 AM, Christopher Done chrisd...@googlemail.comwrote: I did try Takusen with PostgreSQL and it worked perfectly for me, too. The only reason I'm using HDBC is because there was already a HaskellDB HDBC driver. I was considering writing a Takusen driver for

Re: [Haskell-cafe] Merge hsql and HDBC -- there can only be one!

2010-07-08 Thread Jason Dagit
On Wed, Jul 7, 2010 at 1:16 PM, Michael Snoyman mich...@snoyman.com wrote: * I wanted the SQLite backend to be the default backend that anyone could use, without library dependencies. It would be nice if HDBC-sqlite3 had an option to build against the sqlite3 amalgamation instead of system

Re: [Haskell-cafe] Talking to Java from Haskell?

2010-07-08 Thread Jason Dagit
On Thu, Jul 8, 2010 at 6:35 PM, Daniel Cook danielkc...@gmail.com wrote: Hi, Someone has written a large Java library (QuickFIX/J) which speaks a gnarled, ugly protocol (FIX). There don't appear to be any FIX protocol libraries in Hackage. I need my Haskell program to talk to a 3rd-party

Re: [Haskell-cafe] building ghc-6.12.3 from source on Open Solaris

2010-07-10 Thread Jason Dagit
2010/7/10 Günther Schmidt gue.schm...@web.de Hi, does anyone here have experience what it takes to build ghc-6.12.3 from source on Open Solaris, with binary ghc-6.12.1 installed? This isn't specific to Open Solaris, but it's where I would start:

  1   2   3   4   5   6   7   >