Re: [Haskell-cafe] A Mascot
Hi there, On 11/23/2011 08:30 AM, heathmatlock wrote: I like it but ... I'm paid $1 per item sold, some items are costs more than others. If you want people to identify even faster with Da, start by uploading some CC licenced SVGs. One thing that helps a lot imho is to allow other people to be creative with it, too. Just my 5 euro cents, Cheers, Moritz ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On Wed, Nov 23, 2011 at 12:48 AM, Michael Orlitzky wrote: > On 11/22/11 16:52, heathmatlock wrote: > > I liked him more back when he was called Curry. That he is a lamb is a > cute play on words. But for me, "The Lamb Da" was facepalm-inducing > because it seems like it's trying too hard to maximize the number of > gimmicks per square centimeter. > I wouldn't mind a poll on the mascot and its name. -- Heath Matlock +1 256 274 4225 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On Tue, Nov 22, 2011 at 10:34 AM, Vincent Hanquez wrote: > > > I think cute is good enough, and heathmatlock's lamb da, a good and simple > name with a funny pun, definitely made me smile, and hope that's something > i see on haskell tshirts soon ;-) Done. http://open.spreadshirt.com I was a little click happy at first while my slow computer was rendering some PNGs, so the last few pages of items probably need to be removed. If you like something and would like to see it larger or on some other shirt, let me know, and I'll get on it. Here are my picks from the lot: Kid's shirt with astrolamb: http://open.spreadshirt.com/children-s-tshirt-large-moon-A8545485 Women's slim shirt with astrolamb: http://open.spreadshirt.com/pillow-case-lamb-da-A8545524 Men's shirt with astrolamb: http://open.spreadshirt.com/men-s-american-apparel-haskell-moon-small-top-left-A8545439 Men's green shirt with CS Wizard lamb: http://open.spreadshirt.com/men-s-standard-weight-cs-wizard-da-large-smallest-white-text-A8545341 Men's green shirt with lamb and scarf: http://open.spreadshirt.com/men-s-standard-medium-da-smallest-white-text-A8545249 Men's long sleeve organic with large knight: http://open.spreadshirt.com/men-s-long-sleeve-organice-large-da-knight-small-black-lettering-A8545080 Men's athletic style shirt: http://open.spreadshirt.com/men-s-performance-samll-da-knight-top-left-small-black-lettering-A8545067 Men's standard with lamb top-left: http://open.spreadshirt.com/men-s-small-da-the-knight-top-leftl-small-white-letters-A8544856 Something Simon Peyton Jones would wear: http://open.spreadshirt.com/men-s-crewneck-sweatshirt-da-large-A8544677 And there are even a few more, but I don't want to spam the list with too many links (there are over 100 Haskell specific items there now, pillow cases included!). I'm paid $1 per item sold, some items are costs more than others. -- Heath Matlock +1 256 274 4225 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On 11/22/11 16:52, heathmatlock wrote: > Wasn't planning on it, but I saw some emails on the topic, so I worked > on what I presented earlier: I liked him more back when he was called Curry. That he is a lamb is a cute play on words. But for me, "The Lamb Da" was facepalm-inducing because it seems like it's trying too hard to maximize the number of gimmicks per square centimeter. Anyway, creative design-by-committee is doomed, so my advice is to ignore this and all other advice =) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Why does GHC not warn about unnamed uninitialized fields?
Today I noticed that GHC is more concerned (when using -Wall) about
uninitialized fields when those fields have names:
data A = A {a::Integer}
data B = B Integer
x :: A
x = A{} -- Gives a nice warning: "Fields of `A' not initialised: a"
y :: B
y = B{} -- No warning!
Is this on purpose? If so, what is the rationale?
The context in which I encountered this boils down to the following:
{-# LANGUAGE RecordWildCards #-}
data C = C {c::Integer}
f :: C -> C
f C{..} = C{..}
g :: C -> Integer
g (C i) = i
main :: IO ()
main = print (g (f (C 3)))
This code worked fine (and printed "3"), until I made C's Integer
nameless. This made it crash with following runtime error instead:
T: T.hs:6:11-15: Missing field in record construction
The crash and error are perfectly understandable, but it would have been
more helpful if GHC had warned about this at compile-time! The reason it
didn't, though, is because of its aforementioned cavalier attitude
towards uninitialized fields that don't have names... :-)
(I'm using GHC 7.0.4.)
Cheers,
Eelis
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] PEPM 2012: Call for participation
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM12 January 23-24, 2012. Philadelphia, PA, USA (co-located with POPL'12) Call For Participation Online registration is open at https://regmaster3.com/2012conf/POPL12/register.php Early registration deadline is December 24, 2011 The PEPM Symposium/Workshop series brings together researchers and practitioners working in the broad area of program transformation, which spans from refactoring, partial evaluation, supercompilation, fusion and other metaprogramming to model-driven development, program analyses including termination, inductive programming, program generation and applications of machine learning and probabilistic search. PEPM focuses on techniques, supporting theory, tools, and applications of the analysis and manipulation of programs. In addition to the presentations of regular research papers, the PEPM program includes tool demonstrations and `short paper' presentations of exciting if not fully polished research. PEPM has established a Best Paper award. The winner will be announced at the workshop. INVITED TALKS Compiling Math to High Performance Code Markus Pueschel (ETH Zuerich, Switzerland) http://www.inf.ethz.ch/~markusp/index.html Specification and verification of meta-programs Martin Berger (University of Sussex, UK) http://www.informatics.sussex.ac.uk/users/mfb21/ ACCEPTED PAPERS Regular research papers: Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara. Functional Programs as Compressed Data Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano. Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Dana N. Xu. Hybrid Contract Checking via Symbolic Simplification Susumu Katayama. An Analytical Inductive Functional Programming System that Avoids Unintended Programs Roberto Giacobazzi, Neil Jones and Isabella Mastroeni. Obfuscation by Partial Evaluation of Distorted Interpreters Michael Gorbovitski, Yanhong A. Liu, Scott Stoller and Tom Rothamel. Composing Transformations for Instrumentation and Optimization Elvira Albert, Jesus Correas Fernandez, German Puebla and Guillermo Roman-Diez. Incremental Resource Usage Analysis Takumi Goto and Isao Sasano. An approach to completing variable names for implicitly typed functional languages Martin Hirzel and Bugra Gedik. Streams that Compose using Macros that Oblige Vlad Ureche, Tiark Rompf, Arvind Sujeeth, Hassan Chafi and Martin Odersky. StagedSAC: A Case Study in Performance-Oriented DSL Development Markus Degen, Peter Thiemann and Stefan Wehr. The Interaction of Contracts and Laziness Surinder Kumar Jain, Chenyi Zhang and Bernhard Scholz. Translating Flowcharts to Non-Deterministic Languages Francisco Javier Lopez-Fraguas, Enrique Martin-Martin and Juan Rodriguez-Hortala. Well-typed Narrowing with Extra Variables in Functional-Logic Programming Geoff Hamilton and Neil Jones. Superlinear Speedup by Distillation: A Semantic Basis Short papers: Jacques Carette and Aaron Stump. Towards Typing for Small-Step Direct Reflection Janis Voigtlaender. Ideas for Connecting Inductive Program Synthesis and Bidirectionalization Tool demonstration papers: Edvard K. Karlsen, Einar W. Hoest and Bjarte M. Oestvold. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin Adriaan Moors, Tiark Rompf, Philipp Haller and Martin Odersky. Scala-Virtualized Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gomez-Zamalloa and German Puebla. COSTABS: A Cost and Termination Analyzer for ABS ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On 11/22/11 8:22 PM, Albert Y. C. Lai wrote: On 11-11-22 12:22 AM, Jeremy Shaw wrote: - weak and needing protection - easily lead astray - being lead to the slaughter - dumb and easily lost A lamb-in-arms is the antithesis to all those. It stands up with determination and might against mainstream oppression and stereotyping. Of all the Da variants, I must say the knight is my favorite. -- Live well, ~wren ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Quickcheck research
On 11/22/11 1:36 PM, Jacques Carette wrote: On 22/11/2011 12:42 PM, wren ng thornton wrote: Something I think would be nice is to see full integration between SmallCheck and QuickCheck. In particular, I'd like to use SmallCheck to exhaustively search the small cases, and then use QuickCheck in a way that ensures that it only tests on things larger than the ones which have already been tested. Actually, (Gordon Uszkay and I) have already done that. We are hoping to make a release of this in November. Excellent! -- Live well, ~wren ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On 11-11-22 12:22 AM, Jeremy Shaw wrote: A mascot is supposed to represent characteristics, emotions, or desires that a particular group of people aspire to have, be like, etc. To outsiders, it provides a quick way to see if it might be a group they would like to belong to, and for insiders, it helps strengthen the bond and group identity by reminding them what they stand for. I don't know why I relate to Canada, with mascots of the maple leaf, the beaver, and the moose. I don't know why I relate to linux, with a mascot of the penguin. I don't know why I relate to Kraft peanut butter, with a mascot of a pair of bears... So far, the only justification I have noticed for why a lamb would represent Haskell users is that there is a pun about lambda's -- which only makes sense if you know English. Sheep are generally thought of as: - weak and needing protection - easily lead astray - being lead to the slaughter - dumb and easily lost A lamb-in-arms is the antithesis to all those. It stands up with determination and might against mainstream oppression and stereotyping. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
Here are some examples of how the mascot can be used on the wiki: http://imgur.com/a/Hu1ve -- Heath Matlock +1 256 274 4225 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On 22 November 2011 13:22, Jeremy Shaw wrote: > Sheep are generally thought of as: > > - weak and needing protection > - easily lead astray > - being lead to the slaughter > - dumb and easily lost Cool, so Haskell is made for people like me! > I think Haskeller's like Haskell because it is: > > - elegant > - sophisticated > - reliable > - robust Sounds boring! I like Haskell because it is fun :) Conrad. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
For some reason, I can't rest until this is done, so here's the larger images (with corrections): http://imgur.com/a/CTFJZ There's a download button on the top-right of the thumbnail if you want to observe the lamb up close. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
I really love the idea of Haskell having a mascot, and Da the Lamb seems a perfect one to me. 2011/11/22 heathmatlock > I goofed on a few images, but I'm a bit tired to correct them at the > moment. Also, I'll upload higher res images another time, they don't look > terrible up close. > > > On Tue, Nov 22, 2011 at 3:52 PM, heathmatlock wrote: > >> Wasn't planning on it, but I saw some emails on the topic, so I worked on >> what I presented earlier: >> >> http://imgur.com/a/yIUOA >> >> A favicon is attached as well, it probably could use more work. >> > > > > -- > Heath Matlock > +1 256 274 4225 > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
I goofed on a few images, but I'm a bit tired to correct them at the moment. Also, I'll upload higher res images another time, they don't look terrible up close. On Tue, Nov 22, 2011 at 3:52 PM, heathmatlock wrote: > Wasn't planning on it, but I saw some emails on the topic, so I worked on > what I presented earlier: > > http://imgur.com/a/yIUOA > > A favicon is attached as well, it probably could use more work. > -- Heath Matlock +1 256 274 4225 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
Wasn't planning on it, but I saw some emails on the topic, so I worked on what I presented earlier: http://imgur.com/a/yIUOA A favicon is attached as well, it probably could use more work. <>___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Decision procedure for foldr/foldl/foldl'?
On Tue, Nov 22, 2011 at 09:10, David Fox wrote: > I think the other replies in this thread speak for themselves - i > found them very helpful. That would be because they mostly back-doored around your stated intent. -- brandon s allbery allber...@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Is SmallCheck maintained?
> On Mon, Nov 14, 2011 at 9:54 AM, Roman Cheplyaka ro-che.info> > wrote: > > Does anyone currently work on Test.SmallCheck? not "working on", but I'm using it in teaching. The one change that I would want in SmallCheck is that Serial should use size, not depth (that is, not take the max over the subtrees, but the sum). I think this would help somewhat against the explosion of test sets. Yes, I can write Serial instances as I fancy but it's the default instances (for tuples, lists) that I think should be changed. At least, an alternative should be provided. On the other hand, that could easily be forked off as a student project, so there is no hurry. Best, Johannes. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Quickcheck research
On 22/11/2011 12:42 PM, wren ng thornton wrote: Something I think would be nice is to see full integration between SmallCheck and QuickCheck. In particular, I'd like to use SmallCheck to exhaustively search the small cases, and then use QuickCheck in a way that ensures that it only tests on things larger than the ones which have already been tested. Actually, (Gordon Uszkay and I) have already done that. We are hoping to make a release of this in November. Jacques ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Quickcheck research
On 11/22/11 6:09 AM, Macías López wrote: Hello: I'm a Master's student in Computer Science. I have to make a project involving some research, I'm very interested in Quickcheck and I wonder if there are some areas which need work or if there is some potential research topic related to it. In particular I know that Erlang Quickcheck has been worked on a lot and has some features like state machines or C bindings which may be useful to the Haskell community. I would appreciate any directions. Something I think would be nice is to see full integration between SmallCheck and QuickCheck. In particular, I'd like to use SmallCheck to exhaustively search the small cases, and then use QuickCheck in a way that ensures that it only tests on things larger than the ones which have already been tested. One of the problems with mixing the two these days is that QuickCheck often wastes a lot of time checking things that SmallCheck will also test. While the goal may not seem very researchy, it actually gets at one of the main weaknesses of QuickCheck: namely, how to properly control generation of arbitrary values in order to ensure you're testing something helpful. It's too easy to design Arbitrary instances which only generate small values (e.g., half of all lists are the empty list) or which loop forever (because of trying to avoid the too-small problem), which makes me think that Arbitrary isn't the right set of abstractions for controlling coverage of the value space. I haven't followed the Erlang line of QC, so I'm not sure if they've made progress on this issue or not. -- Live well, ~wren ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On 11/22/2011 05:22 AM, Jeremy Shaw wrote: I think the artwork is nice, but I am not sure that a lamb is an appropriate mascot for Haskell. I disagree as well. I think you're looking too much into what a mascot should means; looking at others mascot, linux's tux, freebsd's demon, go lang's thingie, perl (and ocaml)'s camel, java's duke (huh?), ..., do you think that any of them subscribe to your description of what a mascot should be ? I think cute is good enough, and heathmatlock's lamb da, a good and simple name with a funny pun, definitely made me smile, and hope that's something i see on haskell tshirts soon ;-) (And as a side note, i think the honey badger looks like a brute animal, not an elegant and beautiful animal.) -- Vincent ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On 22 Nov 2011, at 15:40, Karol Samborski wrote: > And what about a cat? The cat is associated with elegance and a kind of magic. > Please take a look: http://origami.bieszczady.pl/images/kot.png My biggest criticism of the more recent ones is simply not to get carried away with magic haskell expressions, no matter how simple you think they are. The job of a mascot is to make people think "aww, cute, I should clearly look into something with such a cute mascot", I suspect the response here would be more like the standard Haskell "holy crap, crazy letters and symbols, get away from me!" Bob ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On Tue, Nov 22, 2011 at 4:40 PM, Karol Samborski wrote: > And what about a cat? The cat is associated with elegance and a kind of magic. > Please take a look: http://origami.bieszczady.pl/images/kot.png > > Best, > Karol Samborski That's true, and I did think of it. But I don't think it's distinctive enough. Cats are *everywhere*, you can't really claim them for Haskell. You can't ever get to the point where people (even people who know about it) will see a picture of a cat and think "Haskell", the way you can with a penguin and Linux, and like you potentially could with a lamb and Haskell. Other people may disagree, of course. (And it's a shame, too, because a cat would be a great choice if they were somewhat more obscure and it weren't the case that every other person keeps two of them.) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
And what about a cat? The cat is associated with elegance and a kind of magic. Please take a look: http://origami.bieszczady.pl/images/kot.png Best, Karol Samborski ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Decision procedure for foldr/foldl/foldl'?
On Tue, Nov 22, 2011 at 5:04 AM, Jerzy Karczmarczuk wrote: > David Fox reacts to my criticism of his attitude towards "the meaning of > folds": >> >> I'm not trying to avoid learning the differences between the different >> folds, but I am looking for a mnemonic device that will allow me to >> proceed more quickly towards my goal. My ultimate goal is to write >> software, not to understand folds. Just as it is inappropriate for a >> young officer to even contemplate an overall strategy for winning the >> war, it would be inappropriate for a general to spend more time than >> necessary on the minute details of military tactics, as vital as they >> are. > > David, cynism or not, you might have found in my post some concrete remarks, > about incrementality, about tail-recursion... Not a single comment of your > part. No comment addressed to other people who tried also to help you > (whether we really help you in such a way is subject to discussion...) > > I am sorry, but saying that your goal is to write software is not even > funny. The relatively modern science of programming evolves for the last 60 > years, and the progress in writing software NEVER came out of kitchen > recipes, on the contrary ! The laziness is not a "trick to avoid > computation", but a methodology of ordering the operations, and if you are > unable to order them in your head, you won't be able to exploit this or that > "design pattern". > OK, you gather some patterns, and you apply them. Once. And then, you will > be helpless, when the need for refactoring arrives. You will never be able > to teach those patterns to your younger colleagues. And finally, your last > remarks might be less relevant than you wish. A general gets his stars > usually after several years of demonstrating that he UNDERSTANDS the minute > details of military tactics, so he can consciously choose those who will > implement them. I think the other replies in this thread speak for themselves - i found them very helpful. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On Mon, Nov 21, 2011 at 2:52 PM, Karol Samborski wrote: > 2011/11/21 Karol Samborski : >> Hi all, >> >> This is my sister's proposition: >> http://origami.bieszczady.pl/images/The_Lamb_Da.png >> >> What do you think? >> > > Second version: http://origami.bieszczady.pl/images/The_Lamb_Da2.png > > Best, > Karol Samborski I like (his?) (her?) (its?) ears. The pink one is too pink, but I'm a guy. > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Work is punishment for failing to procrastinate effectively. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
On Tue, Nov 22, 2011 at 6:22 AM, Jeremy Shaw wrote: > I think the artwork is nice, but I am not sure that a lamb is an > appropriate mascot for Haskell. > > A mascot is supposed to represent characteristics, emotions, or > desires that a particular group of people aspire to have, be like, > etc. To outsiders, it provides a quick way to see if it might be a > group they would like to belong to, and for insiders, it helps > strengthen the bond and group identity by reminding them what they > stand for. > > So far, the only justification I have noticed for why a lamb would > represent Haskell users is that there is a pun about lambda's -- which > only makes sense if you know English. Sheep are generally thought of > as: > > - weak and needing protection > - easily lead astray > - being lead to the slaughter > - dumb and easily lost > > Not sure those are traits that Haskeller's generally aspire to have. > > I think Haskeller's like Haskell because it is: > > - elegant > - sophisticated > - reliable > - robust > > Haskeller's tend to be people who are curious. Pioneers who are > willing to go off the beaten path in search of something better. > People who are willing to evaluate something based on its merits > rather than the mere approval of the mainstream. People who aspire to > create elegant, beautiful code. People looking to better their skills, > even if they don't use Haskell for most of their coding. And there is > definitely a pragmatic aspect. Part of the appeal of Haskell is that > it can actually be used for many real world applications and can often > do the job better. The fact that you can use it to deliver more > reliable and robust code in less time, is a very real and tangible > benefit. > > Here are some suggestions of my own. I am not really excited about any > of them either -- but they give some examples of how I think a mascot > might work: > > - owl: traditionally thought of as 'wise'. Known for their keen > (in)sight. Of course, some cultures believe they are a bad omen and a > sign of impending death.. > > - honey badger - can't beat that for 'robust' and 'fearless', > http://www.youtube.com/watch?v=wPKlryXwmXk > > - james bond - he's sophisticated, reliable, and he does it with > 'class'. hahah, more silly puns :p Of course, he is also not public > domain :) Plus, it is too male oriented. > > In summary, a mascot is supposed to elicit an emotional response from > people and help create a bond. To do that, it needs to provide > emotional leadership and say that, "if you use Haskell, you can be > like X". That doesn't it mean it can't be cute. People do tend to bond > easily to cute things (like kittens!). But I don't think cute is > enough. I also don't think that representing 'features' of Haskell, > like 'laziness' or 'higher order' is the right core appeal either. > That is too mental -- not enough emotion. Those things can, of course, > be represented in the depiction of the mascot. Nothing wrong with > cleverly hiding lamba's and _|_ in the picture. But, for example, > saying that Haskell is 'lazy' so we should pick a sloth, is not really > a good choice, IMO. > > - jeremy I disagree. I think cuteness is very nearly enough by its own. Tux has been an incredibly successful mascot - I can't think of any other technology-related (non-game) mascot who even comes close. What positive qualities does he convey, apart from being cute? Not many. He's fat and happy. That's good - it's a positive association and it attracts people. The drawings of Lamb Da so far have tended more towards "cheerful and happy", and I think that's great; it has the same qualities. I think it works. I feel like getting stuck up on requiring the mascot to be sophisticated and non-mainstream and elegant and intelligent would just send the signal that we're stuck up. (And, I suppose, that there might be a kernel of truth there, but it's not a positive.) I do agree completely that focusing on specific features like laziness or what have you is the wrong path, and that they are more appropriate as an 'easter egg' sort of thing. And all of that said, I would also submit that there's a big difference in perception between "lamb" and "sheep": Sheep, in common perception, are big and docile and stupid, whereas lambs are mainly just cute and adorable. I wasn't initially thrilled with the idea - a mascot? really? why? - but over the course of this discussion I've grown fond of Lamb Da. She's cute! (The pun is a very nice plus, and a great excuse. Sure, it's English, but lambs are cute in any language, and Haskell itself, when it uses language, is English. I don't think it's a huge deal.) > > > > On Tue, Nov 15, 2011 at 7:01 PM, heathmatlock wrote: >> I liked Go's mascot, and I figure it couldn't hurt to have our own. I spent >> the past hour making this: >> http://i.imgur.com/Mib6Q.png >> >> What do you think? >> >> -- >> Heath Matlock >> +1 256 274 4225 >> >> ___
Re: [Haskell-cafe] Decision procedure for foldr/foldl/foldl'?
David Fox reacts to my criticism of his attitude towards "the meaning of folds": I'm not trying to avoid learning the differences between the different folds, but I am looking for a mnemonic device that will allow me to proceed more quickly towards my goal. My ultimate goal is to write software, not to understand folds. Just as it is inappropriate for a young officer to even contemplate an overall strategy for winning the war, it would be inappropriate for a general to spend more time than necessary on the minute details of military tactics, as vital as they are. David, cynism or not, you might have found in my post some concrete remarks, about incrementality, about tail-recursion... Not a single comment of your part. No comment addressed to other people who tried also to help you (whether we really help you in such a way is subject to discussion...) I am sorry, but saying that your goal is to write software is not even funny. The relatively modern science of programming evolves for the last 60 years, and the progress in writing software NEVER came out of kitchen recipes, on the contrary ! The laziness is not a "trick to avoid computation", but a methodology of ordering the operations, and if you are unable to order them in your head, you won't be able to exploit this or that "design pattern". OK, you gather some patterns, and you apply them. Once. And then, you will be helpless, when the need for refactoring arrives. You will never be able to teach those patterns to your younger colleagues. And finally, your last remarks might be less relevant than you wish. A general gets his stars usually after several years of demonstrating that he UNDERSTANDS the minute details of military tactics, so he can consciously choose those who will implement them. Jerzy Karczmarczuk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] "lambda.fm" How can I use this to help the Haskell community?
A while back I somehow managed to get the domain name, "lambda.fm" and I am simply creating this post to get some ideas from the community on what it could be used for to help the FP community. So tell me what you think. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
serialhex writes: > On Tue, Nov 22, 2011 at 12:22 AM, Jeremy Shaw wrote: > >> - honey badger - can't beat that for 'robust' and 'fearless', >> http://www.youtube.com/watch?v=wPKlryXwmXk > i think you were referring to this vid: Original channel with lots of other animals and similar commentary. Certainly a refreshing alternative to the overly dramatic Discovery/Animal Planet style. And plenty of mascot material there: http://www.youtube.com/czg123 -k -- If I haven't seen further, it is by standing in the footprints of giants ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Quickcheck research
Hello: I'm a Master's student in Computer Science. I have to make a project involving some research, I'm very interested in Quickcheck and I wonder if there are some areas which need work or if there is some potential research topic related to it. In particular I know that Erlang Quickcheck has been worked on a lot and has some features like state machines or C bindings which may be useful to the Haskell community. I would appreciate any directions. Cheers, Macías López. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] FLOPS 2012: 2nd call for papers
Second Call For Papers = *Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)* May 23-25, 2012 Kobe, Japan [http://www.org.kobe-u.ac.jp/flops2012/] _Submission deadline : December 9, 2011_ FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), and Sendai (2010). Topics == FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): - Declarative Pearls: new and excellent declarative programs with illustrative applications. - Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. - Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. - Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. - Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings will be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2010) were published as LNCS 6009. PC co-Chairs - Tom Schrijvers (Ghent University, Belgium) - Peter Thiemann (University of Freiburg, Germany) PC Members == - Salvador Abreu (University of Evora, Portugal) - Thorsten Altenkirch (University of Nottingham, UK) - Sebastian Brand (NICTA, Australia) - Giuseppe Castagna (CNRS Univ Paris 7, France) - Sebastian Fischer (Germany) - Marco Gavanelli (University of Ferrara, Italy) - Joxan Jaffar (National University of Singapore, Singapore) - Barry Jay (University of Sydney, Australia) - Andy King (University of Kent, UK) - Claude Kirchner (INRIA, France) - Neelakantan R. Krishnaswami (Microsoft Cambridge, UK) - Yulya Lierler (University of Kentucky, USA) - Keiko Nakata (Tallinn University of Technology, Estonia) - Peter Schneider-Kamp (University of Southern Denmark, Denmark) - Olin Shivers (Northeastern University, USA) - Paul Tarau (University of Northern Texas, USA) - Kazunori Ueda (Waseda University, Japan) - Meng Wang (Chalmers Technical University, Sweden) General Chair and Local co-Chairs = - Naoyuki Tamura (Kobe University, Japan) - Mutsunori Banbara (Kobe University, Japan) - Katsutoshi Hirayama (Kobe University, Japan) Submission == Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: - Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. - System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. Submissions must be written in English and can be up to 15 pages long, though pearls are typically considerably shorter. Authors are required to use LaTeX2e and the Springer llncs class file, available at [http://www.springer.de/comp/lncs/authors.html]. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at [https://www.easychair.org/conferences/?conf=flops2012]. Important Dates === - Submission deadline : December 9, 2011 - Author notification : February 3, 2012 - Camera-ready copy : March 2, 2012 Place and Related Events Takikawa Memorial Hall, Kobe University, 1-1 Rokkodai, Nada, Kobe 657-8501 Japan. The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan. Some Previous FLOPS === - FLOPS 2010, Sendai: [http://www.kb.ecei.tohoku.ac.jp/flops2010/] - FLOPS 2008, Ise: [http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/] - FLOPS 2006, Fuji Susono: [http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/] Sponsors - Japan Society for Software Science and Technology (JSSST) SIGPPL In Cooperation with === - ACM SIGPLAN - Asian Association for Foundation of Software (AAFS) - Association for
[Haskell-cafe] FLOPS 2012: 2nd call for papers
-- prof. dr. ir. Tom Schrijvers Programming Languages Group Department of Applied Mathematics and Computer Science University of Ghent Krijgslaan 281 S9 9000 Gent Belgium Phone: +32 9 264 4805 http://users.ugent.be/~tschrijv/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Interpreter with Cont
I would recommend Ralf Hinze's ICFP00 Pearl Deriving Backtracking Monad Transformers http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4164 He starts with a monad transformer expressed as a free term algebra, and shows step-by-step how to transform it to a more efficient context-passing style. He deals with exceptions and backtracking rather than IO; the ideas are quite similar though. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] A Mascot
Thank you all for appreciate my sister's work. I will send her your comments and then will see :) Best, Karol Samborski ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
