a major undertaking and by no means assured to succeed.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
signature.asc
Description: Digital signature
___
Haskell-Cafe mailing
for
information sufficient to decide that it's not what they need (or that it
probably is).
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
___
Haskell-Cafe mailing list
On Thu, Mar 03, 2011 at 12:29:44PM +0530, Karthick Gururaj wrote:
Thanks - is this the same unit that accompanies IO in IO () ? In
any case, my question is answered since it is not a tuple.
It can be viewed as the trivial 0-tuple.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti
:) (Well, only sort of.)
The way to avoid it is not to perform the work of beta conversion.
Similarly, you may say that people are either dead or will eventually die, so
why distinguish between a person who is dead and a mortal, live person?
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http
or
not. If you upload anything using a compromised machine, the attacker
has the opportunity to learn your password.
Also, Hackage doesn't use SSL/TLS, so compromising a machine isn't necessary
for learning Hackage passwords.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi
.
In the mean time, just contact myself or Don Stewart.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
/policy.html - and while our alias address is
out of commission, send addition requests to me or Don Stewart.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
___
Haskell-Cafe
translations to C :)
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
but for
something else.
And I'm sure you've heard people cursing cpp for being too C centric :)
In any case, it doesn't matter. The question was, if the C preprocessor
was part of the C language, not whether C is the only thing it's used
for.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti
a DD and I don't need sponsoring :)
--
Antti-Juhani Kaijanaho, Jyväskylä
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo
On Tue, May 29, 2007 at 11:20:27AM +0100, David House wrote:
Almost, (/=) :: Eq a = a - a.
Well, not quite :) You forgot - Bool at the end :)
(Just for completeness.)
Exactly :)
--
Antti-Juhani Kaijanaho, Jyväskylä
http://antti-juhani.kaijanaho.fi/newblog
On Thu, Mar 22, 2007 at 06:13:00PM +0300, Dmitri O.Kondratiev wrote:
F :: a - b - c
Is the same as:
F :: a - (b - c)
Correcting the typo (use f, not F), these mean the same thing.
And means either:
-a function 'f' of one argument of type 'a' that returns a function of
type (b -
Donald Bruce Stewart wrote:
Looks pretty good, though you use
case x :: Bool of
True - ...
False - ...
when
if x then ... else ...
would be preferred.
Why? Personally, I find boolean case to feel better wrt layout and I see
no loss of clarity in its use.
-specific policies and technologies. If one is willing to invest
the time and effort to learn this, then it makes sense for one to apply to
become a Debian developer. If not, then packaging is best left for someone
else.
--
Antti-Juhani Kaijanaho, Debian developer
Robert Dockins wrote:
I think (pure
speculation) the haskell.org mail server is set up to omit people from
mail it sends if they appear in the To: or Cc: of the original mail.
Yes, this is a feature of recent Mailmans.
Finally, I agree that reply-to munging is a bad idea, but I don't think
Ch. A. Herrmann wrote:
do you think that Haskell is a 3GL (third generation language) or a 5GL or
that the hierarchy of programming language generations is useless?
I did a literature search on language generations a few years ago when I
was preparing the first incarnation of the local
Paul Hudak wrote:
I had to reboot haskell this AM it was really hung. My first
assumption is abuse by web crawlers. I have denied access to all web
crawlers at the moment while I continue looking further into this
and the load is staying low. I'll keep you posted.
I've seen this
David House wrote:
* What would be a compulsory feature list?
Ability to subscribe to forums by email and to post/followup by email.
Alternatively, or in addition, a two-way NNTP gateway.
(If you want us forum-allergic to participate in the discussions there,
that is.)
Tamas K Papp wrote:
f is an a-a function, and there is a stopping rule
goOn(a,anext) :: a a - Bool which determines when to stop. The
algorithm looks like this (in imperative pseudocode):
a = ainit
while (true) {
anext - f(a)
if (goOn(a,anext))
a - anext
Albert Lai wrote:
Let's have a fun quiz! Guess the mainstream languages in question:
Spoilers for the quiz
0. What language would allow
4[hello world]
when a normal person would just write
hello world[4]
This is a classic C misfeature.
Eugene Crosser wrote:
Having read Yet another Haskell tutorial (note on p.20), doesn't foldl
have to read the complete list before it can start processing it
(beginning from the last element)? As opposed to foldr that can fetch
elements one by one as they are needed?
They're complementary.
Eugene Crosser wrote:
Anyway, I understand that you used 'seq' in your example as a way to
strictify the function that updates accumulator. Could you (or
anyone) explain (in plain English, preferably:) the reason why 'seq' is
the way it is. In the first place, why does it have the first
Deokhwan Kim wrote:
Are the values of infinite lists _|_ (bottom)?
Depends on what you mean by value.
If you define value to mean normal form, then yes.
If you define value to mean weak head normal form, then no.
The former is common in strict programming languages. In nonstrict
functional
Antti-Juhani Kaijanaho wrote:
If you want your blog listed, email me. I will not add people without
their consent. Just tell me your RSS/Atom feed URI (try to pick one
that will not contain non-English posts; but there is no need to
restrict to just Haskell-related posts - half of the beauty
Steve Downey wrote:
It makes eval1 a bit more complicated, and not as straightforward
translation from the type system being described, though.
e.g reducing If looks more like
eval1 (TmIfExpr t1 t2 t3) =
let t1' = eval1 t1
in case t1' of
{ Just t1'' - Just $ TmIfExpr t1''
Neil Mitchell wrote:
Hi
Is it possible to have an RSS feed for Planet Haskell? i.e. so I can
read all the Haskell related blogs with my feed reader without being
subscribed to all of them individually.
Now there is an RSS 2.0 and an Atom feed.
___
Isaac Jones wrote:
There's already software out there for this, so nothing new needs to
be written. I think we need a volunteer to set this up somewhere?
Preferably someone with their own server, and we'll worry about
setting up the DNS later :)
Since nobody else seems to have volunteered,
Antti-Juhani Kaijanaho wrote:
Since nobody else seems to have volunteered, I'll try to set this up (if
I can get the software working).
If you want your blog listed, email me. I will not add people without
their consent. Just tell me your RSS/Atom feed URI (try to pick one
Cool, if you think you want to manage this, we can probably host it on
the hackage.haskell.org machine. What would you think of that?
I can host this just fine, I just want a better URI for it :)
___
Haskell-Cafe mailing list
Isaac Jones wrote:
Cool, if you think you want to manage this, we can probably host it on
the hackage.haskell.org machine. What would you think of that?
On the other hand, if it's easier for others, I'm not going to insist on
hosting it myself. The host requires Python 2.3, GNU Arch and
Tomasz Zielonka wrote:
Aren't C and C++ space insensitive (except the preprocessor)?
Literally, yes, because the C and C++ compilers proper take preprocessor
tokens, not strings, as input, and hence do not see the whitespace at
all; the whitespace-sensitive tokenization having been completed by
Henning Thielemann wrote:
Hence, spacing being significant is not Haskell-specific
So Haskell is somehow BASICish -- how awful.
No, you got it backwards. I was contrasting a BASIC dialect as an
example of a space-*in*sensitive language to just about every modern
language, including Haskell.
Ketil Malde wrote:
[about A.b and A . b potentially meaning different things:]
Syntax that changes depending on spacing is my number
one gripe with the Haskell syntax
I've generally considered that one of the good ideas in most current
languages (it's not specific to Haskell). ISTR there was a
Sebastian Sylvan wrote:
I'm wondering what incremental and moderate extension means?
I don't know what others mean by it, but for me, it implies
standardizing existing practice, with possibly some conservative
redesign to get rid of any hysterical warts.
This is, BTW, what the C89 standard did
of
the type. In Java, the array size is not given in the declaration at
all (instead, it is given in the new expression), and is not part of the
type.
--
Antti-Juhani Kaijanaho http://antti-juhani.kaijanaho.info/
Blogi - http://kaijanaho.info/antti-juhani/blog
++ the size can be matched by
template parameter, and you can have separate overloadings for
separate array sizes.
For C, in all those cases, the array size is a property of the variable,
not of the type.
--
Antti-Juhani Kaijanaho http://antti-juhani.kaijanaho.info
shout But C *is*
a functional language!? - And I'm not talking about geeks who use the
FP style in C:)
--
Antti-Juhani Kaijanaho http://antti-juhani.kaijanaho.info/
Blogi - http://kaijanaho.info/antti-juhani/blog/
Toys - http://www.cc.jyu.fi/yhd/toys
presentation could use a wording where it is.
There are always alternative ways to present a language.
--
Antti-Juhani Kaijanaho http://antti-juhani.kaijanaho.info/
Blogi - http://kaijanaho.info/antti-juhani/blog/
Toys - http://www.cc.jyu.fi/yhd/toys
38 matches
Mail list logo
