Re: [Haskell-cafe] First time haskell - parse error!

2010-03-10 Thread Colin Adams
recursively replacing all the names in it with their definitions, until the only names left are built-in primitives. -- Colin Adams Preston, Lancashire, ENGLAND ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Trying to contact authors of "Real World Haskell"?

2009-05-07 Thread Colin Adams
I don't think that CAN be done in Haskell (but just in case, I'm only saying it once). 2009/5/7 Neil Brown : > Although I heard that if you chant "I don't think this can be done in > Haskell" three times in front of a text editor, Don Stewart appears and > implements it in one line... ___

Re: [Haskell-cafe] Confusion on the third monad law when using lambda abstractions

2009-06-18 Thread Colin Adams
What is enum2 doing in all of this - it appears to be ignored. 2009/6/18 Jake McArthur : > Jake McArthur wrote: >> >> Generally, you can transform anything of the form: >> >>    baz x1 = a =<< b =<< ... =<< z x1 >> >> into: >> >>    baz = a <=< b <=< ... <=< z > > I was just looking through the so

Re: [Haskell-cafe] Data.Time is so weak ?!

2009-08-30 Thread Colin Adams
.nabble.com/Data.Time-is-so-weak--%21-tp25218462p25218554.html > Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http:/

Re: [Haskell-cafe] Data.Time is so weak ?!

2009-08-30 Thread Colin Adams
.nabble.com/Data.Time-is-so-weak--%21-tp25218462p25218554.html > Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http:/

[Haskell-cafe] Problems installing documentation and sources using Cabal on Mac OSX

2009-09-01 Thread Colin Adams
ntation failure is because haddock can't find the source code (nor can I), but I don't know why there is no source installed in .cabal/packages - what should I do to further track this problem down? -- Colin Adams Preston, Lancashire, ENGLAND ___

[Haskell-cafe] Can't get my head round monad transformers

2009-09-01 Thread Colin Adams
I'm trying to add a state monad onto the IO monad for use in a happstack application. I thought this should involve using StateT and Happstack.Server.SimpleHTTP.simpleHTTP', but I can't figure out how to plumb it all together. Any tips will be welcome. -- Colin Adams Preston, Lanc

Re: [Haskell-cafe] Can't get my head round monad transformers

2009-09-02 Thread Colin Adams
Thanks. That was all I needed to sort it out. 2009/9/2 Martijn van Steenbergen : > Hi Colin, > > Colin Adams wrote: >> >> I'm trying to add a state monad onto the IO monad for use in a >> happstack application. I thought this

Re: [Haskell-cafe] [Long] 'Fun' with types

2009-09-03 Thread Colin Adams
2009/9/4 David Menendez : > On Thu, Sep 3, 2009 at 6:34 PM, Maciej Piechotka wrote: >>                            (df <<< dg, > > Should that be "df *** dg"? Is swearing allowed on this mailing list? :-) -- Colin

[Haskell-cafe] Multiple-selection formlet?

2009-09-21 Thread Colin Adams
alues to select from is of type [(a, h)] and the result type is a. Am I missing something? -- Colin Adams Preston, Lancashire, ENGLAND ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Problem with Text.XHtml.Strict.Formlets.file on Mac OSX

2009-09-21 Thread Colin Adams
geInputForm = F.plug (\xhtml -> X.p << (X.label << "Image file:") +++ xhtml) F.file Are there any known problems with the file formlet? Might it be OSX specific? -- Colin Adams Preston, Lancashire, ENGLAND ___ Haskell-Cafe

[Haskell-cafe] How to install GD library on Mac OSX?

2009-09-22 Thread Colin Adams
It needs some missing C libraries - gd, png, jpeg, fontconfig and freetype. Does anyone know what to do to install these on OSX? -- Colin Adams Preston, Lancashire, ENGLAND ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] How to install GD library on Mac OSX?

2009-09-23 Thread Colin Adams
2009/9/22 Brandon S. Allbery KF8NH : > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On Sep 22, 2009, at 13:44 , Colin Adams wrote: >> >> It needs some missing C libraries - gd, png, jpeg, fontconfig and >> freetype. >> Does anyone know what to do to ins

Re: [Haskell-cafe] How to install GD library on Mac OSX?

2009-09-23 Thread Colin Adams
Thanks Judah. That was all it took. :-) 2009/9/23 Judah Jacobson : > On Wed, Sep 23, 2009 at 12:23 AM, Colin Adams > wrote: >> 2009/9/22 Brandon S. Allbery KF8NH : >>> -BEGIN PGP SIGNED MESSAGE- >>> Hash: SHA1 >>> >>> On Sep 22, 2009, at 13

Re: [Haskell-cafe] surrogate code points in a Char

2009-11-25 Thread Colin Adams
2009/11/25 Mark Lentczner : > The current version of Unicode is 5.1. This text is now in D90, though > otherwise the same. My references below are to the 5.1 documents (freely > available on line at: http://www.unicode.org/versions/Unicode5.1.0/ ) It's been 5.2 for over a month now, I think. __

Re: [Haskell-cafe] Optimization with Strings ?

2009-12-04 Thread Colin Adams
> Please help me understand the holes in Haskell's type system. Not really wanting to support the troll, but ... unsafePerformIO? Can't it be removed? -- Colin Adams Preston, Lancashire, ENGLAND ___ Haskell-Cafe mailing list Haskell-Caf

Re: [Haskell-cafe] Optimization with Strings ?

2009-12-04 Thread Colin Adams
> Nei > > On 4 Dec 2009, at 08:57, Colin Adams wrote: > >>> Please help me understand the holes in Haskell's type system. >> >> Not really wanting to support the troll, but ... >> >> unsafePerformIO? >> >

Re: [Haskell-cafe] Hayoo and Hoogle (beginner question)

2009-12-06 Thread Colin Adams
2009/12/7 drostin77 : > > Hello Hopefully Helpful Haskell Community! > > (I really wanted that to be alliteration... couldn't come up with an h word > for community) House? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mai

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

2009-12-16 Thread Colin Adams
.cabal file to add the above line, and re-installing it.. But this is likely to trickle through all the packages I have installed. So I was looking for a way to make it the default. But I guess this won't scale (if a package already has a pgmF preprocessot, there would be a conflict). -- Colin

Re: [Haskell-cafe] Alternative name for return

2013-08-06 Thread Colin Adams
What about 'inject'? On 6 August 2013 09:09, Karol Samborski wrote: > What about 'pack'? > > Best, > Karol > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > __

Re: [Haskell-cafe] Contracts

2013-08-07 Thread Colin Adams
I thought the OP was talking about software contracts (as in Eiffel / Design By Contract ). Liquid Haskell is interesting in this respect. Though I doubt if it qualifies as mature. On 7 August 2013 16:15, Duncan Coutts wrote: > On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote: > > I've com

Re: [Haskell-cafe] Mystery of an Eq instance

2013-09-21 Thread Colin Adams
On 21 September 2013 08:34, Stijn van Drongelen wrote: > * As mentioned, there is a total order (Ord) on floats (which is what you > should be using when checking whether two approximations are approximately > equal), which implies that there is also an equivalence relation (Eq). > how do you ge

Re: [Haskell-cafe] Any precedent or plan for guaranteed-safe Eq and Ord instances?

2013-10-02 Thread Colin Adams
Only for meanings of "better" which do not imply as good performance. On 2 October 2013 14:46, Stijn van Drongelen wrote: > I do think something has to be done to have an Eq and Ord with more strict > laws. > > * Operators in Eq and Ord diverge iff any of their parameters are bottom. > * The de

Re: [Haskell-cafe] unfoldr [ANN: HLint 1.2]

2009-01-13 Thread Colin Adams
2009/1/13 Andrew Coppin : > One of the wonderful things about Haskell is that almost any time anybody > posts code, at least one person will think up an alternative but equivilent > way of achieving the same goal - sometimes by radically different steps. > > Maybe we should have a name for this ef

Re: [Haskell-cafe] Re: how to use a literal string with bystring useAsCString

2009-02-09 Thread Colin Adams
2009/2/9 minh thu : > > Anyway, I'd like to get my utf-8 string to C but in ascii (or latin1). > > How can do this ? You can't (in general). If the data just happens to be ascii, then your utf-8 string will BE ascii (there is no way to tell the difference). If it just happens to be in the range o

Re: [Haskell-cafe] Overloading functions based on arguments?

2009-02-13 Thread Colin Adams
If you have two functions that do two different things, then they certainly OUGHT to have different names. You can of course put the two functions in different modules. Then they do have different (qualified) names. 2009/2/13 Daniel Kraft : > Hi, > > I just came across a problem like this: Suppo

Re: [Haskell-cafe] Re: Theory about uncurried functions

2009-03-05 Thread Colin Adams
2009/3/5 Hans Aberg : > GHC says that for any set x, there are no cardinalities between card x and No it doesn't. It says there is a syntax error in my code. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
thout having to deal with >>   Ross> the dual-GHC macports mess.. >> >>   Ross> >> http://www.haskell.org/haskellwiki/Gtk2hs#Using_the_GTK.2B_OS_X_Framework >> >> I just tried this. >> >> The configure enables cairo, but does not enable svgcairo. Is there &

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
ough if you want to paste them here maybe I can help with them. > > -Ross > > On Mar 21, 2009, at 1:27 PM, Colin Adams wrote: > >> If I try this, pango fails to compile with lots of error messages >> about error: macro names must be identifiers. >> >> I thi

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
OK - I added the --with-user-pkginfo flag. It nearly all works now - but still no svgcairo - ./configure doesn't find it. 2009/3/21 Ross Mellgren : > (back to the list) > > Answers inline: > > On Mar 21, 2009, at 2:42 PM, Colin Adams wrote: > >> Yes, that was the p

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
It didn't. 2009/3/21 Ross Mellgren : > Did the configure for gtk2hs claim that it was going to build svgcairo? If > something is wrong with the librsvg install, it won't. > > -Ross > > On Mar 21, 2009, at 4:49 PM, Colin Adams wrote: > >> OK - I added the --wit

Re: [Haskell-cafe] Ease of Haskell development on OS X?

2009-03-21 Thread Colin Adams
And the reason is that librsvg fails to find cairo, pangocairo and cairo-png. Where is it supposed to find them? 2009/3/21 Colin Adams : > It didn't. > > 2009/3/21 Ross Mellgren : >> Did the configure for gtk2hs claim that it was going to build svgcairo? If >> s

Re: [Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-22 Thread Colin Adams
OK, I got it installed, but build warned me of duplicate dylibs, and running my program gave a bus error. So I port uninstalled gtk2, so now it compiled without warnings, but the program won't run because I had been forced to uninstall pangoft to uninstall gtk2. So now I need to uninstall the gtk

Re: [Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-22 Thread Colin Adams
bgnomecanvas Error: Status 1 encountered during processing. Which is singularly uninformative to me. It looks like I am not going to be able to do any haskell programming next week when I am away with only a macbook. 2009/3/22 Hans Aberg : > On 22 Mar 2009, at 10:28, Colin Adams wrote: > >>

Re: [Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-22 Thread Colin Adams
No. It's all recent. 2009/3/22 Hans Aberg : > On 22 Mar 2009, at 11:32, Colin Adams wrote: > >> creating build/temp.macosx-10.3-i386-2.5 >> -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-prototypes -I/opt/local/include >> >> -I/opt/local/Library/Frameworks/Python.frame

Re: [Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-22 Thread Colin Adams
2009/3/22 Hans Aberg : > On 22 Mar 2009, at 11:32, Colin Adams wrote: > >> I tried issuing the sudo port install command on the wiki page. > > What did you try to install? ... Just what it says on the wiki page: sudo port install glade3 libglade2 gstreamer gst-plugins-base g

Re: [Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-22 Thread Colin Adams
hen I type make, I get (after a lot of compiling): No rule to make target `glib/System/Glib/GObject_stub.p_o needed by' ... I shall try again without enmabling profiling support. 2009/3/22 Brandon S. Allbery KF8NH : > On 2009 Mar 22, at 6:32, Colin Adams wrote: >> >> creati

Re: [Haskell-cafe] Re: Ease of Haskell development on OS X?

2009-03-22 Thread Colin Adams
2009/3/22 Colin Adams : > No, I haven't done that - I forgot about that command since I first > installed macports nearly a year ago. :-( > > Bit I DID manage to get the ports all installed (thanks to lots of > help from Hans, and lots of individual port uninstalls followe

Re: [Haskell-cafe] about Haskell code written to be "too smart"

2009-03-25 Thread Colin Adams
2009/3/24 Jonathan Cast : > On Tue, 2009-03-24 at 22:33 +0300, Eugene Kirpichov wrote: >> Pretty cool once you know what the function does, but I must admit I >> wouldn't immediately guess the purpose of the function when written in >> this way. > > I wouldn't immediately guess the purpose of the f

Re: [Haskell-cafe] about Haskell code written to be "too smart"

2009-03-26 Thread Colin Adams
2009/3/25 wren ng thornton : >>  Most of the "documentation" is in research papers, and a "normal" >>  programmer don't want to read these papers. > > Yes, and no. There is quite a bit of documentation in research papers, and > mainstream programmers don't read research. However, this is a big part

Re: [Haskell-cafe] Re: about Haskell code written to be "too smart"

2009-03-27 Thread Colin Adams
2009/3/27 Achim Schneider : > wren ng thornton wrote: > >> Colin Adams wrote: >> > 2009/3/25 wren ng thornton : >> > when I look up the Haddock-generated documentation for a function, I >> > DON'T appreciate it if that is in the form of a hyperlink to

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

2011-12-30 Thread Colin Adams
On 30 December 2011 16:59, Gregg Reynolds wrote: > > On Fri, Dec 30, 2011 at 12:49 AM, Heinrich Apfelmus < > apfel...@quantentunnel.de> wrote: > >> >> The function >> >> f :: Int -> IO Int >> f x = getAnIntFromTheUser >>= \i -> return (i+x) >> >> is pure according to the common definition of "p

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

2011-12-30 Thread Colin Adams
On 30 December 2011 17:17, Gregg Reynolds wrote: > > On Dec 30, 2011, at 11:04 AM, Colin Adams wrote: > > > > On 30 December 2011 16:59, Gregg Reynolds wrote: > >> >> On Fri, Dec 30, 2011 at 12:49 AM, Heinrich Apfelmus < >> apfel...@quantentunnel.de&

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

2011-12-30 Thread Colin Adams
On 30 December 2011 17:27, Conal Elliott wrote: > On Fri, Dec 30, 2011 at 9:20 AM, Colin Adams wrote: > >> >> proof: f is a function, and it is taking the same argument each time. >> Therefore the result is the same each time. >> > > Careful of circular reaso

Re: [Haskell-cafe] Learn you

2012-05-02 Thread Colin Adams
I don't find it (the English title) humorous. I just assumed it was written by a non-native English speaker. On 2 May 2012 18:18, Brent Yorgey wrote: > I am curious how the title was translated. Of course, the English > title "Learn You a Haskell for Great Good" uses intentionally > ungrammatic

[Haskell-cafe] Fwd: Can Haskell outperform C++?

2012-05-17 Thread Colin Adams
Oops. Forget to reply to all. -- Forwarded message -- From: Colin Adams Date: 17 May 2012 08:43 Subject: Re: [Haskell-cafe] Can Haskell outperform C++? To: Roman Werpachowski On 17 May 2012 07:12, Roman Werpachowski wrote: > > It depends on what you use the code for

[Haskell-cafe] Haskell Wiki News

2012-09-22 Thread Colin Adams
This doesn't seem to be up-to-date. It announces GHC 7.4 released (but 7.6.1 was released a couple of weeks ago). ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Release Candidate 2: HP 2014.4.0.0

2012-10-19 Thread Colin Adams
That's VERY efficient (2014 editions out in 2012). :-) On 19 October 2012 16:37, Mark Lentczner wrote: > Haskellistas - > > The second release candidate of HP 2014.4.0.0 is now available: > > Source tarball: haskell-platform-2012.4.0.0-rc2.tar.gz > Mac 32-bit installer: Haskell Platform 2012.4.0

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

2012-10-29 Thread Colin Adams
I'm not viewing on a narrow device, and I see the wrapped (and the whole post confined to the centre of the screen). I certainly don't use an 80-column limit any more. I use the rule: A function must be completely visible in my editor on my screen. (but this is only a good rule if most people who

Re: [Haskell-cafe] LGPL and Haskell (Was: Re: ANNOUNCE: tie-knot library)

2012-12-13 Thread Colin Adams
On 13 December 2012 08:09, Michael Snoyman wrote: > To take this out of the academic realm and into the real-life realm: I've > actually done projects for companies which have corporate policies > disallowing the usage of any copyleft licenses in their toolset. My use > case was a web application

Re: [Haskell-cafe] Object Oriented programming for Functional Programmers

2013-01-04 Thread Colin Adams
There have been lots of proposals to fix the CATCALL problems in recent years. None have been implemented (at least in ISE/GEC compilers. And tecomp has been abandonded by its author - he is now writing a series of blogs about a vapourware product called "Modern Eiffel"). I don't find the CATCALL

Re: [Haskell-cafe] Rendering of in new wiki (MSIE6)

2010-12-15 Thread Colin Adams
machines etc. - only to find out that you have not > been visited once by IE 6. > And you have to pay for a copy of MS-Windows to run in your VM. I.e. YOU (read I) have to pay to support someone else's broken software. So you wouldn't catch me trying to support IE 6 (or anythin

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-02-28 Thread Colin Adams
I'd wage money on it. -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] ANN: theoremquest-0.0.0

2011-02-28 Thread Colin Adams
wouldn't dismiss > it off-hand like that. > > On Mon, Feb 28, 2011 at 10:16 AM, Colin Adams < > colinpaulad...@googlemail.com> wrote: > >> On 28 February 2011 14:59, Tom Hawkins wrote: >> >>> I have been wanting to gain a better understanding of i

Re: [Haskell-cafe] bug in Prelude.words?

2011-03-28 Thread Colin Adams
t; > Prelude> words "abc def\xA0ghi" > ["abc","def\160ghi"] > > Regards, > Malcolm > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Colin Adams
2011/4/4 Roel van Dijk > Hello, > > The Haskell 2010 language specification states that "Haskell uses > the Unicode character set" [1]. I interpret this as saying that, > at the lowest level, a Haskell program is a sequence of Unicode > code points. The standard doesn't say how such a sequence sh

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Colin Adams
a pragma, it will be fairly pointless putting this in the standard. -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments ___ Haskell-Cafe mailing list Haskell-Ca

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-05 Thread Colin Adams
st > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > True, but we could say that UTF-8 is complusory in the absence of a module declaration. -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon ca

Re: [Haskell-cafe] Unicode normalization

2011-04-19 Thread Colin Adams
______ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments ___

Re: [Haskell-cafe] Haskell from SML - referrential Transparency?!

2011-04-25 Thread Colin Adams
cing (though you may want to remove many trace statements when you are convinced the code is thoroughly debugged). -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments

Re: [Haskell-cafe] *GROUP HUG*

2011-05-24 Thread Colin Adams
> Okay, I'm done now. :-) > > Cheers, > Greg > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Colin Adams Preston, Lancashire, ENGLAND () ascii ribbon campaign -

Re: [Haskell-cafe] Current Haskell report URL

2011-11-23 Thread Colin Adams
On 23 November 2011 22:02, Tom Murphy wrote: > > > The current impression that we give is that Haskell98 is the current > standard, and Haskell2010 isn't compiler-supported. > > > Indeed, but yesterday there was a post on beginners where the OP said they didn't want to use extensions, just plain

Re: [Haskell-cafe] Poll: Do you want a mascot?

2011-11-23 Thread Colin Adams
No. On 23 November 2011 19:11, heathmatlock wrote: > Question: Do you want a mascot? > > Answers: > Yes > No > > > -- > This is an attempt to figure out if this idea is going anywhere. > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > ht

Re: [Haskell-cafe] What happens if you get hit by a bus?

2011-12-16 Thread Colin Adams
I would think there were plenty of Haskell programmers ready to jump in as replacements. On 16 December 2011 15:37, Michael Litchard wrote: > I'm learning what it means to be a professional Haskell programmer, > and contemplating taking on side jobs. The path of least resistance > seems to be we