[Haskell-cafe] Re: Haskell Weekly News: Issue 155 - October 20, 2010
On 10/22/2010 09:37 AM, wren ng thornton wrote: On 10/21/10 5:38 AM, Ketil Malde wrote: I'm always getting two copies of everything in haskell@, since everything is cross-posted to -cafe. Are there actually people subscribed to -cafe, but *not* to hask...@? And if so, why? I am. In part because I don't want to get two copies of everything, but in part because I'm lazy. This is my case too. As for as the amount of messages, who cares. Get it through NNTP. You will download only the headers. Bodies will be downloaded only for messages you read. You can check only the threads you consider interesting. There is not much new threads. Mark newsgroup read is a quick operation. I do not think HWN should not be posted to haskell-cafe. If you decide so I do not really care but post a message to haskell-cafe list that you are switching HWN to haskell list only (so I can subscribe there too). Peter. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 155 - October 20, 2010
Peter Hercek pher...@gmail.com writes: I am. In part because I don't want to get two copies of everything, but in part because I'm lazy. This is my case too. As for as the amount of messages, who cares. Right. So the question is, what is (or should be) the contents of the messages that are posted only to haskell@, but *not* crossposted to café? Because I think this set of messages is (or should be) empty, which suggests that we 1) remove the people subscribed to haskell-cafe@ from haskell@ 2) automatically post all messages to haskell@ to -cafe as well 3) post announcements to haskell@ without any crossposting. This way, most people will subscribe to -cafe and get a single copy of each message, not miss out on any important stuff, and as an added benefit discussion will mostly go to that list. People who only want low-bandwith subscription to announcements, HWN, and the like, may subscribe to haskell@ only. -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] Re: Haskell Weekly News: Issue 153 - October 06, 2010
Hopefully Joe can upload the Html version to http://sequence.complete.org/hwn later today. If that is not the case, maybe someone with upload powers can lend me a hand. Daniel ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
On Tue, Nov 24, 2009 at 05:46, Richard O'Keefe wrote: For example, ai in Maori means to copulate, Really [1]? It's amazing what Google [2] will tell you these days. ;) [1] http://researchspace.auckland.ac.nz/handle/2292/343 [2] http://www.google.com/search?q=ai+maori Regards, Sean ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
Incidentally, I've always wondered about the politically correct way of referring to this programming language (and related implementation in the above-mentioned type system) in academic circles; Is this a question of politically correctness? Since there's no discrimination or prejudice involved, I think it's more of a question of social rules. If you are using a word where it's going to be indexed, like article titles, I vote for beeing accurate. But outside that, it's difficult to answer this in a way that extends beyond one's own circle of friends. Censoring a bad word may be polite for some, and offensive for others, what could we do about that? Regarding brainfuck itself, I think beeing censored is part of the joke. In general, if a programming language-related term contains what is generally regarded as a profane word as a component, for what kinds of written material should I prioritize accuracy vs. propriety? If we decide to allow * inside conids and varids in Haskell, and have a rule that names clash when they differ only by a letter replaced by a *, we have gone too far. Best, Maurício ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
On Nov 24, 2009, at 10:29 PM, Sean Leather wrote: On Tue, Nov 24, 2009 at 05:46, Richard O'Keefe wrote: For example, ai in Maori means to copulate, Really [1]? It's amazing what Google [2] will tell you these days. ;) Really! Check http://www.maoridictionary.co.nz/ In fact if you read [1], you will find There is also another lexical ai which is a verb with the meaning ‘to copulate’ on page 4. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote: Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us his implementation of everyone's favorite profane programming language... in the type system. Incidentally, I've always wondered about the politically correct way of referring to this programming language (and related implementation in the above-mentioned type system) in academic circles; if I were writing a paper for submission to an academic journal, should I place priority on accuracy or propriety? In general, for what kinds of publications should I prioritize one criterion over the other? In general, if a programming language-related term contains what is generally regarded as a profane word as a component, for what kinds of written material should I prioritize accuracy vs. propriety? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
I censored it because I intend the HWN to be a PG rated article. I figure -- while I am not under any delusion that kids these days have mouths fouler than mine, which is a feat for sure -- that some young programmer with strict speaking morals may stumble upon the HWN and say, Hey self! This is a fantastically written weekly newsletter concerning recent developments in this community, and did I mention how wonderfully written it is? I should want said programmer to not feel any offense that can be easily avoided by a single * here or !...@#$ there. Generally I'm opposed to censorship -- but that generally entails an authority censoring against the will of the author, I think that in this case -- as I am the author/editor (not of the post proper, but rather the conduit to the post) -- that censorship-self-inflicted doesn't really count. I guess my view is that such a paper with an unintentionally foul- mouthed name -- like Brainf*ck -- ought not be the reason for which your paper is rejected from a journal or other publication source, but rather it should be understood that it might be mildly censored (as I did) if it is publish, in accordance with the intended audience of the publication source. /Joe On Nov 23, 2009, at 9:35 PM, Benjamin L.Russell wrote: On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote: Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us his implementation of everyone's favorite profane programming language... in the type system. Incidentally, I've always wondered about the politically correct way of referring to this programming language (and related implementation in the above-mentioned type system) in academic circles; if I were writing a paper for submission to an academic journal, should I place priority on accuracy or propriety? In general, for what kinds of publications should I prioritize one criterion over the other? In general, if a programming language-related term contains what is generally regarded as a profane word as a component, for what kinds of written material should I prioritize accuracy vs. propriety? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ 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] Re: Haskell Weekly News: Issue 140 - November 22, 2009
Hi Benjamin On 24 Nov 2009, at 02:35, Benjamin L.Russell wrote: On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote: Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us his implementation of everyone's favorite profane programming language... in the type system. In general, if a programming language-related term contains what is generally regarded as a profane word as a component, for what kinds of written material should I prioritize accuracy vs. propriety? Who gives a brain? More seriously, I worry that inaccuracy (other than blessed relief from tedious pedantry, of course) might ever be improper. Lots of arts academia write learned articles about filth, and it's no big deal when it's in quotation. That's the situation here, no? Perhaps use quotation marks just to be clear that the terminology is not of your making. But you should have no need of ASCII-art fig leaves. (Now, as far as *email* (e.g., HWN) is concerned, it makes sense to act like wise spammers the world over and disguise your true intentions from the automated filters. People from Scunthorpe must be really fed up doing that. I know they're fed up being used as an example, too. Sorry.) Yours ever Coqnor ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
On Mon, 23 Nov 2009 21:50:22 -0500, Joe Fredette jfred...@gmail.com wrote: I guess my view is that such a paper with an unintentionally foul- mouthed name -- like Brainf*ck -- ought not be the reason for which your paper is rejected from a journal or other publication source, but rather it should be understood that it might be mildly censored (as I did) if it is publish, in accordance with the intended audience of the ^^^ publication source. ^^ Aha, but therein lies the gist of the issue: For example, if somebody wrote a hypothetical Haskell library called (and properly censored, according to your standards) Monadam*: A library for translating those dam* monads into non-monad-syntax form, and wanted to submit a paper on the semantics of the library to a functional programming journal, then for that intended audience of the publication source, should the title be self-censored prior to submission, or left intact? In addition (just to be pedantic, but this issue could conceivably arise with certain library names in the future), if the library were announced on, say, the main Haskell mailing list, then for that intended audience of the publication source, should the subject line of the announcement read ANN: Monadam*: A Library for Translating Those Dam* Monads into Non-monad-syntax Form, or would it be more appropriate to leave the library name intact? Normally, this issue does not arise, but with certain programming language names that contain profane terms within, there is a possibility that somebody could potentially name a library similarly, leading to this referencing issue. Presumably, the Library of Congress citation would include the full name, regardless of any profane terms within; if the name were censored to be politically correct, and then some researcher wanted to look up the Library of Congress citation, couldn't the censoring potentially lead to referencing difficulties? For a researcher potentially wishing to look up a publication, this could become an issue. How should this issue be resolved? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
On Tue, 24 Nov 2009 02:58:30 +, Conor McBride co...@strictlypositive.org wrote: Hi Benjamin On 24 Nov 2009, at 02:35, Benjamin L.Russell wrote: On Sat, 21 Nov 2009 12:14:29 -0800 (PST), jfred...@gmail.com wrote: Typef*ck: Brainf*ck in the type system. Johnny Morrice [23]showed us his implementation of everyone's favorite profane programming language... in the type system. In general, if a programming language-related term contains what is generally regarded as a profane word as a component, for what kinds of written material should I prioritize accuracy vs. propriety? Who gives a brain? More seriously, I worry that inaccuracy (other than blessed relief from tedious pedantry, of course) might ever be improper. Lots of arts academia write learned articles about filth, and it's no big deal when it's in quotation. That's the situation here, no? Perhaps use quotation marks just to be clear that the terminology is not of your making. But you should have no need of ASCII-art fig leaves. Agreed. Inaccuracy in the title can potentially lead to cross-referencing difficulties if a search is performed. As long as the title is in quotation, it would seem that accuracy should probably be prioritized over the political incorrectness of portions of the title, so that someone who wishes, say, to perform a search need not search for both versions of the title. (Now, as far as *email* (e.g., HWN) is concerned, it makes sense to act like wise spammers the world over and disguise your true intentions from the automated filters. People from Scunthorpe must be really fed up doing that. I know they're fed up being used as an example, too. Sorry.) Hmm. That's a potential dilemma. If someone were, say, a functional programming researcher and wanted to look up related discussions in archived mailing lists and newsgroups on a term that included a politically incorrect subterm within, then it would then be necessary to perform a search on all the following variants (taking Monadam* (with the asterisk replaced by the the correct letter) as an example): 1) the uncensored version 2) Monadam* 3) Monada** 4) Monad*** 5) Mona Wow. Unfortunately, the automated filtering software is likely to mark a message of an uncensored title as spam. Maybe the mailing lists and newsgroups have no choice but to be left out of any related searches in order to escape the filters? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 140 - November 22, 2009
I should point out that what seems like a rude name in one language may be a perfectly proper word in another. For example, ai in Maori means to copulate, and yet we have things like the AI Journal. Naughty naughty. F*ck is a perfectly good German name, I believe, and you will find that name associated with some fungi. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 137 - October 31, 2009
On Mon, Nov 2, 2009 at 6:42 AM, Benjamin L.Russell dekudekup...@yahoo.com wrote: Hey, careful now No need to start another Emacs vs. the other 'editor' flamewar ... lest someone run M-x nethack and summon a Demogorgon against you ... er, make that M-x haskellhack, since a Haskell version needs to be created. ;-) There's MazesOfMonad on Hackage, Roguestar at http://roguestar.downstairspeople.org/, and I think there are more on Hackage too but it's still down. -- Benjamin L. Russell --Max ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 137 - October 31, 2009
It's not my fault you emacs-y people chose the wrong editor... :) /Joe On Nov 1, 2009, at 11:42 PM, Benjamin L.Russell wrote: On Fri, 30 Oct 2009 21:38:25 -0700 (PDT), jfred...@gmail.com wrote: ... a new version of haskell-mode for the lesser of two editors ^^ [...] haskell-mode 2.5. Svein Ove Aas [14]announced a new version of haskell-mode for that other 'editor'... ^ ^ Hey, careful now No need to start another Emacs vs. the other 'editor' flamewar ... lest someone run M-x nethack and summon a Demogorgon against you ... er, make that M-x haskellhack, since a Haskell version needs to be created. ;-) -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ 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] Re: Haskell Weekly News: Issue 137 - October 31, 2009
Benjamin L.Russell wrote: Hey, careful now No need to start another Emacs vs. the other 'editor' flamewar ... lest someone run M-x nethack and summon a Demogorgon against you ... er, make that M-x haskellhack, since a Haskell version needs to be created. ;-) Yes, because nobody truly believes your language is fringe until somebody implements an obscure text advanture game with it. ;-) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 137 - October 31, 2009
On Fri, 30 Oct 2009 21:38:25 -0700 (PDT), jfred...@gmail.com wrote: ... a new version of haskell-mode for the lesser of two editors ^^ [...] haskell-mode 2.5. Svein Ove Aas [14]announced a new version of haskell-mode for that other 'editor'... ^ ^ Hey, careful now No need to start another Emacs vs. the other 'editor' flamewar ... lest someone run M-x nethack and summon a Demogorgon against you ... er, make that M-x haskellhack, since a Haskell version needs to be created. ;-) -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News
Thank you for including my quote (by dekudekuplex), and great work so far! Just a couple of minor comments: 1) It might be useful for referencing by subject if you could include the issue number and date in the subject line (e.g., Haskell Weekly News: Issue 131 - September 25, 2009) instead of only Haskell Weekly News. 2) Instead of posting separately to the Haskell and Haskell-Cafe mailing lists, it might be better to cross-post, since that way, readers using newsreaders can have the cross-posted article automatically marked read in the mailing list where it has not been read. Other than that, hope that you get over your sinus infection, and keep up the good work! Benjamin L. Russell On Sat, 03 Oct 2009 09:46:25 -0700 (PDT), Joe Fredette jfred...@gmail.com wrote: --- Haskell Weekly News http://sequence.complete.org/hwn/20091003 Issue 134 - October 03, 2009 --- Welcome to issue 134 of HWN, a newsletter covering developments in the [1]Haskell community. I have a nasty sinus infection this week, so we're somewhat light on content. Lots of good discussion about DSL related stuff this week. Bryan O'Sullivan also release 'Criterion' this week, a new benchmarking library that Don Stewart described (on reddit) as 'awesome and game changing.' A new TMR editor -- someone familiar -- was announced. Also, there was some talk about homework policies on the mailinglists and in the irc channels. There is a [2]page on the Haskell wiki about this, but to sum it up in a maxim, remember, 'Help, don't do'. Until next week, the Haskell Weekly News! Announcements New TMR editor. Wouter Swierstra [3]announced that he would be stepping down from the editorship of 'The Monad Reader', with former HWN editor Brent Yorgey taking his place. Much thanks for Wouter's hard work and good luck to Brent on his new editor job! SourceGraph 0.5.{0,1,2}.0. Ivan Lazar Miljenovic [4]announced three new releases of the SourceGraph packages, this links to the latest release. json-b-0.0.4. Jason Dusek [5]announced a new version of the json-b package, which fixes defective handling of empty objects and arrays. rss2irc 0.4 released. Simon Michael [6]announced a new release of rss2irc, with many new improvements and features. vty-ui 0.1. Jonathan Daugherty [7]announced vty-ui, which is an extensible library of user interface widgets for composing and laying out Vty user interfaces. atom-0.1.1. Tom Hawkins [8]announced Atom, a Haskell DSL for designing hard real-time embedded applications. Graphalyze-0.7.0.0. Ivan Lazar Miljenovic [9]announced (in an apparent effort to take over hackage by submitting dozens of quality packages at absurdly high speed), Graphalyze, a library for using graph-theoretic techniques to analyse the relationships inherent within discrete data. Criterion. Bryan O'Sullivan [10]announced (without tacking on an 'ANN' tag, I might add, I almost missed it!) Criterion, a benchmarking library he describes [11]here. ListTree 0.1. yair...@gmail.com [12]announced ListTree, a package for combinatorial search and pruning of trees. usb-0.1. Bas van Dijk [13]announced a library for interacting with usb modules from userspace. (Deadline extended to October 5th) APLAS 2009 Call for Posters. Kiminori Matsuzaki [14]announced a deadline extension to the call for posters for the APLAS conference. graphviz-2999.6.0.0. Ivan Lazar Miljenovic [15]announced a new version of the graphviz library, which features various new features and small changes. Discussion Testing polymorphic properties with QuickCheck. Jean-Philippe Bernardy [16]gave an excellent overview about how to use QuickCheck to test polymorphic properties. Designing a DSL? Gunther Schmidt [17]asked about different methods employed for designing a DSL. DSL and GUI Toolkits. Gunther Schmidt [18]also asked about different DSLs for working with GUIs error on --++ bla bla bla. Hong Yang [19]asked about why '--++' wasn't being parsed in the way he thought it was. Haskell for Physicists. edgar [20]requested name suggestions for the talk he is giving about Physics and Haskell. Blog noise [21]Haskell news from the [22]blogosphere. Blog posts from people new to the Haskell community are marked with , be sure to welcome them! * Sean Leather: [23]'Extensibility and type safety in formatting: the design of xformat' at the Dutch HUG. * Martijn van Steenbergen: [24]let 5 = 6. * Lee Pike: [25]Writer's unblock. * Manuel M T Chakravarty: [26]NVIDIAs next generation GPU architecture has a lot for HPC to love. * David Amos: [27]Finite geometries, part 4: Lines in PG(n,Fq). * Bryan O'Sullivan: [28]New criterion release works on
Re: [Haskell-cafe] Re: Haskell Weekly News
Mostly it's been issues with sendmail, I think I have them fixed for this week. (I think...) Thanks for the input! /Joe On Oct 9, 2009, at 4:46 AM, Benjamin L.Russell wrote: Thank you for including my quote (by dekudekuplex), and great work so far! Just a couple of minor comments: 1) It might be useful for referencing by subject if you could include the issue number and date in the subject line (e.g., Haskell Weekly News: Issue 131 - September 25, 2009) instead of only Haskell Weekly News. 2) Instead of posting separately to the Haskell and Haskell-Cafe mailing lists, it might be better to cross-post, since that way, readers using newsreaders can have the cross-posted article automatically marked read in the mailing list where it has not been read. Other than that, hope that you get over your sinus infection, and keep up the good work! Benjamin L. Russell On Sat, 03 Oct 2009 09:46:25 -0700 (PDT), Joe Fredette jfred...@gmail.com wrote: --- Haskell Weekly News http://sequence.complete.org/hwn/20091003 Issue 134 - October 03, 2009 --- Welcome to issue 134 of HWN, a newsletter covering developments in the [1]Haskell community. I have a nasty sinus infection this week, so we're somewhat light on content. Lots of good discussion about DSL related stuff this week. Bryan O'Sullivan also release 'Criterion' this week, a new benchmarking library that Don Stewart described (on reddit) as 'awesome and game changing.' A new TMR editor -- someone familiar -- was announced. Also, there was some talk about homework policies on the mailinglists and in the irc channels. There is a [2]page on the Haskell wiki about this, but to sum it up in a maxim, remember, 'Help, don't do'. Until next week, the Haskell Weekly News! Announcements New TMR editor. Wouter Swierstra [3]announced that he would be stepping down from the editorship of 'The Monad Reader', with former HWN editor Brent Yorgey taking his place. Much thanks for Wouter's hard work and good luck to Brent on his new editor job! SourceGraph 0.5.{0,1,2}.0. Ivan Lazar Miljenovic [4]announced three new releases of the SourceGraph packages, this links to the latest release. json-b-0.0.4. Jason Dusek [5]announced a new version of the json-b package, which fixes defective handling of empty objects and arrays. rss2irc 0.4 released. Simon Michael [6]announced a new release of rss2irc, with many new improvements and features. vty-ui 0.1. Jonathan Daugherty [7]announced vty-ui, which is an extensible library of user interface widgets for composing and laying out Vty user interfaces. atom-0.1.1. Tom Hawkins [8]announced Atom, a Haskell DSL for designing hard real-time embedded applications. Graphalyze-0.7.0.0. Ivan Lazar Miljenovic [9]announced (in an apparent effort to take over hackage by submitting dozens of quality packages at absurdly high speed), Graphalyze, a library for using graph- theoretic techniques to analyse the relationships inherent within discrete data. Criterion. Bryan O'Sullivan [10]announced (without tacking on an 'ANN' tag, I might add, I almost missed it!) Criterion, a benchmarking library he describes [11]here. ListTree 0.1. yair...@gmail.com [12]announced ListTree, a package for combinatorial search and pruning of trees. usb-0.1. Bas van Dijk [13]announced a library for interacting with usb modules from userspace. (Deadline extended to October 5th) APLAS 2009 Call for Posters. Kiminori Matsuzaki [14]announced a deadline extension to the call for posters for the APLAS conference. graphviz-2999.6.0.0. Ivan Lazar Miljenovic [15]announced a new version of the graphviz library, which features various new features and small changes. Discussion Testing polymorphic properties with QuickCheck. Jean-Philippe Bernardy [16]gave an excellent overview about how to use QuickCheck to test polymorphic properties. Designing a DSL? Gunther Schmidt [17]asked about different methods employed for designing a DSL. DSL and GUI Toolkits. Gunther Schmidt [18]also asked about different DSLs for working with GUIs error on --++ bla bla bla. Hong Yang [19]asked about why '--++' wasn't being parsed in the way he thought it was. Haskell for Physicists. edgar [20]requested name suggestions for the talk he is giving about Physics and Haskell. Blog noise [21]Haskell news from the [22]blogosphere. Blog posts from people new to the Haskell community are marked with , be sure to welcome them! * Sean Leather: [23]'Extensibility and type safety in formatting: the design of xformat' at the Dutch HUG. * Martijn van Steenbergen: [24]let 5 = 6. * Lee Pike: [25]Writer's unblock. * Manuel M T Chakravarty: [26]NVIDIAs next generation GPU architecture has a lot for HPC to love. *
Re: [Haskell-cafe] Re: Haskell Weekly News
On Fri, Oct 09, 2009 at 05:46:15PM +0900, Benjamin L.Russell wrote: 2) Instead of posting separately to the Haskell and Haskell-Cafe mailing lists, it might be better to cross-post, since that way, readers using newsreaders can have the cross-posted article automatically marked read in the mailing list where it has not been read. That may be my fault -- I suggested to send out the HWN in separate mails to simplify the sending scripts. Ciao, Kili ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 131 - Semptember 25, 2009
On Sat, 26 Sep 2009 09:18:01 -0700 (PDT), Joe Fredette jfred...@gmail.com wrote: * ksf: (But if (on the other hand)) (I think only a number in general (whether it be five or a hundred)) (this thought is rather the representation of a method (whereby a multiplicity (for instance a thousand) may be represented (in an image in conformity with a certain concept)) than the image itself. * dekudekuplex: (Unfortunately (unless intentional)) the preceding (by ksf (in the Quotes of the Week section)) quote had mismatched (one too many opening) parentheses (although it was still funny (even though it could have been edited (to make the parentheses match (even though that is not an important issue. -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 107 - February 28, 2009
Brent Yorgey byor...@seas.upenn.edu wrote: lilac: haskell's learning curve is like this: | That's an understatement. cf http://www.eve-pirate.com/uploads/LearningCurve.jpg -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 93 - November 15, 2008
Brent Yorgey wrote: --- ANN: OpenGL with extra type safety. Neal Alexander Hopefully the code will be uploaded to Hackage as a separate package soon. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/OGL-0.0.0 http://haskell.org/haskellwiki/OGL ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 85 - September 13, 2008
On Sat, 13 Sep 2008 21:06:21 -0700, Daryoush Mehrtash [EMAIL PROTECTED] wrote: I have a newbie question Does theorem proofs have a use for an application? Take for example the IRC bot example ( http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed below. Is there any insight to be gained by theorem proofs (as in COQ) into the app? Yes. Basically, if you can prove that the program is correct, then you don't need to test it. While proofs can become very tedious for huge programs with many different kinds of control flow involving very complicated logic, if the program size can be shortened to a reasonable size, then proofs can help shorten development time. This was actually part of the motivation for developing Haskell as a pure functional programming language (i.e., one that prohibits side effects -- see http://www.haskell.org/haskellwiki/Functional_programming). It is generally easier to write proofs for pure functional programming languages than for impure ones. Theorem provers help to automate the process of writing proofs for programs. Djinn (see http://lambda-the-ultimate.org/node/1178) is an example of a theorem prover for Haskell. Given a (Haskell function), it returns a function of that type if one exists. Here is a sample Djinn session (courtesy of http://lambda-the-ultimate.org/node/1178): calvin% djinn Welcome to Djinn version 2005-12-11. Type :h to get help. # Djinn is interactive if not given any arguments. # Let's see if it can find the identity function. Djinn f ? a-a f :: a - a f x1 = x1 # Yes, that was easy. Let's try some tuple munging. Djinn sel ? ((a,b),(c,d)) - (b,c) sel :: ((a, b), (c, d)) - (b, c) sel ((_, v5), (v6, _)) = (v5, v6) # We can ask for the impossible, but then we get what we # deserve. Djinn cast ? a-b -- cast cannot be realized. # OK, let's be bold and try some functions that are tricky to write: # return, bind, and callCC in the continuation monad Djinn type C a = (a - r) - r Djinn returnC ? a - C a returnC :: a - C a returnC x1 x2 = x2 x1 Djinn bindC ? C a - (a - C b) - C b bindC :: C a - (a - C b) - C b bindC x1 x2 x3 = x1 (\ c15 - x2 c15 (\ c17 - x3 c17)) Djinn callCC ? ((a - C b) - C a) - C a callCC :: ((a - C b) - C a) - C a callCC x1 x2 = x1 (\ c15 _ - x2 c15) (\ c11 - x2 c11) # Well, poor Djinn has a sweaty brow after deducing the code # for callCC so we had better quit. Djinn :q Bye. Other theorem provers include COQ (see http://coq.inria.fr/) and Sparkle (see http://www.cs.ru.nl/Sparkle/) (a theorem prover for the alternative non-strict, purely function programming language Clean (see http://clean.cs.ru.nl/)). -- Benjamin L. Russell ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: Issue 85 - September 13, 2008
A more difficult question is: how do I know that the formal specification I've written for my program is the right one? Tools can fairly easily check that your programs conform to a given specification, but they cannot (to my knowledge) check that your specification says exactly what you want it to say. The key is *redundancy*: as long as your property is sufficiently different (in structure, in authorship, etc...) you can hope that if the spec has a bug, the code will not have a corresponding bug and vice versa. It's only a hope, tho. Stefan ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Haskell Weekly News: Issue 85 - September 13, 2008
On Mon, 15 Sep 2008 10:32:44 -0400 Stefan Monnier [EMAIL PROTECTED] wrote: A more difficult question is: how do I know that the formal specification I've written for my program is the right one? Tools can fairly easily check that your programs conform to a given specification, but they cannot (to my knowledge) check that your specification says exactly what you want it to say. The key is *redundancy*: as long as your property is sufficiently different (in structure, in authorship, etc...) you can hope that if the spec has a bug, the code will not have a corresponding bug and vice versa. It's only a hope, tho. There are other meta-level properties one might desire in a specification, too, such as: * Simplicity - if a specification is too long-winded, you might not spot a bug in it because it's too hard to read. * Definite description - if a specification is a definite description, it is satisfied by one and only one value (up to functional equivalence). For example, if I say that a list sorting function must preserve the length of its input, that's not a definite description, because it is satisfied by the identity function, as well as a correct sorting function. However, if I say (in a suitably formal way) that a sorting function must output a list where every element in the input occurs the same number of times in the output as it occurs in the input, and vice-versa, and the output is ordered according to the specified order - then that *is* a definite description, because any two functions that follow that specification must be equivalent. * Reusable (and perhaps reused!) - As in ordinary programming, reuse of specifications can help avoid errors. -- Robin ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Haskell Weekly News: January 02, 2007
Henning Thielemann lemming at henning-thielemann.de writes: On Tue, 2 Jan 2007, Donald Bruce Stewart wrote: Dimensional: Statically checked physical dimensions. Björn Buckwalter [4]announced version 0.1 of [5]Dimensional, a module for statically checked physical dimensions. The module facilitates calculations with physical quantities while statically preventing e.g. addition of quantities with differing physical dimensions. 4. http://article.gmane.org/gmane.comp.lang.haskell.general/14691 5. http://code.google.com/p/dimensional/ Henning, First, let me apologize for not answering earlier. I have been reluctant to subscribe to the café due to the volume of messages. Instead I tend to occasionally browse the archives. Needless to say your questions eluded me until now. The same is true for Mike Gunter's message[1] which I will respond to presently. How is it related to this one: http://www.haskell.org/haskellwiki/Dimensionalized_numbers ? I ashamedly admit that I am guilty of inventing my own wheel. I haven't looked too closely at Aaron's code but I believe there are some conceptual similarities. Regarding completeness user my library supports all seven base dimensions while Aaron's library currently supports only length and time (I believe it is meant as a proof of concept (toy example in his own words) rather than a complete library). My ambition is to provide a reasonably complete library. It should certainly be mentioned on http://www.haskell.org/haskellwiki/Physical_units http://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics#Physical_units I have added it to the above pages. Thanks, Björn Buckwalter [1] http://www.haskell.org/pipermail/haskell-cafe/2007-January/021069.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe