On 10/22/2010 09:37 AM, wren ng thornton wrote:
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
Peter Hercek pher...@gmail.com writes:
I am. In part because I don't want to get two copies of everything,
but in part because I'm lazy.
This is my case too. As for as the amount of messages, who cares.
Right. So the question is, what is (or should be) the contents of the
messages that are
Hopefully Joe can upload the Html version to
http://sequence.complete.org/hwn later today. If that is not the
case, maybe someone with upload powers can lend me a hand.
Daniel
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Tue, Nov 24, 2009 at 05:46, Richard O'Keefe wrote:
For example, ai in Maori means to copulate,
Really [1]? It's amazing what Google [2] will tell you these days. ;)
[1] http://researchspace.auckland.ac.nz/handle/2292/343
[2] http://www.google.com/search?q=ai+maori
Regards,
Sean
Incidentally, I've always wondered about the politically correct
way of referring to this programming language (and related
implementation in the above-mentioned type system) in academic
circles;
Is this a question of politically correctness? Since there's no
discrimination or prejudice
On Nov 24, 2009, at 10:29 PM, Sean Leather wrote:
On Tue, Nov 24, 2009 at 05:46, Richard O'Keefe wrote:
For example, ai in Maori means to copulate,
Really [1]? It's amazing what Google [2] will tell you these days. ;)
Really! Check
http://www.maoridictionary.co.nz/
In fact if you read
On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote:
Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us
his implementation of everyone's favorite profane programming
language... in the type system.
Incidentally, I've always wondered about the politically
I censored it because I intend the HWN to be a PG rated article. I
figure -- while I am not under any delusion that kids these days have
mouths fouler than mine, which is a feat for sure -- that some young
programmer with strict speaking morals may stumble upon the HWN and say,
Hey self!
Hi Benjamin
On 24 Nov 2009, at 02:35, Benjamin L.Russell wrote:
On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote:
Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us
his implementation of everyone's favorite profane programming
language... in the type
On Mon, 23 Nov 2009 21:50:22 -0500, Joe Fredette jfred...@gmail.com
wrote:
I guess my view is that such a paper with an unintentionally foul-
mouthed name -- like Brainf*ck -- ought not be the reason for which
your paper is rejected from a journal or other publication source, but
rather it
On Tue, 24 Nov 2009 02:58:30 +, Conor McBride
co...@strictlypositive.org wrote:
Hi Benjamin
On 24 Nov 2009, at 02:35, Benjamin L.Russell wrote:
On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote:
Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us
his
I should point out that what seems like a rude name in one
language may be a perfectly proper word in another.
For example, ai in Maori means to copulate, and yet
we have things like the AI Journal. Naughty naughty.
F*ck is a perfectly good German name, I believe, and
you will find that name
On Mon, Nov 2, 2009 at 6:42 AM, Benjamin L.Russell
dekudekup...@yahoo.com wrote:
Hey, careful now No need to start another Emacs vs. the other
'editor' flamewar ... lest someone run M-x nethack and summon a
Demogorgon against you ... er, make that M-x haskellhack, since a
Haskell version
It's not my fault you emacs-y people chose the wrong editor... :)
/Joe
On Nov 1, 2009, at 11:42 PM, Benjamin L.Russell wrote:
On Fri, 30 Oct 2009 21:38:25 -0700 (PDT), jfred...@gmail.com wrote:
... a new version of
haskell-mode for the lesser of two editors
Benjamin L.Russell wrote:
Hey, careful now No need to start another Emacs vs. the other
'editor' flamewar ... lest someone run M-x nethack and summon a
Demogorgon against you ... er, make that M-x haskellhack, since a
Haskell version needs to be created. ;-)
Yes, because nobody truly
On Fri, 30 Oct 2009 21:38:25 -0700 (PDT), jfred...@gmail.com wrote:
... a new version of
haskell-mode for the lesser of two editors
^^
[...]
haskell-mode 2.5. Svein Ove Aas [14]announced a new version of
haskell-mode for that other 'editor'...
Thank you for including my quote (by dekudekuplex), and great work
so far!
Just a couple of minor comments:
1) It might be useful for referencing by subject if you could include
the issue number and date in the subject line (e.g., Haskell Weekly
News: Issue 131 - September 25, 2009) instead of
Mostly it's been issues with sendmail, I think I have them fixed for
this week. (I think...)
Thanks for the input!
/Joe
On Oct 9, 2009, at 4:46 AM, Benjamin L.Russell wrote:
Thank you for including my quote (by dekudekuplex), and great work
so far!
Just a couple of minor comments:
1) It
On Fri, Oct 09, 2009 at 05:46:15PM +0900, Benjamin L.Russell wrote:
2) Instead of posting separately to the Haskell and Haskell-Cafe
mailing lists, it might be better to cross-post, since that way,
readers using newsreaders can have the cross-posted article
automatically marked read in the
On Sat, 26 Sep 2009 09:18:01 -0700 (PDT), Joe Fredette
jfred...@gmail.com wrote:
* ksf: (But if (on the other hand)) (I think only a number in general
(whether it be five or a hundred)) (this thought is rather the
representation of a method (whereby a multiplicity (for instance
Brent Yorgey byor...@seas.upenn.edu wrote:
lilac: haskell's learning curve is like this: |
That's an understatement. cf
http://www.eve-pirate.com/uploads/LearningCurve.jpg
--
(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved.
Brent Yorgey wrote:
---
ANN: OpenGL with extra type safety. Neal Alexander
Hopefully the code will be uploaded to Hackage as a separate package soon.
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OGL-0.0.0
On Sat, 13 Sep 2008 21:06:21 -0700, Daryoush Mehrtash
[EMAIL PROTECTED] wrote:
I have a newbie question Does theorem proofs have a use for an
application? Take for example the IRC bot example (
http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed below. Is
there any insight to
A more difficult question is: how do I know that the formal
specification I've written for my program is the right one? Tools can
fairly easily check that your programs conform to a given
specification, but they cannot (to my knowledge) check that your
specification says exactly what you
On Mon, 15 Sep 2008 10:32:44 -0400
Stefan Monnier [EMAIL PROTECTED] wrote:
A more difficult question is: how do I know that the formal
specification I've written for my program is the right one? Tools
can fairly easily check that your programs conform to a given
specification, but they
Henning Thielemann lemming at henning-thielemann.de writes:
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
26 matches
Mail list logo
