Re: [Haskell-cafe] Proof in Haskell

2010-12-21 Thread Colin Paul Adams
> "Daniel" == Daniel Fischer writes: Daniel> On Tuesday 21 December 2010 19:34:11, Felipe Almeida Lessa wrote: >> > Theorem mirror_mirror : forall A (x : Tree A), mirror (mirror x) = x. >> induction x; simpl; auto. rewrite IHx1; rewrite IHx2; trivial. >> Qed. Daniel> Si

Re: [Haskell-cafe] "Haskell is a scripting language inspired by Python."

2010-11-04 Thread Colin Paul Adams
> "David" == David Fox writes: David> On Thu, Nov 4, 2010 at 2:41 PM, Albert Y. C. Lai wrote: >> On 10-11-03 10:00 PM, Jonathan Geddes wrote: >> >> It's called "The *Ultimate* Computer Language Guide," and it's on the >>> internets, so it must be correct, right? >> >> T

Re: [Haskell-cafe] A rant against the blurb on the Haskell front page

2010-10-16 Thread Colin Paul Adams
> "Don" == Don Stewart writes: >> Let me explain. >> >> "Haskell is an advanced purely functional programming language." >> >> Good start, if only the "advanced" were replaced with something >> more characteristic, like "lazy", or "statically typed". Which, >> BT

Re: [Haskell-cafe] Lambda-case / lambda-if

2010-10-02 Thread Colin Paul Adams
> "Max" == Max Bolingbroke writes: Prelude> (if then "Haskell" else "Cafe") False Max> "Cafe" My reaction is to ask: Can you write this as: (if then else) False "Haskell" "Cafe" ? -- Colin Adams Preston Lancashire () ascii ribbon campaign - against html e-mail /\ www.asciirib

Re: [Haskell-cafe] ANNOUNCE: AbortT-transformers version 1.0

2010-09-08 Thread Colin Paul Adams
> "Henning" == Henning Thielemann writes: Henning> On Wed, 8 Sep 2010, Gregory Crosswhite wrote: > ExceptionT is a different matter because it handles "fail" as an >> uncaught error and places no restrictions on the error type, so >> one could implement the same functionality as

Re: [Haskell-cafe] Re: String vs ByteString

2010-08-17 Thread Colin Paul Adams
> "Johan" == Johan Tibell writes: Johan> On Tue, Aug 17, 2010 at 1:36 PM, Tako Schotanus wrote: Johan> Yeah, I tried looking it up but I could find the Johan> technical definition for Char, but in the end I found that Johan> "maxBound" was "0x10" making it basically

Re: [Haskell-cafe] Re: String vs ByteString

2010-08-17 Thread Colin Paul Adams
> "Ivan" == Ivan Lazar Miljenovic writes: > Char is not an encoding, right? Ivan> No, but in GHC at least it corresponds to a Unicode codepoint. I don't think this is right, or shouldn't be right, anyway.. Surely it stands for a character. Unicode codepoints include non-characters such

Re: [Haskell-cafe] Re: String vs ByteString

2010-08-17 Thread Colin Paul Adams
> "Ketil" == Ketil Malde writes: Ketil> Johan Tibell writes: >> It's not clear to me that using UTF-16 internally does make >> Data.Text noticeably slower. Ketil> I think that *IF* we are aiming for a single, grand, unified Ketil> text library to Rule Them All, it needs

Re: [Haskell-cafe] Re: String vs ByteString

2010-08-15 Thread Colin Paul Adams
> "Bryan" == Bryan O'Sullivan writes: Bryan> On Sat, Aug 14, 2010 at 10:46 PM, Michael Snoyman wrote: Bryan> When I'm writing a web app, my code is sitting on a Linux Bryan> system where the default encoding is UTF-8, communicating Bryan> with a database speaking UTF-8,

Re: [Haskell-cafe] Suggestions For An Intro To Monads Talk.

2010-08-03 Thread Colin Paul Adams
> "Alexander" == Alexander Solla writes: Alexander> On Aug 3, 2010, at 2:51 PM, aditya siram wrote: > I am looking for suggestions on how to introduce the concept and its >> implications. I'd also like to include a section on why monads >> exist and why we don't really see them o

Re: [Haskell-cafe] Re: Can we come out of a monad?

2010-07-30 Thread Colin Paul Adams
> "Kevin" == Kevin Jardine writes: Kevin> The more I learn about monads, however, the less I understand Kevin> them. I've seen plenty of comments suggesting that monads Kevin> are easy to understand, but for me they are not. I used to have the same problem. Then I read: http:/

Re: [Haskell-cafe] DTP10 Call for Participation

2010-05-06 Thread Colin Paul Adams
> "Conor" == Conor McBride writes: Conor> Remember, Haskell is the world's most popular dependently Conor> typed functional programming language... Could you justify that claim please? -- Colin Adams Preston Lancashire () ascii ribbon campaign - against html e-mail /\ www.asciirib

Re: [Haskell-cafe] Haskell and the Software design process

2010-05-04 Thread Colin Paul Adams
> "aditya" == aditya siram writes: aditya> This is awesome! GHC-devs , please mainline the CONTRACT aditya> pragma. I think it needs a LOT more work before it is usable. (I hope I'm wrong, but Dana reckoned it needed about 7 more man-years of work.) Dana sent me a copy of her ghc 6

Re: [Haskell-cafe] Re: Hackage accounts and real names

2010-04-06 Thread Colin Paul Adams
> "Pekka" == Pekka Enberg writes: Pekka> On Tue, Apr 6, 2010 at 7:32 AM, Ivan Miljenovic Pekka> wrote: >> 5) No-one is convincing anyone else to their point of view, so we >> have a stale mate. Pekka> Can you really legally distribute your software under an open Pekk

Re: [Haskell-cafe] chp-plus doesn't install

2010-03-28 Thread Colin Paul Adams
> "Neil" == Neil Brown writes: Neil> That did indeed turn out to be the fix. That will teach me to Neil> release a package without remembering to test it on GHC 6.10 Neil> first. I've uploaded chp-plus 1.2.0 to Hackage, which should Neil> fix this issue (among other changes)

[Haskell-cafe] chp-plus doesn't install

2010-03-27 Thread Colin Paul Adams
I'm getting these errors (ghc 6.10.4 on Linux x86_64): Building chp-plus-1.1.0... [1 of 9] Compiling Control.Concurrent.CHP.Test ( Control/Concurrent/CHP/Test.hs, dist/build/Control/Concurrent/CHP/Test.o ) [2 of 9] Compiling Control.Concurrent.CHP.Console ( Control/Concurrent/CHP/Console.hs, dis

[Haskell-cafe] Internet game servers in Haskell?

2010-03-27 Thread Colin Paul Adams
Has anyone ever written a server in Haskell for managing live game-playing (any game) across the internet? -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Parallel Pi

2010-03-19 Thread Colin Paul Adams
> "Ketil" == Ketil Malde writes: Ketil> I think the general consensus was a 10-15% speedup from HT. I used to see 3-core performance from my twin hyper-threaded Xeons, when running C compiles (i.e. 50% speed-up). -- Colin Adams Preston Lancashire

Re: [Haskell-cafe] Re: Haskell and XML, need some tips from practioners

2010-02-25 Thread Colin Paul Adams
> "Günther" == Günther Schmidt writes: Günther> Dear Alistair, after working intensely with XSLT again Günther> (with a break for several years), I wholeheartedly concur. Günther> You guys are right though, through the document function it Günther> would be possible. Gün

Re: [Haskell-cafe] Haskell and XML, need some tips from practioners

2010-02-25 Thread Colin Paul Adams
> "Günther" == Günther Schmidt writes: Günther> But now I need to amend the attributes of some elements Günther> with looked up values from the outside, the lookup-key is a Günther> particular attribute value of the nodes. This I cannot do Günther> through xslt processing as t

Re: [Haskell-cafe] Re: haskelldb in-memory driver?

2010-02-09 Thread Colin Paul Adams
> "Günther" == Günther Schmidt writes: Günther> Hello Johannes, no, sorry, HaskellDB is only meant for RDBM Günther> back ends, it eventually generates SQL (Strings). I recall that there WAS an experimental in-memory backend. -- Colin Adams Preston Lancashire __

Re: [Haskell-cafe] Stack ADT?

2010-02-05 Thread Colin Paul Adams
> "Casey" == Casey Hawthorne writes: Casey> You could also implement stacks with mutable data structures, Casey> e.g. STArray, etc. Casey> What do you want to use a stack ADT for? BTW, There is a Myers stack in Edison. Disclaimer - I don't know what a Myers stack is. -- Colin

Re: [Haskell-cafe] Re: programmatic DB interface?

2010-02-05 Thread Colin Paul Adams
> "Johannes" == Johannes Waldmann writes: >> That is exactly the problem - it is wrong for CalendarT. Johannes> what do you mean by "it" ... what package should be fixed Johannes> (old-locale, haskelldb-hdbc-postgreqsl, ...)? Because Johannes> obviously something seems broke

Re: [Haskell-cafe] Re: programmatic DB interface?

2010-02-05 Thread Colin Paul Adams
> "Johannes" == Johannes Waldmann writes: Johannes> Michael Snoyman snoyman.com> writes: >> Did you append an empty string in the SELECT statement? Johannes> Magnus says 1. is wrong, but I don't see how the DB server Johannes> could be convinced to send the ...T...Z format.

Re: [Haskell-cafe] Re: programmatic DB interface?

2010-02-04 Thread Colin Paul Adams
> "Johannes" == Johannes Waldmann writes: Johannes> anyone know what's happening here? I get this when Johannes> executing a query via haskelldb-hdbc-postgresql-0.12 (The Johannes> date is actually in the DB, so it's not a connection Johannes> problem.) Johannes> Convert

Re: [Haskell-cafe] HTML - based GUIs - follow up

2010-01-20 Thread Colin Paul Adams
> "Günther" == Günther Schmidt writes: Günther> My question is: do formlets only work server based or is it Günther> also possible to use formlet sans happs? Yes (I think) and yes. -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Language simplicity

2010-01-14 Thread Colin Paul Adams
> "Roel" == Roel van Dijk writes: Roel> I think it is time for an Obfuscated Haskell Contest :-) Are you allowed to use obsolete scripts for your identifiers? :-) -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@has

Re: [Haskell-cafe] Language simplicity

2010-01-13 Thread Colin Paul Adams
> "Tom" == Tom Tobin writes: Tom> readability. The ASCII characters are universal and easily Tom> recognized No they are not. My wife is Chinese. When she was learning pinyin as a child, she asked her father for help with some homework. He replied that he didn't understand them. --

Re: [Haskell-cafe] Language simplicity

2010-01-12 Thread Colin Paul Adams
> "Andrew" == Andrew Coppin writes: Andrew> It's weird that us Haskell people complain about there Andrew> being only 26 letters in the alphabet Which alphabet? You have plenty of choice in Unicode. -- Colin Adams Preston Lancashire ___ Ha

Re: [Haskell-cafe] Re: Allowing hyphens in identifiers

2009-12-16 Thread Colin Paul Adams
> "Daniel" == Daniel Fischer writes: Daniel> Database.Haskell_DB.Sql.Postgre_SQL Actually, I would be semi-happy with Database.Haskell-DB.Sql.Postgre-SQL (obviously we need an option whether to use hypens or underscores. I prefer hyphens.) Daniel> Data.Bits.shiftL Daniel> woul

Re: [Haskell-cafe] Re: Allowing hyphens in identifiers

2009-12-16 Thread Colin Paul Adams
> "Daniel" == Daniel Fischer writes: Daniel> As a pre-alpha version: Daniel> Daniel> module Main (main) where Daniel> import Data.Char (isUpper, isLower, toLower) Daniel> main :: IO () main = interact unCamel

Re: [Haskell-cafe] Re: Allowing hyphens in identifiers

2009-12-16 Thread Colin Paul Adams
> "Ketil" == Ketil Malde writes: >> [1] and quite a high proportion of other natural languages. Ketil> Which makes me wonder - might there be a (natural) language Ketil> bias as well? Sure. Different languages have different orthographical traditions. IMHO a project should ado

Re: [Haskell-cafe] Re: Allowing hyphens in identifiers

2009-12-15 Thread Colin Paul Adams
> "Daniel" == Daniel Fischer writes: Daniel> Now, would you be interested in a transformation the other Daniel> way round, so that you can read other people's code in Daniel> your preferred style? I would, applied to the output of haddock, at least. -- Colin Adams Preston Lanca

Re: [Haskell-cafe] Re: Re: Allowing hyphens in identifiers

2009-12-15 Thread Colin Paul Adams
> "Richard" == Richard O'Keefe writes: Richard> The real point is that the revised version, with command Richard> line arguments and all, is still just 52 SLOC. (41 if Richard> you don't count type specifications the compiler could Richard> have inferred or the two import dir

Re: [Haskell-cafe] Re: Allowing hyphens in identifiers

2009-12-11 Thread Colin Paul Adams
> "Malcolm" == Malcolm Wallace writes: >> there is enough experimentally determined about reading in >> general to be certain that visible gaps between words >> materially improves readability, and internal capital letters >> harm it. Malcolm> Here is a (slightly mischiev

[Haskell-cafe] Logistic regression

2009-11-16 Thread Colin Paul Adams
Is there any free code anywhere for performing logistic regression? I can't see anything on hackage. -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Trouble installing HDBC 2.1.1 with ghc 6.10.4

2009-11-15 Thread Colin Paul Adams
I'm seeing messages such as: Database/HDBC/SqlValue.hs:610:32: No instance for (Typeable Day) Is this connected with the in-and-out status of the time library in the GHC 6.10.x series? Is there a work-around? -- Colin Adams Preston Lancashire _

Re: [Haskell-cafe] Pattern Matching

2009-11-13 Thread Colin Paul Adams
> "Andrew" == Andrew Coppin writes: Andrew> Casey Hawthorne wrote: >> Why in a pattern match like >> >> score (1 3) = 7 >> >> can I not have >> >> sizeMax = 3 >> >> score (1 sizeMax) = 7 >> If I had a dollar for every time I've written somethi

Re: [Haskell-cafe] ANN: hesql

2009-11-12 Thread Colin Paul Adams
> "Christoph" == Christoph Bauer writes: Christoph> Hello, sure, your program could use a database with Christoph> HDBC. But I'll guess (since you love static typing so Christoph> much) you dislike formulating queries in strings and to Christoph> check the positions of your ?-

Re: [Haskell-cafe] Haskell image libraries

2009-11-08 Thread Colin Paul Adams
> "Jeremy" == Jeremy Shaw writes: Jeremy> There is a partial binding to libgd: Jeremy> http://hackage.haskell.org/packages/archive/gd/3000.4.0/doc/html/Graphics-GD.html Jeremy> http://www.libgd.org/Main_Page Jeremy> But GD itself may not do what you want. I ended up using

Re: [Haskell-cafe] Haskell image libraries

2009-11-08 Thread Colin Paul Adams
> "Max" == Max Rabkin writes: Max> Haskellers, To add image support to fdo-notify, I need an Max> image type. Looking through Hackage, I didn't find any image Max> library with the following features: * Load from a variety of Max> formats (at least PNG and JPG, I'd say) * Effi

Re: [Haskell-cafe] How to fulfill the "code-reuse" destiny of OOP?

2009-10-30 Thread Colin Paul Adams
> "Magnus" == Magnus Therning writes: Magnus> It seems I was wrong in my assumption about "data Magnus> inheritance", "implementation inheritance" is just as Magnus> evil. Both are fine. -- Colin Adams Preston Lancashire ___ Haskell-Ca

Re: [Haskell-cafe] ANN: haskell-mode 2.5

2009-10-27 Thread Colin Paul Adams
> "Svein" == Svein Ove Aas writes: Svein> Known bugs: * Occasionally, the haskell-indentation parser Svein> will get stuck   on what it considers to be invalid haskell Quite often. Svein> code, and refuse to accept your commands; this includes, Svein> mainly, haskell-newline

Re: [Haskell-cafe] A 3 line program --> Reid, Don, Daniel

2009-10-26 Thread Colin Paul Adams
> "Brandon" == Brandon S Allbery KF8NH writes: Brandon> That would be the Haskell98 Report: Haskell uses the Brandon> Unicode [11] character set. However, source programs are Brandon> currently biased toward the ASCII character set used in Brandon> earlier versions of Haskell

Re: [Haskell-cafe] Re: Libraries for Commercial Users

2009-10-25 Thread Colin Paul Adams
> "Magnus" == Magnus Therning writes: Magnus> Again, in my own experience the amount of work to find a Magnus> good developer is about the same, and sometimes stacked in Magnus> favour of using an obscure language. I would be inclined to agree with you. Coming from the other end

Re: [Haskell-cafe] why cannot i get the value of a IORef variable ?

2009-10-22 Thread Colin Paul Adams
> "Gregory" == Gregory Crosswhite writes: Gregory> Yes, I was once taught that "Every time you use Gregory> unsafePerformIO, God kills a kitten," so every time I Gregory> consider using it I first ask myself: is this really Gregory> worth an innocent kitten's life? I've chang

Re: [Haskell-cafe] why cannot i get the value of a IORef variable ?

2009-10-21 Thread Colin Paul Adams
zaxis> thank you! In fact i really donot understand zaxis> "unsafePerformIO" very much ! Then all you have to understand is - never use it! -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.has

Re: [Haskell-cafe] What *is* a DSL?

2009-10-09 Thread Colin Paul Adams
>>>>> "Gregg" == Gregg Reynolds writes: Gregg> On Thu, Oct 8, 2009 at 6:08 AM, Colin Paul Adams Gregg> wrote: > >>>>> "George" == George Pollard writes: >> George> I'd also like to note that the canonica

Re: [Haskell-cafe] What *is* a DSL?

2009-10-08 Thread Colin Paul Adams
> "George" == George Pollard writes: George> I'd also like to note that the canonical pronunciation of George> DSL ends in "-izzle". Whose canon? Interestingly, I have always assumed the canonical pronunciation of DSSSL was diesel, as JADE stands for JAmes's DSSSL Engine. I don't s

Re: [Haskell-cafe] dsl and gui toolkit

2009-10-06 Thread Colin Paul Adams
> "John" == John A De Goes writes: John> This is the right approach to a GUI toolkit. John> Note that personally, I believe the details of the John> presentation should be separate from Haskell, stored in a John> separate file that is machine- friendly, so designers can J

Re: [Haskell-cafe] Where do these warnings come from?

2009-10-04 Thread Colin Paul Adams
>>>>> "Anton" == Anton van Straaten writes: Anton> Colin Paul Adams wrote: >> Does anyone recognize which module/function would emit the >> following warnings? >> >> WARNING: nonstandard use of escape in a string literal

[Haskell-cafe] Where do these warnings come from?

2009-10-04 Thread Colin Paul Adams
Does anyone recognize which module/function would emit the following warnings? WARNING: nonstandard use of escape in a string literal LINE 11: '# Pandoc\r\n\r\nPandoc is a program for converting ... ^ HINT: Use the escape string syntax for escapes, e.g., E'\r\n'. -- Col

Re: [Haskell-cafe] ANNOUNCE: SourceGraph-0.5.0.0

2009-09-29 Thread Colin Paul Adams
>>>>> "Ivan" == Ivan Lazar Miljenovic writes: Ivan> Colin Paul Adams writes: Compare Ivan> the version in the subject to the version you're trying to Ivan> install... You are right. i forgot to do a cabal update fi

Re: [Haskell-cafe] ANNOUNCE: SourceGraph-0.5.0.0

2009-09-29 Thread Colin Paul Adams
> "Ivan" == Ivan Lazar Miljenovic writes: Ivan> I'd appreciate it if people could give SourceGraph a whirl Fails to install (Linux x86_64): Data/Graph/Analysis/Utils.hs:207:43: Ambiguous occurrence `dotizeGraph' It could refer to either `Data.Graph.Analysis.Utils.dotizeGraph', d

Re: [Haskell-cafe] Comments requested: succ Java

2009-09-28 Thread Colin Paul Adams
> "Michael" == Michael Snoyman writes: Michael> not be written in pure Haskell, but then again I'm not Michael> sure if there are any fully W3 compliant browsers *not* Michael> written in C++. I'm not sure if there are any fully W3 compliant browsers. How could there be? It would

Re: [Haskell-cafe] Processing EXIF data with Haskell

2009-09-27 Thread Colin Paul Adams
> "Don" == Don Stewart writes: Don> colin: >> I'm writing web software for a photograph gallery. I want to be >> able to display selective fields from the EXIF data. I thought >> I would be able to use the GD and exif libraries from Hackage >> to do this. However: >>

[Haskell-cafe] Processing EXIF data with Haskell

2009-09-27 Thread Colin Paul Adams
I'm writing web software for a photograph gallery. I want to be able to display selective fields from the EXIF data. I thought I would be able to use the GD and exif libraries from Hackage to do this. However: Calling Graphics.GD.loadJpegByteString followed by Graphics.GD.saveJpegFile does not pre

Re: [Haskell-cafe] haskelldb + sqlite problem.

2009-09-05 Thread Colin Paul Adams
>>>>> "Colin" == Colin Paul Adams writes: >>>>> "Magicloud" == Magicloud Magiclouds >>>>> writes: Magicloud> Hi, I am using haskelldb and Magicloud> haskelldb-hdbc-sqlite3. Well, I finally got the source Magic

Re: [Haskell-cafe] haskelldb + sqlite problem.

2009-09-04 Thread Colin Paul Adams
> "Magicloud" == Magicloud Magiclouds > writes: Magicloud> Hi, I am using haskelldb and Magicloud> haskelldb-hdbc-sqlite3. Well, I finally got the source Magicloud> compiled and ran, I got this error: App: user error Magicloud> (SQL error: SqlError {seState = "", seNative

Re: [Haskell-cafe] happstack-helpers fails to install on Mac OSX

2009-08-31 Thread Colin Paul Adams
>>>>> "Colin" == Colin Paul Adams writes: >>>>> "Colin" == Colin Paul Adams writes: Colin> I've just installed the Haskell Platform (2009.2.0.2) on Colin> Mac OSX 10.5.6, including GHC 6.10.4. Colin> Then I started ad

Re: [Haskell-cafe] happstack-helpers fails to install on Mac OSX

2009-08-30 Thread Colin Paul Adams
>>>>> "Colin" == Colin Paul Adams writes: Colin> I've just installed the Haskell Platform (2009.2.0.2) on Colin> Mac OSX 10.5.6, including GHC 6.10.4. Colin> Then I started added some packahges with cabal install. Colin> But hap

[Haskell-cafe] happstack-helpers fails to install on Mac OSX

2009-08-30 Thread Colin Paul Adams
I've just installed the Haskell Platform (2009.2.0.2) on Mac OSX 10.5.6, including GHC 6.10.4. Then I started added some packahges with cabal install. But happstack-helpers-0.30 fails with: Happstack/Helpers/DirBrowse.hs:88:105 Couldn't match expected type `String' against inferred type `Bool

Re: [Haskell-cafe] Problem with monadic formlets

2009-08-30 Thread Colin Paul Adams
Chris> Hey everybody, I've just uploaded formlets 0.6.1 to Chris> Hackage, which should fix this bug. Thanks for letting me Chris> know! Yes, it does fix it. Thanks. -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-C

Re: [Haskell-cafe] Problem with monadic formlets

2009-08-28 Thread Colin Paul Adams
>>>>> "Colin" == Colin Paul Adams writes: >>>>> "Jeremy" == Jeremy Shaw writes: Colin> apparent data corruprion is occurring. I am suspecting a Colin> bug in the formlets library (I have version 0.6). Colin> So I have c

Re: [Haskell-cafe] Uninstall a cabal package?

2009-08-28 Thread Colin Paul Adams
> "Peter" == Peter Robinson writes: Peter> As far as I know the current stable release of Cabal Peter> doesn't keep track of installed packages, so you can only # Peter> ghc-pkg unregister pkg-id and then manually delete the Peter> files. Thanks. That works. -- Colin Adams P

[Haskell-cafe] Uninstall a cabal package?

2009-08-28 Thread Colin Paul Adams
What is the procedure to uninstall a cabal package? -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Problem with monadic formlets

2009-08-27 Thread Colin Paul Adams
> "Jeremy" == Jeremy Shaw writes: Jeremy> Hello, I hacked your code into a runnable example, and it Jeremy> seems to work for me. Jeremy> Which looks correct to me. Your code looks fine to me as Jeremy> well... Perhaps the error is not in the code you pasted, Jeremy> but

[Haskell-cafe] Problem with monadic formlets

2009-08-27 Thread Colin Paul Adams
I'm trying to validate user input against a database (using HaskellDB, but that doesn't seem to be the problem, as replacing the database monadic code with return True gives the same problem. This is part of my code: register :: Database -> XForm Registration --register db = Registration <$> pure

Re: [Haskell-cafe] Qualified operators

2009-08-27 Thread Colin Paul Adams
> "Miguel" == Miguel Mitrofanov writes: Miguel> firstArgument Cool.Module.Name.%-& secondArgument Thanks. I think I tried that first, must have have got misled by ghc's other confusing messages. Compiling ok now. -- Colin Adams Preston Lancashire __

[Haskell-cafe] Qualified operators

2009-08-27 Thread Colin Paul Adams
What's the syntax for using a qualified operator (I have a clash of !)? -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Where does documentation get installed with cabal?

2009-08-21 Thread Colin Paul Adams
> "Antoine" == Antoine Latter writes: Antoine> On Thu, Aug 20, 2009 at 8:58 AM, Colin Paul Antoine> Adams wrote: >> Hello, >> >> I'm trying to find the API documentation for happstack 0.3 >> (online is for 0.2). >> >> So I did: >> >> cabal install ha

Re: [Haskell-cafe] Where does documentation get installed with cabal?

2009-08-20 Thread Colin Paul Adams
>>>>> "Max" == Max Desyatov writes: Max> Colin Paul Adams writes: >> I'm trying to find the API documentation for happstack 0.3 >> (online is for 0.2). >> >> So I did: >> >> cabal install happsta

[Haskell-cafe] Where does documentation get installed with cabal?

2009-08-20 Thread Colin Paul Adams
Hello, I'm trying to find the API documentation for happstack 0.3 (online is for 0.2). So I did: cabal install happstack --reinstall --enable-documentation but I can't find it anywhere within ~/.cabal - where should I look? -- Colin Adams Preston Lancashire

Re: [Haskell-cafe] gbp sign showing as unknown character by GHC

2009-08-20 Thread Colin Paul Adams
> "Stuart" == Stuart Cook writes: Stuart> On Thu, Aug 20, 2009 at 4:28 PM, Colin Paul Stuart> Adams wrote: >> But how do you get Latin-1 bytes from a Unicode string? This >> would need a transcoding process. Stuart> The first 256 code-points of Unicode coincide with S

Re: [Haskell-cafe] gbp sign showing as unknown character by GHC

2009-08-19 Thread Colin Paul Adams
> "Bulat" == Bulat Ziganshin writes: Bulat> Hello Colin, Bulat> Thursday, August 20, 2009, 10:13:28 AM, you wrote: > I don't understand where latin-1 comes into this. String is supposed >> to be a list of Unicode characters. Bulat> but ghc 6.10 i/o used String as list of byt

Re: [Haskell-cafe] gbp sign showing as unknown character by GHC

2009-08-19 Thread Colin Paul Adams
> "Judah" == Judah Jacobson writes: Judah> On Wed, Aug 19, 2009 at 10:31 AM, Iain Barnett wrote: >> Quick question: I've tested this in a couple of different >> terminals (roxterm and xterm), so I'm fairly sure it's GHC >> that's the problem. Have I missed a setting? GHCi, v

Re: [Haskell-cafe] Re: ANN: Typeful/Text/HTMLs (for AngloHaskell/for scrap?)

2009-08-19 Thread Colin Paul Adams
> "Jon" == Jon Fairbairn writes: >> Will it be cabal-ized soon? Jon> That depends on whether anyone wants it done sufficiently Jon> strongly to do it. Then I guess I will - some time in October. -- Colin Adams Preston Lancashire ___ H

Re: [Haskell-cafe] Re: ANN: Typeful/Text/HTMLs (for AngloHaskell/for scrap?)

2009-08-19 Thread Colin Paul Adams
> "Jon" == Jon Fairbairn writes: Jon> I wrote: >> You can get the whole thing with >> >> darcs get --partial >> http://homepage.ntlworld.com/jon.fairbairn/Typeful/Text/nHTMLs Jon> but that was a temporary url that I copied and pasted. The Jon> correct one: J

Re: [Haskell-cafe] Re: Planning for a website

2009-08-19 Thread Colin Paul Adams
>>>>> "Gour" == Gour writes: >>>>> "Colin" == Colin Paul Adams writes: Colin> So my major decision is what framework and html-generating Colin> libraries to use. There is such a wide choice on the Colin> Haskell Wiki. But I

Re: [Haskell-cafe] Planning for a website

2009-08-18 Thread Colin Paul Adams
>>>>> "Jake" == Jake McArthur writes: Jake> Colin Paul Adams wrote: >> One problem will be to get GHC ported to DragonFly BSD, but >> that can wait until I have a test version of the site working >> on Linux. Jake> I would lov

[Haskell-cafe] Planning for a website

2009-08-18 Thread Colin Paul Adams
I'm intending to replace my current website - which uses Drupal, with a hand-written-in-Haskell version this autumn, for a number of reasons (a principal one is the lack of an upgrade path in Drupal). So I'm currently looking into the libraries available to see how much I'll have to write myself.

[Haskell-cafe] Text.Html introduction

2009-08-18 Thread Colin Paul Adams
http://www.haskell.org/ghc/docs/latest/html/libraries/xhtml/Text-XHtml.html says: "Based on the original Text.Html library by Andy Gill. See http://www.cse.ogi.edu/~andy/html/intro.htm for an introduction to that library. " But that link gives a not-found page. Anyone know where it is know? --

Re: [Haskell-cafe] Can't install Haskell Platform on 64-bit Linux

2009-08-18 Thread Colin Paul Adams
> "Magnus" == Magnus Therning writes: Magnus> Ouch, there only seems to be a version of 6.10.3 in Fedora Magnus> 11, if I read this correctly: Magnus> https://admin.fedoraproject.org/pkgdb/packages/name/ghc Magnus> (I'm not a Fedora user so I might be completely confused M

Re: [Haskell-cafe] Can't install Haskell Platform on 64-bit Linux

2009-08-18 Thread Colin Paul Adams
> "Magnus" == Magnus Therning writes: Magnus> On Tue, Aug 18, 2009 at 10:25 AM, Colin Paul Magnus> Adams wrote: >> I installed GHC 6.10.4 (as ./configure said it was required) >> from a .bz2 file on the GHC downloads page. I then tried >> ./configure for the platform again

[Haskell-cafe] Can't install Haskell Platform on 64-bit Linux

2009-08-18 Thread Colin Paul Adams
I installed GHC 6.10.4 (as ./configure said it was required) from a .bz2 file on the GHC downloads page. I then tried ./configure for the platform again, and got: checking ghc actually works... no configure: error: Your installation of ghc does not appear to work. It cannot compile a simple prog

Re: [Haskell-cafe] Re: Thinking about what's missing in our library coverage

2009-08-05 Thread Colin Paul Adams
> "Tom" == Tom Tobin writes: >> This can surely be tackled by cabal, as it already has the >> license information. Tom> I don't see this as a real solution; why would a package be It should be done anyway, irrespective of the platform. Tom> added to the platform in the firs

Re: [Haskell-cafe] Re: Thinking about what's missing in our library coverage

2009-08-05 Thread Colin Paul Adams
> "Tom" == Tom Tobin writes: Tom> As I understand it, Pandoc is entirely under the GPL (not Tom> LGPL). I'd be very wary of accepting a GPL'd library as a I'd be very upset if pandoc weren't blessed. Tom> blessed "standard" library, since it would be completely Tom> unusab

Re: [Haskell-cafe] Re: Proposal: TypeDirectedNameResolution

2009-07-28 Thread Colin Paul Adams
> "Ryan" == Ryan Ingram writes: Ryan> Along those lines, what about being able to elide class Ryan> names when they can be unambiguously determined from the Ryan> functions defined? Ryan> instance _ [] where fmap = map pure x = [x] fs <*> xs = [ f Ryan> x | f <- fs, x <-

Re: [Haskell-cafe] How to determine if a FilePath is a directory name or regular file?

2009-06-21 Thread Colin Paul Adams
> "Judah" == Judah Jacobson writes: Judah> On Sun, Jun 21, 2009 at 11:12 PM, Colin Paul Judah> Adams wrote: >> I've been hoogling like bad to try to determine if a function >> like this exists. >> >> getDirectoryContents returns sub-directories as well as file >>

[Haskell-cafe] How to determine if a FilePath is a directory name or regular file?

2009-06-21 Thread Colin Paul Adams
I've been hoogling like bad to try to determine if a function like this exists. getDirectoryContents returns sub-directories as well as file names. I want only the latter, so I'm looking for a suitable filter. -- Colin Adams Preston Lancashire ___ Haske

[Haskell-cafe] Can't install chp (confused by cabal yet again)

2009-06-06 Thread Colin Paul Adams
I tried a cabal install chp: It complained that base was hidden. So I unpacked the archive, and tried installing using runhaskell Setup configure/build/install. Now I get (from install): Setup: You need to re-run the 'configure' command. The version of Cabal being used has changed (was Cabal-1.6.

Re: [Haskell-cafe] Can't install happs-tutorial because syb-with-class fails to install

2009-05-17 Thread Colin Paul Adams
False alarm. It compiles OK with ghc 6.10.3. The failure was with ghc 6.11.20090404. -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Can't install happs-tutorial because syb-with-class fails to install

2009-05-17 Thread Colin Paul Adams
Data/Generics/SYB/WithClass/Derive.hs:187:26: Couldn't match expected type `Pred' against inferred type `Type' Expected type: PredQ Inferred type: TypeQ In the first argument of `map', namely `dataCxt' In the first argument of `(++)', namely `map dataCxt dataCxtTypes' Data/

Re: [Haskell-cafe] List of exports of a module - are there alternatives?

2009-05-12 Thread Colin Paul Adams
> "Andrew" == Andrew Wagner writes: Andrew> Uh, show me such a module, and I'll show you a module Andrew> that's quite bloated and desperately needs to be Andrew> refactored. How about a module that provides the official Unicode names for each character? -- Colin Adams Preston L

Re: [Haskell-cafe] Re: ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first release

2009-04-23 Thread Colin Paul Adams
> "Lennart" == Lennart Augustsson writes: Lennart> Of course, n+k will be missed by Haskell obfuscators. I Lennart> mean, what will we do without (+) + 1 + 1 = (+) ? I think what would be missed would you be having the opportunity to explain to me what it means. But as we still hav

Re: [Haskell-cafe] Link errors in Gtk2Hs are more general than I thought.

2009-04-04 Thread Colin Paul Adams
> "Jeff" == Jeff Wheeler writes: Jeff> I installed Gtk2Hs on a similar machine earlier tonight, Jeff> with much success, even with Yi. Jeff> I did not use MacPorts, and instead followed the Jeff> instructions on the HaskellWiki [1] under "Using the GTK+ OS Jeff> X Framewo

Re: [Haskell-cafe] Re: Completely confused by cabal

2009-03-22 Thread Colin Paul Adams
>>>>> "Duncan" == Duncan Coutts writes: Duncan> On Sun, 2009-03-22 at 11:51 +, Colin Paul Adams wrote: >> >>>>> "Achim" == Achim Schneider writes: >> Achim> Colin Paul Adams wrote: > >> So why

Re: [Haskell-cafe] Re: Completely confused by cabal

2009-03-22 Thread Colin Paul Adams
>>>>> "Andrea" == Andrea Vezzosi writes: Andrea> On Sun, Mar 22, 2009 at 12:51 PM, Colin Paul Adams Andrea> wrote: >>>>>>> "Achim" == Achim Schneider writes: >> >>    Achim> Colin Paul A

Re: [Haskell-cafe] Re: Completely confused by cabal

2009-03-22 Thread Colin Paul Adams
>>>>> "Achim" == Achim Schneider writes: Achim> Colin Paul Adams wrote: >> So why doesn't it find packages then, when they are installed? >> Achim> I've got no idea, what exactly are you trying to do, and Achim> how

Re: [Haskell-cafe] Re: Completely confused by cabal

2009-03-22 Thread Colin Paul Adams
So why doesn't it find packages then, when they are installed? -- Colin Adams Preston Lancashire ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

  1   2   >