.
It is, but I'd like you to consider my request.
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
"... memory leaks are quite acceptable in many applications ..."
(Bjarne Stroustrup, The Design and Evolution of C++, page 220)
his, and I believe it's also the case in all of the EU, too -
and in many other countries.
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
"... memory leaks are quite acceptable in many applications ..."
(Bjarne Stroustrup, The Design and Evolution of C++, page 220)
- b"
as assignment (which is the immediate analogy for someone who does not
know monads well). Therefore, even using "do" requires one to understand
the play with types and actions as values, and from there it's trivial
to get to (=).
--
%%% Antti-Juhani Kaijanaho % [E
write C like this:
a = foo(bar(baz(xyzzy)));
So it comes down to personal preference.
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
""
(John Cage)
uot; expressions, "-" represents actually
getting an "a" from an "IO a".
Indeed. But if you get this far, understanding (=) quite trivial
(assuming you don't have problems with higher-order functions).
After all, do /is/ just simple syntactic sug
function distinction is very clear from the notation,
so it's not a valid point for comparison.
Plus, you can just sidestep the whole issue: no explanation, just say that
equality laws don't hold for -.
Equality laws do not hold for imperative assignment either.
--
%%% Antti-Juhani Kaijanaho
language?
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
""
(John Cage)
On Wed, Sep 22, 1999 at 04:57:58PM +0100, D. Tweed wrote:
Firstly let me check that we mean the same thing by _higher order
functions, namely they are functions which return functions
... or take functions as parameters. Such as map, foldr, iterate, etc.
--
%%% Antti-Juhani Kaijanaho
t;, do you?
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
""
(John Cage)
of
the language.
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
""
(John Cage)
directly)
a relatively down-to-earth piece of code where Maybe is used monadically -
or explain its usefulness in prose?
Thanks,
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%
""
(John Cage)
ian packaging should be reported through the Debian Bug
Tracking System, for example via the "bug" or "reportbug" programs. I will
forward the reports to hugs-bugs as needed.
--
Antti-Juhani Kaijanaho [EMAIL PROTECTED], a volunteer Debian developer
Information on Debi
On Mon, Nov 29, 1999 at 03:06:07PM +0100, Marko Schuetz wrote:
For those who do not like to read legalese this is a standard
BSD license.
No it is not. The standard BSD license includes an evil advertising
clause. This one is thus better.
--
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED
be a list of
contributor names. A simple banner ad would be illegal.
Yes, a code author deserves credit, but the advertisement clause is just
an impractical way of enforcing that.
See http://www.gnu.org/philosophy/bsd.html for a more elaborate
explanation of this problem.
--
%%% Antti-Juhani Kaijanaho
On Fri, Mar 10, 2000 at 06:32:00AM -0500, Sengan wrote:
http://www.debian.org/Lists-Archives/debian-devel-announce-0003/msg7.html
It already *has* been dropped. Apparently the "sponsor" idea did not
work as well as it should have.
--
Antti-Juhani Kaijanaho
http://www.iki.fi/gaia/
support companies). You will, of course, have to change your business
strategy for that to work: with free software, you don't have a monopoly
on the code.
--
Antti-Juhani Kaijanaho
http://www.iki.fi/gaia/
On Thu, Jun 01, 2000 at 03:34:10PM +1000, Manuel M. T. Chakravarty wrote:
Antti-Juhani Kaijanaho [EMAIL PROTECTED] wrote,
On Wed, May 31, 2000 at 12:06:00PM +1000, Manuel M. T. Chakravarty wrote:
The one hole I am most concerned about is
access to standard OS services and code written
it without feeling quilty.)
--
Antti-Juhani Kaijanaho, LuK (BSc)* http://www.iki.fi/gaia/ * [EMAIL PROTECTED]
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
on their tastes).
(Note that printing a program is also a natural idea, and likewise
natural is the idea that the output is unintelligible.)
--
Antti-Juhani Kaijanaho, FM (MSc), http://www.mit.jyu.fi/antkaij/
ohjelmistotekniikan assistentti* assistant in software engineering
Jyväskylän yliopisto
on_false
or, another example,
if cond
then do on_true_1
on_true_2
else do on_false_1
on_false 2
which looks a little odd looking from a C/Pascal-style perspective but
is logical and understandable.
--
Antti-Juhani Kaijanaho http://antti
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
Donald Bruce Stewart wrote:
Well, there is a way -- it's fairly easy with the right regex -- but
is it really ambiguous? Do people find it confusing? What do other sites do?
Yes, it's annoying (it isn't ambigous right now, but it will be again
early next month). Either use an inherently
Donald Bruce Stewart wrote:
antti-juhani:
Yes, it's annoying (it isn't ambigous right now, but it will be again
early next month). Either use an inherently unambiguous format (anything
that writes out or abbreviates the month, instead of using digits), or
use the international standard -MM-DD
Lemmih wrote:
On 11/24/06, Tomasz Zielonka [EMAIL PROTECTED] wrote:
Does anybody know how to watch this on Linux? I would prefer to simply
download the movie file and use MPlayer on that, but I failed.
.. or on Mac OS X (haven't tried yet)
Worked for me with mplayer+w32codecs.
Won't work
in that paragraph.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo
to be
in the path.
--
Antti-Juhani Kaijanaho, Jyväskylä, Finland
http://antti-juhani.kaijanaho.fi/newblog/
http://www.flickr.com/photos/antti-juhani/
signature.asc
Description: Digital signature
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users
John Meacham wrote:
* every runnable thread is guarenteed to run in a finite amount of time if a
program reaches a yield-point infinitly often.
What happens if one of the thread ends up in an infinite loop that
contains a yield point?
Infinitely often is unclear (I think I know what
| linefeed | formfeed
It could, I suppose, also refer to the Unicode character U+2028 LINE SEPARATOR,
but then probably U+2029 PARAGRAPH SEPARATOR ought to be included as well.
There are, BTW, Unicode guidelines for newline usage in section 5.8 of the
Unicode 5.0 online edition.
--
Antti-Juhani
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
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
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.
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
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.)
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
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
-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
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.
.
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
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
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
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
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.
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
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
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.
___
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''
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
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
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
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
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 -
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
:) (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
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
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
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
66 matches
Mail list logo