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

2012-01-27 Thread Herbert Valerio Riedel
On Thu, 2012-01-26 at 22:52 -0500, Daniel Santa Cruz wrote: * shachaf: Haskell's type system is the perfect mix of useless and stupid. ...btw, what's the context of this quote? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

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

2011-09-28 Thread Daniel Santa Cruz
On Wed, Sep 28, 2011 at 8:09 PM, Daniel Santa Cruz dstc...@gmail.comwrote: Welcome to issue 201 of the HWN, a newsletter covering developments in the Haskell community. This release covers the week of September 18 to 24, 2011. You can find the HTML version of this issue at:

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

2011-06-24 Thread Jack Henahan
You could always just subscribe to the HWN feed on Contemplating Code. I just load up my reader when I don't want to read the text dispatches. Try http://contemplatecode.blogspot.com/feeds/posts/default?alt=rss That's the feed URL I use. Then the one on the mailing list is your plaintext

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

2011-06-24 Thread David Sankel
On Thu, Jun 23, 2011 at 6:37 PM, Felipe Almeida Lessa felipe.le...@gmail.com wrote: On Thu, Jun 23, 2011 at 6:53 PM, Rogan Creswick cresw...@gmail.com wrote: Short, obfsucated, urls may direct you places you don't want to go, but I fail to see how that concern applies to HWN: since each

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

2011-06-24 Thread Andrew Coppin
On 23/06/2011 11:30 PM, Jack Henahan wrote: My solution for the '[0] with a link far down the page' issue is just to search for '[0]'. My solution is to never read the text version and only ever read the HTML version. Works great for me. :-) ___

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

2011-06-23 Thread Lyndon Maydwell
It's probably obvious, but is there a reason why the links in this email are being minimised? On Thu, Jun 23, 2011 at 11:08 AM, Daniel Santa Cruz dstc...@gmail.com wrote:   Welcome to issue 187 of the HWN, a newsletter covering developments in   the Haskell community. This release covers the

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

2011-06-23 Thread Daniel Santa Cruz
Lyndon, The links are minimized in hopes of making the plain text version somewhat readable. It is purely for aesthetical reasons. If you view the web version http://contemplatecode.blogspot.com/2011/06/haskell-weekly-news-issue-187.html you'll see that they are not minimized there. Daniel On

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

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

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

2011-06-23 Thread Rogan Creswick
On Thu, Jun 23, 2011 at 11:16 AM, Simon Michael si...@joyful.com wrote: On 6/23/11 10:49 AM, Iustin Pop wrote: FYI, a regular link (though longer) seems more appropriate to me. Don't know if other people feel the same though. I prefer the short links, since it is much easier to keep track of

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

2011-06-23 Thread Simon Michael
On 6/23/11 10:49 AM, Iustin Pop wrote: FYI, a regular link (though longer) seems more appropriate to me. Don't know if other people feel the same though. +1 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

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

2011-06-23 Thread Albert Y. C. Lai
Picky readers we are. I don't mind URL length. And there are ways to have long URLs in-situ without being a big disruption. I hate the borrowed academic practice of saying [0] and giving the URL two hundred lines later. It worked great on paper in hands because I could stick my finger to

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

2011-06-23 Thread Rogan Creswick
On Thu, Jun 23, 2011 at 2:26 PM, Albert Y. C. Lai tre...@vex.net wrote: I hate the borrowed academic practice of saying [0] and giving the URL two hundred lines later. It worked great on paper in hands because I could stick my finger to the paper to remember where to return. It also works great

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

2011-06-23 Thread Jack Henahan
Whoops, forgot to Reply All. My solution for the '[0] with a link far down the page' issue is just to search for '[0]'. Then it brings me to the link, I can open it if I like, and then I just search again for '[0]' and it brings me back to the context. It's imperfect and requires wraparound

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

2011-06-23 Thread Felipe Almeida Lessa
On Thu, Jun 23, 2011 at 6:53 PM, Rogan Creswick cresw...@gmail.com wrote: Short, obfsucated, urls may direct you places you don't want to go, but I fail to see how that concern applies to HWN: since each url is accompanied by a description of its content, that seems to obviate the need to see

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

2011-06-23 Thread Conrad Parker
On 24 June 2011 02:24, Rogan Creswick cresw...@gmail.com wrote: On Thu, Jun 23, 2011 at 11:16 AM, Simon Michael si...@joyful.com wrote: On 6/23/11 10:49 AM, Iustin Pop wrote: FYI, a regular link (though longer) seems more appropriate to me. Don't know if other people feel the same though. I

Re: [Haskell-cafe] Haskell Weekly News: Issue 159 - November 17, 2010

2010-11-17 Thread Jake McArthur
On 11/17/2010 09:56 PM, Daniel Santa Cruz wrote: Curious about the most active members of the #haskell IRC channel? Out of around 28K utterances in the channel this week, 24% of them where spoken by the top 5 most active members. Not suprisingly, the dear lambdabot is at the top

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-22 Thread wren ng thornton
On 10/21/10 5:38 AM, Ketil Malde wrote: I'm always getting two copies of everything in haskell@, since everything is cross-posted to -cafe. Are there actually people subscribed to -cafe, but *not* to hask...@? And if so, why? I am. In part because I don't want to get two copies of

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-21 Thread Malcolm Wallace
I just noticed that the recent revival of HWN is only being posted to haskell-cafe. I know there are lots of people who no longer subscribe to -cafe because of the amount of traffic, but who remain subscribed to the hask...@haskell.org list to receive announcements only, and who might

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-21 Thread Ketil Malde
Malcolm Wallace malcolm.wall...@me.com writes: might value HWN as a quick-summary catchup of community news. Can you resume posting HWN there as well please? s/as well/instead/g I'm always getting two copies of everything in haskell@, since everything is cross-posted to -cafe. Are there

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-21 Thread Daniel Fischer
On Thursday 21 October 2010 11:38:37, Ketil Malde wrote: I'm always getting two copies of everything in haskell@, since everything is cross-posted to -cafe. Are there actually people subscribed to -cafe, but *not* to hask...@? And if so, why? I have long been subscribed to -cafe but not to

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-21 Thread Max Rabkin
On Thu, Oct 21, 2010 at 11:38, Ketil Malde ke...@malde.org wrote:  Are there actually people subscribed to -cafe, but *not* to hask...@? Yes. And if so, why? Because... I'm always getting two copies of everything in haskell@, since everything is cross-posted to -cafe. :) --Max

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-21 Thread Jean-Marie Gaillourdet
Hi, On 21.10.2010, at 11:38, Ketil Malde wrote: Malcolm Wallace malcolm.wall...@me.com writes: might value HWN as a quick-summary catchup of community news. Can you resume posting HWN there as well please? s/as well/instead/g +1 I'm always getting two copies of everything in

Re: [Haskell-cafe] Haskell Weekly News: Issue 155 - October 20, 2010

2010-10-21 Thread Ketil Malde
Daniel Fischer daniel.is.fisc...@web.de writes: I have long been subscribed to -cafe but not to hask...@. Regarding why, I wasn't interested in what haskell@ was supposed to be for, while I was interested in what -cafe is for. The Wiki documents these lists as: hask...@haskell.org

Re: [Haskell-cafe] Haskell Weekly News: Issue 153 - October 06, 2010

2010-10-06 Thread Christopher Done
Excellent! Thanks for putting this together. It's nice to have. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Haskell Weekly News

2010-09-09 Thread aditya siram
I'd like to do it. Any tips? -deech On Thu, Sep 9, 2010 at 9:35 AM, Malcolm Wallace malcolm.wall...@me.com wrote: I miss the Haskell Weekly News. The most recent issue was published on 8th March 2010.  The volunteer who produces it claimed on 27th April that he would be back in action soon,

Re: [Haskell-cafe] Haskell Weekly News

2010-09-09 Thread Joe Fredette
I miss it too, I've got one person set up (or in the process of setting up) to take it over. I'll be happy to help anyone else get set up (the tools are nontrivial to use at first). The current plan, when I finally get back on my feet, is to have multiple editors trading off weeks/months/

Re: [Haskell-cafe] Haskell Weekly News?

2010-06-23 Thread aditya siram
I haven't seen HWN in a while. If there is still community interest, how can we help you with this? -deech On Wed, Apr 28, 2010 at 2:45 AM, Joe Fredette jfred...@gmail.com wrote: While I would not be opposed to being paid, I don't think it's at all necessary or even really appropriate. I liken

Re: [Haskell-cafe] Haskell Weekly News?

2010-06-23 Thread Vo Minh Thu
2010/6/23 aditya siram aditya.si...@gmail.com: I haven't seen HWN in a while. If there is still community interest, how can we help you with this? It will come back, see this thread: http://www.reddit.com/r/haskell/comments/cdw38/hwn_it_will_be_back_promise/ Cheers, Thu

Re: [Haskell-cafe] Haskell Weekly News?

2010-06-23 Thread aditya siram
Neat. Thanks! -deech On Wed, Jun 23, 2010 at 10:06 AM, Vo Minh Thu not...@gmail.com wrote: 2010/6/23 aditya siram aditya.si...@gmail.com: I haven't seen HWN in a while. If there is still community interest, how can we help you with this? It will come back, see this thread:

Re: [Haskell-cafe] Haskell Weekly News?

2010-06-23 Thread Joe Fredette
Yah, this is gonna sound like a crappy thing -- but my computer is still broken. What I thought was a faulty SATA port seems to actually be an issue with the harddrive, so -- one more week is the punchline. I'm really sorry guys... /Joe On Jun 23, 2010, at 10:13 AM, aditya siram wrote:

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread David Virebayre
On Wed, Apr 28, 2010 at 7:47 AM, David Sankel cam...@gmail.com wrote: I'm wondering if a monetary incentive would keep the person who does this work more accountable. I personally would be willing to contribute to continue getting this service. I wonder if there are others as well. I don't

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread Joe Fredette
While I would not be opposed to being paid, I don't think it's at all necessary or even really appropriate. I liken the job to volunteering at a local community action group -- not really the kind of thing you get paid for. That said, if any of you have time machines/time dilation devices

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread Ivan Lazar Miljenovic
Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta test. Don't be silly, you don't need more time, you need more _you_ (i.e. clones); after all, nothing ever goes wrong with clones! :p -- Ivan Lazar

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread minh thu
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta test. Don't be silly, you don't need more time, you need more _you_ (i.e. clones); after all,

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread Ivan Lazar Miljenovic
minh thu not...@gmail.com writes: 2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta test. Don't be silly, you don't need more time, you need

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread minh thu
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: minh thu not...@gmail.com writes: 2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-27 Thread David Sankel
I'm wondering if a monetary incentive would keep the person who does this work more accountable. I personally would be willing to contribute to continue getting this service. I wonder if there are others as well. David On Mon, Apr 26, 2010 at 9:32 PM, Joe Fredette jfred...@gmail.com wrote:

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread Joe Fredette
Hehe, Mostly, at the moment, as I mentioned to Deech, what is holding me up is trying to get HWN and 7 classes worth of finals and papers done. This is the last two weeks of my last semester, but it should be all done soon. I hope to get HWN out shortly after it's all finished up. I

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread Ivan Miljenovic
On 27 April 2010 10:08, Joe Fredette jfred...@gmail.com wrote:  I hope to get HWN out shortly after it's all finished up. I shall return! As long as you don't end up copying the Gentoo situation where the Gentoo Weekly News died, was resurrected (not sure how many times), was converted to the

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-26 Thread Joe Fredette
Most certainly, the HWN is easy to put together, it's just a little time consuming, the weekly schedule is just enough under a normal 40- hour courseload. When that number jumps into the high billions (as it did this last semester), it becomes someone more difficult to fit in. HWN will

Re: [Haskell-cafe] Haskell Weekly News: Issue 149 - February 08, 2010

2010-02-08 Thread Tom Tobin
On Mon, Feb 8, 2010 at 11:47 AM, jfred...@gmail.com wrote: --- Haskell Weekly News http://sequence.complete.org/hwn/20100208 Issue 149 - February 08, 2010

Re: [Haskell-cafe] Haskell Weekly News: Issue 142 - December 13, 2009

2009-12-13 Thread Erlend Hamberg
Hi, First and foremost; thanks for your work on the HWN. It is greatly appreciated. :) Just a quick tip: On Monday 14. December 2009 00.45.29 jfred...@gmail.com wrote: Until next week, Haskeller's, […] why we Haskeller's […] Both of these refer to many “haskellers” – no apostrophe should be

Re: [Haskell-cafe] Haskell Weekly News: Issue 142 - December 13, 2009

2009-12-13 Thread Joe Fredette
English, while my first language (and in fact, only language...) is also my worst language... Thanks for catching the grammar snafu. While I'm here, please note that the issue number is off as well, it's fixed in the version on sequence.complete.org, but not in the email version. /Joe

Re: [Haskell-cafe] Haskell Weekly News: Issue 138 - November 07, 2009

2009-11-07 Thread Felipe Lessa
On Fri, Nov 06, 2009 at 10:04:45PM -0800, jfred...@gmail.com wrote: * mauke: @unpl const (flip const) lambdabot: (\ _ c d - d) I didn't get this one, is it just because lambdabot didn't change 'c' to an underscore? Thanks for the HWN, as always :), -- Felipe.

Re: [Haskell-cafe] Haskell Weekly News: Issue 138 - November 07, 2009

2009-11-07 Thread Svein Ove Aas
On Sat, Nov 7, 2009 at 10:48 AM, Felipe Lessa felipe.le...@gmail.com wrote: On Fri, Nov 06, 2009 at 10:04:45PM -0800, jfred...@gmail.com wrote:      * mauke: @unpl const (flip const)        lambdabot: (\ _ c d - d) I didn't get this one, is it just because lambdabot didn't change 'c' to an

Re: [Haskell-cafe] Haskell Weekly News: Issue 134 - October 10, 2009

2009-10-11 Thread Patrick LeBoutillier
Hi, Could/should the Haskell Weekly News be posted to the beginners list as well? I normally don't follow haskell-cafe (too much traffic and generally above my level I must admit...), but I like to follow what's going on in the Haskell community. Patrick On Sat, Oct 10, 2009 at 3:47 AM,

Re: [Haskell-cafe] Haskell Weekly News: Issue 134 - October 10, 2009

2009-10-11 Thread Max Rabkin
Why don't you subscribe to haskell? It's much lower volume, and I think it's a better option than taking -beginners off-topic. --Max On Sun, Oct 11, 2009 at 2:10 PM, Patrick LeBoutillier patrick.leboutill...@gmail.com wrote: Hi, Could/should the Haskell Weekly News be posted to the beginners

Re: [Haskell-cafe] Haskell Weekly News: Issue 134 - October 10, 2009

2009-10-11 Thread Joe Fredette
I'm happy to tack it on to the sendout, but as others have mentioned, subscription to haskell-general (to use GManes nomenclature) is probably the better option. -beginners, iirc, is principally for questions, not community content. Is this the consensus over there? I'll do whatever you

Re: [Haskell-cafe] Haskell Weekly News: Issue 134 - October 10, 2009

2009-10-11 Thread Ben Franksen
Patrick LeBoutillier wrote: Could/should the Haskell Weekly News be posted to the beginners list as well? I normally don't follow haskell-cafe (too much traffic and generally above my level I must admit...), but I like to follow what's going on in the Haskell community. I find reading the

Re: [Haskell-cafe] Haskell Weekly News: Issue 131 - September 19, 2009

2009-09-21 Thread Brent Yorgey
On Sun, Sep 20, 2009 at 03:11:04PM -0400, Joe Fredette wrote: Ahh, I found the issue. I generated this on the 18th, the software makes files of the form yearmonthdate.ext, so when Brent uploaded the hwn for me, the link it generates is to the date it was generated on, not the date it was

Re: [Haskell-cafe] Haskell Weekly News: Issue 131 - September 19, 2009

2009-09-20 Thread Andrew Coppin
Joe Fredette wrote: Haskell Weekly News http://sequence.complete.org/hwn/20090918 Issue 131 - September 18, 2009 Does anybody else get page not found for this URL? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Haskell Weekly News: Issue 131 - September 19, 2009

2009-09-20 Thread Joe Fredette
Ahh, I found the issue. I generated this on the 18th, the software makes files of the form yearmonthdate.ext, so when Brent uploaded the hwn for me, the link it generates is to the date it was generated on, not the date it was published on. The appropriate link is

Re: [Haskell-cafe] Haskell Weekly News: Issue 114 - April 17, 2009

2009-04-17 Thread Martijn van Steenbergen
Brent Yorgey wrote: The [2]5th Haskell Hackathon is underway in Utrecht! Happy Haskell hacking! An early HWN this week since I will be traveling this weekend (but not, unfortunately, to the Hackathon). Yes! It's been a good day so far; there are lots of projects being worked on. You

Re: [Haskell-cafe] Haskell Weekly News: Issue 111 - March 28, 2009

2009-03-28 Thread Conal Elliott
conal: Recursion is the goto of functional programming BTW, I certainly did not mean to take credit for this wonderful quote. I don't know the origin. I first heard it from Erik Meijer. - Conal ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Haskell Weekly News: Issue 111 - March 28, 2009

2009-03-28 Thread Krzysztof Skrzętnicki
This paper from 1994: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5611 begins point 1.1 with exactly that sentence. It doesn't seem to be quoted there, so one can assume this is the original source of that sentence. I'm not sure dough. Regards Christopher Skrzętnicki 2009/3/28

Re: [Haskell-cafe] Haskell Weekly News: Issue 111 - March 28, 2009

2009-03-28 Thread Lennart Augustsson
The quote has been around since at least the early 80s, but I don't know who it's from. 2009/3/28 Krzysztof Skrzętnicki gte...@gmail.com: This paper from 1994: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5611 begins point 1.1 with exactly that sentence. It doesn't seem to be

Re: [Haskell-cafe] Haskell Weekly News: Issue 92 - November 8, 2008

2008-11-10 Thread Andrew Coppin
Brent Yorgey wrote: --- Haskell Weekly News http://sequence.complete.org/hwn/20081108 Issue 92 - November 08, 2008 --- GHC version 6.10.1. Ian

Re: [Haskell-cafe] Haskell Weekly News: Issue 92 - November 8, 2008

2008-11-10 Thread Austin Seipp
Anyway, I don't see it anywhere in the release notes, but I get the vibe that type families are supposed to be fully working now. Is that correct? If so, why no mention anywhere? Type families have been completely reimplemented and should be stable now, but there are some bugs - notably

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-15 Thread Rafael C. de Almeida
Richard A. O'Keefe wrote: On 14 Sep 2008, at 10:59 pm, Rafael Almeida wrote: One thing have always bugged me: how do you prove that you have correctly proven something? This really misses the point of trying to formally verify something. That point is that you almost certainly have NOT.

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-15 Thread Robin Green
On Mon, 15 Sep 2008 13:05:11 -0300 Rafael C. de Almeida [EMAIL PROTECTED] wrote: I do not know. I'm not experienced on the field and I was under the impression you'd write your code then get a pen and a paper and try to prove some property of it. In fairness, that's how it's often done in

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-15 Thread Aaron Tomb
On Sep 15, 2008, at 10:43 AM, Robin Green wrote: In fairness, that's how it's often done in universities (where correctness doesn't really matter to most people - no offense intended). But once you start using software to write formal proofs, it is quite easy in principle to get a computer

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-15 Thread Rafael Almeida
On Mon, Sep 15, 2008 at 2:43 PM, Robin Green [EMAIL PROTECTED] wrote: On Mon, 15 Sep 2008 13:05:11 -0300 Rafael C. de Almeida [EMAIL PROTECTED] wrote: Someone mentioned coq, I read a bit about it, but it looked really foreign to me. The idea is to somehow prove somethings based only on the

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-14 Thread Brandon S. Allbery KF8NH
On 2008 Sep 14, at 1:24, Daryoush Mehrtash wrote: What I am trying to figure out is that say on the code for the IRC bot that is show here http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot/Source What would theorem proofs do for me? Assurance of correct operation; for example, a

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-14 Thread Rafael Almeida
On Sun, Sep 14, 2008 at 5:56 AM, Thomas M. DuBuisson [EMAIL PROTECTED] wrote: What would theorem proofs do for me? Imagine if you used SmallCheck to exhastively test the ENTIRE problem space for a given property. Now imagine you used your brain to show the programs correctness before the

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-14 Thread Chaddaï Fouché
2008/9/14 Rafael Almeida [EMAIL PROTECTED]: One thing have always bugged me: how do you prove that you have correctly proven something? I mean, when I write a code I'm formaly stating what I want to happen and bugs happen. If I try to prove some part of the code I write more formal text

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-14 Thread Dan Doel
On Sunday 14 September 2008 6:59:06 am Rafael Almeida wrote: One thing have always bugged me: how do you prove that you have correctly proven something? I mean, when I write a code I'm formaly stating what I want to happen and bugs happen. If I try to prove some part of the code I write more

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-13 Thread Don Stewart
dmehrtash: I have a newbie question Does theorem proofs have a use for an application? Take for example the IRC bot example ([1]http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed below. Is there any insight to be gained by theorem proofs (as in COQ) into

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-13 Thread Daryoush Mehrtash
What I am trying to figure out is that say on the code for the IRC bot that is show here http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot/Source What would theorem proofs do for me? Daryoush On Sat, Sep 13, 2008 at 9:29 PM, Don Stewart [EMAIL PROTECTED] wrote: dmehrtash: I have

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

2008-09-13 Thread Thomas M. DuBuisson
What would theorem proofs do for me? Imagine if you used SmallCheck to exhastively test the ENTIRE problem space for a given property. Now imagine you used your brain to show the programs correctness before the heat death of the universe... Proofs are not features, nor are they code. What

Re: [Haskell-cafe] Haskell Weekly News - February 10, 2008

2008-02-11 Thread Ross Paterson
On Mon, Feb 11, 2008 at 02:24:19PM +0100, Wolfgang Jeltsch wrote: Am Montag, 11. Februar 2008 02:09 schrieb Don Stewart: [???] * Imlib 0.1.1. Uploaded by Cale Gibbard. [120]Imlib: Added by CaleGibbard, Sun Jan 13 22:26:59 PST 2008.. [???] * haddock 2.0.0.0.

Re: [Haskell-cafe] Haskell Weekly News - February 10, 2008

2008-02-11 Thread Wolfgang Jeltsch
Am Montag, 11. Februar 2008 02:09 schrieb Don Stewart: […] * Imlib 0.1.1. Uploaded by Cale Gibbard. [120]Imlib: Added by CaleGibbard, Sun Jan 13 22:26:59 PST 2008.. […] * haddock 2.0.0.0. Uploaded by David Waern. [147]haddock: Added by DavidWaern […] What's the

Re: [Haskell-cafe] Haskell Weekly News: May 07, 2007

2007-05-07 Thread Andrew Coppin
--- Haskell Weekly News http://sequence.complete.org/hwn/20070507 Issue 62 - May 07, 2007 --- Chaos. Andrew Coppin [29]announced chaos, a fun

Re: [Haskell-cafe] Haskell Weekly News: March 12, 2007

2007-03-13 Thread Steve Downey
One of my editors at somepoint, told me that he had asked his lawyers about this (i.e. don't think this is anything like real legal advice), and the answer was 'If you publish an article and advise someone that the way to do something is X, no judge will be happy if you sue them for taking your

Re: [Haskell-cafe] Haskell Weekly News: January 02, 2007

2007-01-04 Thread Henning Thielemann
On Tue, 2 Jan 2007, Donald Bruce Stewart wrote: Dimensional: Statically checked physical dimensions. Björn Buckwalter [4]announced version 0.1 of [5]Dimensional, a module for statically checked physical dimensions. The module facilitates calculations with physical quantities

Re: [Haskell-cafe] Haskell Weekly News: December 12, 2006

2006-12-12 Thread Jim Apple
On 12/12/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote: --- Haskell Weekly News http://sequence.complete.org/ Issue 53 - December 12, 2006 ---

Re: [Haskell-cafe] Haskell Weekly News: December 12, 2006

2006-12-12 Thread Donald Bruce Stewart
jbapple+haskell-cafe: On 12/12/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote: --- Haskell Weekly News http://sequence.complete.org/ Issue 53 - December 12, 2006