Re: [Haskell-cafe] Remember the future

2007-08-17 Thread jerzy . karczmarczuk
check it out. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] let and fixed point operator

2007-08-30 Thread jerzy . karczmarczuk
be harnessed by all Haskell programmers... The best. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Learn Prolog...

2007-09-01 Thread jerzy . karczmarczuk
cannot understand the comments of Andrew Coppin. Which arbitrary set of conclusions?? Which patently obvious results not derivable?? Be kind, give some examples, otherwise people may suspect that you are issuing vacuous statements... The best. Jerzy Karczmarczuk

Re: [Haskell-cafe] Learn Prolog...

2007-09-02 Thread jerzy . karczmarczuk
, and avoid doing many unworthy things.(DK 68 B 35) == Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Learn Prolog...

2007-09-02 Thread jerzy . karczmarczuk
Perhaps somebody can say more about constraint languages which replaced Prolog in some contexts as well. Have fun. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Learn Prolog...

2007-09-03 Thread jerzy . karczmarczuk
on them. For teaching they were much more useful than mainframes. But I am afraid that we got very far not only from Haskell, but also from café. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

[Haskell-cafe] Re: Elevator pitch for Haskell.

2007-09-05 Thread jerzy . karczmarczuk
unavoidable. Please be kind and cheerful. Don't attept to say to innocent that what is on this picture http://www.mansfield.ohio-state.edu/~sabedon/images/lambda_twins.jpg are Dark Marks... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] Building production stable software in Haskell

2007-09-17 Thread jerzy . karczmarczuk
hierarchy?... Stagnation is stagnation. On a less serious tune: this what's so bad reasoning was the reason why some political regimes could not progress and had to be destroyed. Actually, it is not less serious... Jerzy Karczmarczuk ___ Haskell-Cafe

[Haskell-cafe] Re: Very crazy

2007-09-25 Thread jerzy . karczmarczuk
(*)) p res = (sum .) . (zipWith (*)) Certainly it is a kind of madness, since is hardly readable, but it is correct. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] ... on type theory and category theory

2007-09-26 Thread jerzy . karczmarczuk
== Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] 'data' syntax - a suggestion

2007-09-27 Thread jerzy . karczmarczuk
found myself declaring type synonyms for this reason, but you end up polluting the global namespace. +1 vote. Data with where? You haven't heard about GADTs? http://en.wikibooks.org/wiki/Haskell/GADT http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype Jerzy Karczmarczuk

[Haskell-cafe] Re: New slogan... (A long speculation)

2007-10-08 Thread jerzy . karczmarczuk
Glorious Kingdom and Le Monde des Ténèbres. Yes, finding some *comparable* competitors would do much good. Some niches are already occupied and busy, e.g., the domain where Erlang is strong. But there is yet some mileage to go. Jerzy Karczmarczuk

Re: [Haskell-cafe] pi

2007-10-09 Thread jerzy . karczmarczuk
... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: New slogan... (A long speculation)

2007-10-09 Thread jerzy . karczmarczuk
. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] pi

2007-10-09 Thread jerzy . karczmarczuk
argument will be typically much lower than the machine one. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] pi

2007-10-10 Thread jerzy . karczmarczuk
as a class member, serves nobody. I would be happy to learn that I am mistaken, but if it is just to save 5 seconds of a person who wants to pass smoothly between floating numbers of single and double precision... Jerzy Karczmarczuk ___ Haskell-Cafe

Re: [Haskell-cafe] symbol type?

2007-10-10 Thread jerzy . karczmarczuk
in Haskell as well, probably many, many times. But beware, Google on Haskell tries will offer you this: http://www.muskogeephoenix.com/highschoolsports/local_story_281003617.html Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Re: pi

2007-10-10 Thread jerzy . karczmarczuk
of the transcendental functions in a class. This would really degrade the API. What?? But it is just a numerical constant, no need to put it into a class, and nothing to do with the type_classing of related functions. e is not std. defined, and it doesn't kill people who use exponentials. Jerzy Karczmarczuk PS

Re: [Haskell-cafe] pi

2007-10-10 Thread jerzy . karczmarczuk
overloaded pi and trigs in such a way that a default could help you? Answer sincerely (if you wish to answer at all...) Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] PI and series

2007-10-10 Thread jerzy . karczmarczuk
* help, and would give the same answer, but it would be much slower, so I would override it anyway. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: pi

2007-10-10 Thread jerzy . karczmarczuk
respect types seems to be perhaps too strong (unless 'notation' means just the notation, which doesn't respect anything), but the relation between mathematical domains and the type system should one day be sanitized. Jerzy Karczmarczuk ___ Haskell-Cafe

[Haskell-cafe] Re: New slogan... (A long speculation)

2007-10-10 Thread jerzy . karczmarczuk
such constructions, or worse... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] pi

2007-10-10 Thread jerzy . karczmarczuk
wording? If I ask why should I be a nice fellow, and you say that I am a nice fellow, this makes me happy, but doesn't answer my question... Mind you, we are discussing possible solutions, not just the status quo. Jerzy Karczmarczuk ___ Haskell

Re: [Haskell-cafe] pi

2007-10-11 Thread jerzy . karczmarczuk
of the language, since many newbies will try to learn those useless quirks. So, no default, and no class membership. But, as LA says, we can live with, we have more important sorrows, all of us... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell

Re: [Haskell-cafe] do

2007-10-13 Thread jerzy . karczmarczuk
the flavour of the Monosod... argh... Monadic meals, it depends on your metabolism, and of your preferred table tools. People enjoying the consumption of long, long spaghetti use rarely chopstics, and prefer efficient forks like =, ===, etc. Jerzy Karczmarczuk

Re: [Haskell-cafe] do

2007-10-14 Thread jerzy . karczmarczuk
, executed, etc. may not be true in general I know that asking helpful humans is nicer than reading docs, but the latter is usually more instructive, and often more efficient. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] On the verge of ... giving up!

2007-10-14 Thread jerzy . karczmarczuk
whatever you wish, but avoid this fellow A. Coppin, since he leads you nowhere. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] On the verge of ... giving up! [OT]

2007-10-14 Thread jerzy . karczmarczuk
; let's help them instead of shouting at them. Of course, the repeated, ever and ever again questions mean that one day it will be absolutely necessary to make a true FABQ, proposed a few times, and still in statu nascendi... Jerzy Karczmarczuk

Re: [Haskell-cafe] On the verge of ... giving up!

2007-10-14 Thread jerzy . karczmarczuk
, which are in a sense lazy objects). Otherwise you will *never* get a taste of laziness. It is useful only if it is comfortable. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell-cafe] Re: New slogan... (A long speculation)

2007-10-14 Thread jerzy . karczmarczuk
ok writes: On 11 Oct 2007, at 1:00 pm, [EMAIL PROTECTED] wrote: An anonymous called ok writes: I am not anonymous. That is my login and has been since 1979. Oh, bother... According to my imperfect knowledge of English, an anonymous is somebody who doesn't sign his/her letters. And

Re: [Haskell-cafe] On the verge of ... giving up!

2007-10-14 Thread jerzy . karczmarczuk
. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] On the verge of ... giving up! [OT]

2007-10-15 Thread jerzy . karczmarczuk
programming with effects, with an interesting discussion *around* monads. http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf ... Ugh. I am afraid I began an infinite, corecursive strem. Perhaps it is time to break it. Jerzy Karczmarczuk

Re: [Haskell-cafe] do

2007-10-15 Thread jerzy . karczmarczuk
not use continuations are often called in Direct Style. I think it can be exported to Monads in general. State Monad in particular. IO is different, you *cannot* make it non-monadic. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] do

2007-10-15 Thread jerzy . karczmarczuk
might forget about the buzzword Concurrent...) So, I know about unique *World, *FileSystem, *File, etc., I have used it for graphics and for generation of sound. But I didn't find a way to use *really* this awful State# RealWorld in Haskell! Somebody can show me some working examples? Jerzy

Re: [Haskell-cafe] do

2007-10-15 Thread jerzy . karczmarczuk
worlds, files, etc. in Clean, but the reverse operation goes beyond my horizons. Some examples, anybody? Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] On the verge of ... giving up!

2007-10-17 Thread jerzy . karczmarczuk
developers of Haskell (whose names I have forgotten) doesn't count at all. Very interesting. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Tutorial: Curry-Howard Correspondence

2007-10-17 Thread jerzy . karczmarczuk
Tim Newsham writes: A tutorial on the Curry-Howard Correspondence in Haskell: http://www.thenewsh.com/%7Enewsham/formal/curryhoward/ Feedback appreciated. Did I miss it (then I apologize), or that tutorial doesn't even mention Djinn (in which case the Author should). Jerzy Karczmarczuk

Re: [Haskell-cafe] On the verge of ... giving up!

2007-10-17 Thread jerzy . karczmarczuk
Felipe Lessa writes: On 10/17/07, [EMAIL PROTECTED] We shall thus understand that a teacher who likes Fibonacci, is a representant of of the 100% of the human population. Sorry if I didn't understand very well the tone of your message or if I wasn't clear enough, however what I was trying to

Re: [Haskell-cafe] Do you trust Wikipedia?

2007-10-18 Thread jerzy . karczmarczuk
of molecules of ink and other substances, whereas the point exists as an abstraction only. And you can die happy. === Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] About scandalous teaching

2007-10-18 Thread jerzy . karczmarczuk
everything. Actually, I know many, many things myself as well. Why should we waste time on discussions? We won't learn more... = Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] Do you trust Wikipedia?

2007-10-18 Thread jerzy . karczmarczuk
of W_P, and established protocols to solve disputes. And, remember that already the invitation to editing says plainly that articles without references are routinely removed. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

[Haskell-cafe] Re: Functional specification of DFS

2007-10-18 Thread jerzy . karczmarczuk
mind stating again what do you *ultimately* want? A depth-first SEARCH of a goal node, if reachable, or the construction of the spanning tree (through backtracking). You probably said that, but I have probably missed that posting. Jerzy Karczmarczuk

Re: [Haskell-cafe] Tutorial: Curry-Howard Correspondence

2007-10-18 Thread jerzy . karczmarczuk
important point elsewhere... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Tutorial: Curry-Howard Correspondence

2007-10-18 Thread jerzy . karczmarczuk
function *really* of that type is id. People, use Djinn! The slave of the Lamp of Alladenartson will send you to Walhalla if you ask: what ? (a-a)-a Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org

Re: [Haskell-cafe] Do you trust Wikipedia?

2007-10-18 Thread jerzy . karczmarczuk
or not... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Do you trust Wikipedia?

2007-10-18 Thread jerzy . karczmarczuk
Stefan O'Rear writes: ... Latex page sources are infinitely superior to unadorned images of unknown providence. Of course, most certainly! But I failed to understand the relation to Wikipedia. OK, I see. If you look at the sources, several pages have the img ... accompagnied by the

Re: [Haskell-cafe] How much of Haskell was possible 20 years ago?

2007-10-21 Thread jerzy . karczmarczuk
to implement, and for programmers to use? Check up Gofer of Mark Jones. http://web.cecs.pdx.edu/~mpj/goferarc/index.html Choose your preferred version from: http://citeseer.ist.psu.edu/jones94implementation.html Jerzy Karczmarczuk ___ Haskell-Cafe

[Haskell-cafe] Re: How much of Haskell was possible 20 years ago?

2007-10-21 Thread jerzy . karczmarczuk
Haskell. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: How much of Haskell was possible 20 years ago?

2007-10-21 Thread jerzy . karczmarczuk
not born yet. OK, don't shout, I know I exaggerate... What I found somehow funny, with all respect, is the combination: 20 years ago, which means '87, and miserable 4M of memory. At that time 4M on a personal computer was not so frequent, at least in Europe. Jerzy Karczmarczuk

Re: [Haskell-cafe] will the real quicksort please stand up? (or: sorting a million element list)

2007-10-22 Thread jerzy . karczmarczuk
[] [] where pa (y:ys) s b | xy = pa ys s (y:b) | otherwise = pa ys (y:s) b pa [] s b = qs s (x:qs b ac) -- s- small; b- big; ac- buffer qs [] ac = ac Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Haskell to math

2007-10-26 Thread jerzy . karczmarczuk
, this IS NOT what Peter V. wants. He wants a specific pretty-printer *in Haskell*. This was most probably a subject of many students' exercices... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

Re: [Haskell-cafe] newbie optimization question

2007-10-28 Thread jerzy . karczmarczuk
*, and in particular data structures. 2. Please, DO code the above in C, using linked lists. Compare then. 3. Check the influence of bare printing, separated from the computation. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] newbie optimization question

2007-10-28 Thread jerzy . karczmarczuk
Stefan O'Rear adds to the dialogue: Prabhakar Ragde wrote: Jerzy Karczmarczuk wrote: Just a trivial comment... 1. Don't speak about comparing *languages* when you compare *algorithms*, and in particular data structures. 2. Please, DO code the above in C, using linked lists. Compare

Re: [Haskell-cafe] using an external application

2007-11-02 Thread jerzy . karczmarczuk
? I'm a beginning haskell developer and I'm still a bit confused by the IO monad. I have the impression that your problem has nothing to do do with Haskell, you just rewrite your file, instead of appending to it. But perhaps I didn't look correctly... Jerzy Karczmarczuk

Re: [Haskell-cafe] Fibbonachi numbers algorithm work TOO slow.

2007-11-05 Thread jerzy . karczmarczuk
are not integers, they eat carrots and have long ears. They are real thing. Hm. Well, sqrt is Floating. Now, floating rabbits are less common. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo

[Haskell-cafe] More on Fibonacci numbers

2007-11-07 Thread jerzy . karczmarczuk
literary tradition, Pingala is identified as the younger brother of Panini... [who was a great grammarian from 4BC, and who - as some think also invented a specific version of Italian hot sandwiches. This brings us nearer to Leonardo Pisano]. Jerzy Karczmarczuk

Re: [Haskell-cafe] More on Fibonacci numbers

2007-11-07 Thread jerzy . karczmarczuk
the homework for some Haskell newbies who want to become famous. Anyway, if somebody finds in his/her library The Fibonacci Quarterly, there is therein most probably much more about this fascinating subject, essential for our comprehension of the Universe, and of Phyllotaxis in particular. Jerzy

[Haskell-cafe] About Fibonacci again...

2007-11-07 Thread jerzy . karczmarczuk
? It isn't difficult. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] About Fibonacci again...

2007-11-08 Thread jerzy . karczmarczuk
size increase as the Fibonacci numbers do. Thank you once more! Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] About Fibonacci again...

2007-11-08 Thread jerzy . karczmarczuk
, I'll put it on my grave stone, but hopefully not yet tomorrow. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] More on Fibonacci numbers

2007-11-08 Thread jerzy . karczmarczuk
see it... In addition, if you take an arbitrary message in FP design, hit reply, ... hopefully people with real e-mail clients will miss it. Since I have no idea what a real mail client is, you will not frighten me! My mail client is apparently complex. Jerzy Karczmarczuk

Re: [Haskell-cafe] Sinus in Haskell

2007-11-10 Thread jerzy . karczmarczuk
is explained everywhere, if you want to learn it. Start with Wikipedia, of course... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Somewhat random history question - chicken and egg

2007-11-11 Thread jerzy . karczmarczuk
actually SEEN? Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Somewhat random history question - chicken and egg

2007-11-11 Thread jerzy . karczmarczuk
, we had to find some other usage of this glue, so we glued his chair to the floor. After this hundred years they still look for the culprit. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

Re: [Haskell-cafe] Why are OCaml and Haskell being used at these companies?

2007-11-13 Thread jerzy . karczmarczuk
Henning Thielemann writes: ?? Mathematica and MatLab are just the opposite of statically safe programming. Is this a religious statement, quite popular in our Church of Functionalism, or you mean something concrete by that, and if yes, then what? Jerzy Karczmarczuk

Re: [Haskell-cafe] Why are OCaml and Haskell being used at these companies?

2007-11-13 Thread jerzy . karczmarczuk
of programs in Lisp (or Scheme), in Smalltalk, etc. And now in Erlang... I believe, and I teach that static typing is a good thing, but, please, you are too young yet for sectarism... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe

Re: [Haskell-cafe] Why are OCaml and Haskell being used at these companies?

2007-11-13 Thread jerzy . karczmarczuk
with respect to them is, perhaps, not very promising. Well, I acknowledge to everybody the right - of course - to bear some religious beliefs. I have mine, sometimes very strong... But I have quite a mileage to go before I feel ready to issue prophecies. Jerzy Karczmarczuk

Re: [Haskell-cafe] Brazilian Haskellers ?

2007-11-14 Thread jerzy . karczmarczuk
, -alex Nos somos todos Brasileiros. Ou quase... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Small optimisation question

2007-11-17 Thread jerzy . karczmarczuk
, has more than two years. Some people speculate about making Haskell on the Clean G-machine, others think about Java-like architectures... The world *IS* steadily progressing, no need to hahaha-dynamite an open door saying that the air is ripe Jerzy Karczmarczuk

[Haskell-cafe] Re: New slogan for haskell.org

2007-11-29 Thread jerzy . karczmarczuk
#, ...). ... and, perhaps, playing not only with the pedagogy by contrast, but also by similarities, to mention Clean. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] New slogan for haskell.org

2007-11-29 Thread jerzy . karczmarczuk
in Reverse Mode. http://users.info.unicaen.fr/~karczma/arpap/revpearl.pdf And, please, avoid saying that something is scary or difficult, unless you are really sure. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

[Haskell-cafe] Re: New slogan for haskell.org

2007-11-29 Thread jerzy . karczmarczuk
, obviously, but, please, don't try to convince anybody that Haskell was the first language with iterators... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: New slogan for haskell.org

2007-11-29 Thread jerzy . karczmarczuk
Coppin. People, stop using this damned word: scare in the context of *learning* something! Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: New slogan for haskell.org

2007-11-29 Thread jerzy . karczmarczuk
Yitzchak Gale writes: Haskell was not the first to have lazy lists, but Haskell was an important part of the inspiration for introducing them into Python. Jerzy Karczmarczuk wrote: Actually, I would *sincerely* like to see some reference proving that. The Python Library Reference

Re: [Haskell-cafe] IO is a bad example for Monads

2007-12-10 Thread jerzy . karczmarczuk
concretely want, but don't try to say that you don't like our submarine, because you want to ride on it to the top of Mount Everest. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: distinguish functions from non-functions in a class/instances

2007-12-11 Thread jerzy . karczmarczuk
apfelmus: As Feynman put it: What do you care what other people think? It was not Feynman, but his wife. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: Re: [Haskell-cafe] Questions about the Functor class and it's use in Data types à la carte

2007-12-16 Thread jerzy . karczmarczuk
Roberto Zunino writes: without seq, there is no way to distinguish between undefined and (const undefined), no way to distinguish is perhaps too strong. They have slightly different types. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] New to Haskell: The End

2007-12-18 Thread jerzy . karczmarczuk
, algebraic data types, ... From your list, I agree to add some pattern matching abilities to mine, but that it all. Oh, it is anyway very generous of you. But tell me: do you *understand* the remaining issues, notably the purity? Jerzy Karczmarczuk PS. For Henning T.: Don't worry

[Haskell-cafe] Re: Wikipedia on first-class object

2007-12-29 Thread jerzy . karczmarczuk
, and you will be able to compute 2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^2^ (right assoc.) as well. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Wikipedia on first-class object

2007-12-29 Thread jerzy . karczmarczuk
that this was not what you meant, I will be shocked. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Wikipedia on first-class object

2007-12-29 Thread jerzy . karczmarczuk
, infinitely small) time, quantum system do it (in a sense) constantly. Quantum behaviour is not an effect, but conditions our understanding of *measurement*. We don't really know what is quantum information. So, please, don't trivialize an awfully complicated problem. Jerzy Karczmarczuk

[Haskell-cafe] Quanta. Was: Wikipedia on first-class object

2007-12-30 Thread jerzy . karczmarczuk
. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: US Homeland Security program blahBlah...

2008-01-06 Thread jerzy . karczmarczuk
NOT LIE. It was the ancient tongue of dragons. Now we see why the dragons are extinct... They were incompatible with the Democracy, AND with Computing Technology... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Wikipedia on first-class object

2008-01-06 Thread jerzy . karczmarczuk
argument... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Wikipedia on first-class object

2008-01-06 Thread jerzy . karczmarczuk
logical variables. If you don't want to see similarities, you won't. But I assure you that I have profited enormously from tha *affinities* between functional and logic approaches, and you won't convince me that declarative is without substance. Jerzy Karczmarczuk

Re: [Haskell-cafe] Wikipedia on first-class object

2008-01-06 Thread jerzy . karczmarczuk
for the swearword - ... bottom. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Quanta. Was: Wikipedia on first-class object

2008-01-07 Thread jerzy . karczmarczuk
Albert Y. C. Lai writes: Achim Schneider wrote: There is this story about some military (US afair) training a neural net to detect tanks in images ... 50% accuracy. I have some similar stories to tell A. ... students assumed sin(x+y) = sin(x) + sin(y) B. ... But that day, that car,

Re: [Haskell-cafe] Neural nets and the menu (was: something different)

2008-01-07 Thread jerzy . karczmarczuk
essence. I find it nicer than cheaters who try to convince me that automata may fake human behaviour. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Why purely in haskell?

2008-01-10 Thread jerzy . karczmarczuk
Niko Korhonen writes: ... Although it could be argued that laziness is the cause of some very obscure bugs... g Niko Example, PLEASE. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

[Haskell-cafe] Re: Why purely in haskell?

2008-01-10 Thread jerzy . karczmarczuk
example. But I don't insist too much... Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Why purely in haskell?

2008-01-10 Thread jerzy . karczmarczuk
of behaviours when one passes from Int to Integer, now, this is another story, worrying a little... Thanks. Perhaps another example is more relevant, the tradeoffs space-time in the optimized version of the powerset generator... Jerzy Karczmarczuk

[Haskell-cafe] Re: Why purely in haskell?

2008-01-10 Thread jerzy . karczmarczuk
within the compiler, but perhaps I am too naïve (which in general is true...) Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Why purely in haskell?

2008-01-10 Thread jerzy . karczmarczuk
black hole. Now, I think it just consumes the heap and/or stack. On my 2005-era Hugs, it causes a seg fault. Strange, because blackohes are visible by the runtime. Clean should say: Warning, cycle in spine detected, and stop. Jerzy Karczmarczuk PS. Perhaps Simon decided to think more literally

[Haskell-cafe] Re: Why purely in haskell?

2008-01-11 Thread jerzy . karczmarczuk
. The result was usually horrible... The Num hierarchy in Haskell is bad, we know it, especially for people who do some more formal mathematics. There are more interesting problems to solve than organising a crusade against IEEE, illegalizing the Ord instance for numbers, etc. Jerzy Karczmarczuk

[Haskell-cafe] Re: Why purely in haskell?

2008-01-11 Thread jerzy . karczmarczuk
. This is the story, I hope nobody will shout that I have something against a particular European nation; I know this story from a decent Berliner, who told me it while eating a Hamburger. Or, perhaps it was vice-versa. Too much beer... Jerzy Karczmarczuk

[Haskell-cafe] Re: Why purely in haskell?

2008-01-11 Thread jerzy . karczmarczuk
to do it on *your* machine, not on mine. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] [newbie question] Memoization automatic in Haskell?

2008-01-13 Thread jerzy . karczmarczuk
to sort the order of the creation of the results appropriately. So, I agree wholeheartly with the statement that memoization is not a blind automaton, it should be used consciously, and adapted to concrete needs. Jerzy Karczmarczuk ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Access to list

2008-01-13 Thread jerzy . karczmarczuk
is here. Your 'car' picks the first element, or the empty LIST. So, the first element of the argument also must be a list, not a number, otherwise the type-checker yells. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http

Re: [Haskell-cafe] Access to list

2008-01-13 Thread jerzy . karczmarczuk
Jed Brown writes: On 13 Jan 2008, [EMAIL PROTECTED] wrote: If I define the follwoing functions: car (x:_) = x car [] = [] This won't typecheck. It helps to add a type signature car :: [a] - a Good will, wrong diagnosis. This WILL check. car :: forall a. [[a]] - [a] J.

Re: [Haskell-cafe] Patterns overlapped?

2008-01-13 Thread jerzy . karczmarczuk
, the pattern is a variable, not a constant. Replace emptyBT by EmptyTree. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

  1   2   3   >