http://permalink.gmane.org/gmane.comp.lang.haskell.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.haskell.general/16288 I have just released hCsound v.2.0.0 (initial public release), a Haskell binding to the Csound audio processing language API. This release supports most of the functions in csound.h. Features from CppSound.cpp are not yet supported. Examples and (minimal) haddock documentation are included. I would appreciate hearing comments and suggestions from users. This package should build fairly easily on Linux and OS X; building on Windows is possible but may require tinkering. Windows users should contact me if they have any problems or questions. The source tarball is available on hackage at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hCsound The darcs repo is at http://mml.music.utexas.edu/jwlato/hCsound/ I would like to thank the C2HS developers and maintainers for their excellent tool and advice. John Lato John Lato 2008-07-06T01:23:32 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16287 On a newbie list, it's easier to remember to give more of a beginner's guide to tough topics - or to point out when 'teachers' should take it to -cafe. That's another good reason for such a list. I suspect a good many "why are things like this?" questions would be better handled somewhere like that, too. Philippa Cowderoy 2008-07-06T00:33:19 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16286 rather difficult, because beginner questions can easily spiral into curiosity about quite theoretical stuff, with no clear point of separation. And I'm not sure we want to avoid having that kind of curiosity, but I suppose it might always intimidate some newbies: a predicament I'm not sure we can solve by a mere technical measure of splitting up lists. when I was a newbie I was intimidated by the sheer volume of Haskell-Cafe, never mind whether I could understand it or not :-) but also the relatively few amount of beginner questions with beginner answers when looking in the list archives, probably made me less sure whether my questions would belong there. -Isaac Isaac Dupree 2008-07-06T00:26:43 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16285 Dear all, We are currently seeking a new Lecturer (Assistant Professor) in the Functional Programming Lab in Nottingham, a recently formed research group that comprises Thorsten Altenkirch, Graham Hutton, Henrik Nilsson, four research fellows, and eleven PhD students. Applications from the Haskell community are encouraged! The closing date for applications is Friday 15th August 2008. Best wishes, Graham +-----------------------------------------------------------------+ UNIVERSITY OF NOTTINGHAM School of Computer Science Lectureship in Functional Programming Applications are invited for the above post in the School of Computer Science. The successful candidate will be expected to participate in the School's teaching activities and contribute to research in the recently formed Functional Programming Laboratory. Candidates must hold a PhD or equivalent in a relevant subject, have an excellent publication record and the ability to teach at undergraduate and postgraduate level. It is desirable that c Graham Hutton 2008-07-05T08:37:44 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16284 Another concern might be that there currently isn't a lot of discussion about the first topic on the existing mailing lists. IMHO, this may make it unlikely that the list will gather critical mass to keep rolling. There's a ton of more specific lists at http://gmane.org/find.php?list=haskell , yet almost none have any volume to speak of, the exception is highly specialized lists where people in the know (ghc developers, summer of code particpants) subscribe. As for beginners, there are occasional beginner questions on haskell-cafe, but not in such volume that it is detrimental to the existing lists. I'm not so worried about old-timers not subscribing to it (you all seem pretty service minded), but I worry that we'll just keep polluting existing lists with messages telling people to repost their question to haskell-beginners instead. IMHO, we might as well just use the existing lists for both of these. If the perceived problem is the high-brow stuff scaring newbies off, it's better to add a new list f Ketil Malde 2008-07-04T10:51:09 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16283 My main concern here is that the remit for the new list is not clear enough. I can see a potential need for two lists: * a list for discussion related to teaching Haskell; * a list devoted to those learning Haskell, with a less research- oriented feel than haskell-cafe. it's not obvious to me that both of those needs should be served by a single list. I believe it's important that the mailing lists served by haskell.org should have clear non-overlapping topics. So I suggest that we add haskell-edu for the purposes of discussing the use and teaching of Haskell in education. For the second point above, I'd be inclined not to add a new list, but I don't feel that strongly - if there's a concensus in favour of adding haskell-beginners (for example), that would be fine. Cheers, Simon Simon Marlow 2008-07-04T09:40:17 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16282 Benjamin L. Russell: The Haskell community seems to be growing quickly and clearly becomes more diverse. So, a mailing list aimed at users with less experience and/or a non-computing, non-math background makes sense to me. Whether you will be able to gather a critical mass of knowledgeable people who are happy to answer questions on the list is hard to answer without trying your idea. But mailing lists are cheap. So, I'd say, let's give it a try and see whether it works. In any case, it'd be important to describe the purpose of the list at http://www.haskell.org/haskellwiki/Mailing_lists properly to make clear which discussions should go to which list. Manuel Manuel M T Chakravarty 2008-07-04T02:29:48 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16279 _______________________________________________ Haskell mailing list Haskell< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell Paul Hudak 2008-07-02T13:57:40 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16278 I would certainly join such a list. My only concer would be that moderating such a list could be tricky. How do you judge when a discussion has become "too technical"? And what do you do about it? Force the members to take it to -cafe? Anyway, I like the idea of having a more beginner-friendly list, and have suggested something similar for the IRC channel multiple times. On Wed, Jul 2, 2008 at 3:39 AM, Benjamin L. Russell <dekudekuplex< at >yahoo.com> wrote: Andrew Wagner 2008-07-02T13:14:18 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16277 On Jul 1, 2008, at 1:37 PM, Benjamin L. Russell wrote: Hi all, I am all for a separate channel or resource for beginners in Haskell. I can imagine that even the run-of-the-mill discussions in the existing venues will scare them off. It might also be a good place for educators and students to talk about their experiences in teaching and being taught Haskell. E.g., what kind of assignments work, which don't. Also it will give me a venue to bring Helium to the attention of these beginners and their educators. I am currently bringing the Helium compiler up to speed (but this is not a formal announcement). However, if you simply cannot wait, set your browser to http://www.cs.uu.nl/wiki/Helium . cheers, Jur jur 2008-07-02T10:59:52 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16276 Just one nit to pick: AFAIK Haskell's type system is _way_ beyond simply typed lambda calculus, and is closer to system F (experts can weigh in here). Not that this invalidates any of your other points. Also, I surmise that a big reason Scheme went the strict route is that it made it much easier to handle side-effecting computations. Mike Benjamin L.Russell wrote: Michael Vanier 2008-07-02T09:49:57 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16275 On Wed, 02 Jul 2008 00:58:08 -0700, Michael Vanier <mvanier< at >cs.caltech.edu> wrote: Thank you for your response. It is interesting that you should mention PLT Scheme in particular, because my idea was actually indirectly influenced by the education-oriented culture on the plt-scheme mailing list, where I also participate. I use both Hugs (in addition to GHC) and DrScheme frequently in studying Haskell and Scheme, and often write equivalent programs in both Haskell and Scheme. The two main functional programming languages that I studied in college were Scheme and Haskell as well. Having seen the usefulness of Scheme in studying programming as part of a liberal arts education there, I wondered whether Haskell could not also fulfill this role. I saw no reason that it couldn't. However, over the last six months or so, I noticed that the same kind of beginner-level questions on both languages tended to generate quite different responses on plt-scheme and haskell-cafe. Most of the people there are educator Benjamin L. Russell 2008-07-02T09:34:06 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16274 FYI there is precedent for this kind of thing in the functional programming world. PLT Scheme has a Scheme mailing list and also a Scheme-in-education mailing list, which tackles the problems of trying to teach Scheme to new programmers. If you start such a mailing list for Haskell, I'd like to be on it. Mike Benjamin L. Russell wrote: Michael Vanier 2008-07-02T07:58:08 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16273 So far, I have received three positive responses on starting the new Haskell-Edu mailing list, and no negative responses. In the latest response, the respondent suggested that I post another message to this mailing list advising readers on how to react. Basically, the Haskell.org mailing list administrator, Simon Marlow, had originally suggested that I ask for feedback on my idea from this mailing list, and wait for the discussion to proceed to Haskell-Cafe, so for those interested in this idea, please respond either in this thread or, after a few rounds, in Haskell-Cafe on whether you agree, disagree, feel neutral, or have mixed feelings regarding this idea. In any case, as the above-mentioned respondent suggested, rapid responses to questions on the new mailing list will probably prove vital to keeping it alive. Participation by educators using Haskell, once Haskell-Edu is started, would be most welcome. Please post your responses initially in this thread. After a few rounds, this discussion will pro Benjamin L. Russell 2008-07-02T07:39:39 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16272 Anglo Haskell is a gathering of all people Haskell-related from beginners, to seasoned hackers to academic giants. All and more are welcomed by large fuzzy green lambdas. Anglo Haskell has happened for the last two years and we see no reason why it should not happen again this year. For the last two years they've tended to have talks on Fridays and then Other Things on the Saturday (including Punting and Group Hacking, some or more of which may have happened in Pubs). We're proposing the same general format this year. In contrast to the last two years which have been held at MSR Cambridge (UK), we're this year proposing to hold the event at Imperial College, London. London is probably easier to get to and from (though more tedious to get across) than Cambridge and we hope this will attract people who previously have not been able to get out to Cambridge. The proposed dates are Friday the 8th and Saturday the 9th of August. More details are available on the wikipage: http://www.haskell.org/haskellwiki/Ang Matthew Sackman 2008-07-01T12:15:32 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16271 I am interested in starting a new mailing list on Haskell.org, aimed mainly at liberal arts teachers and elementary-level learners of Haskell, called "Haskell-Edu: The Haskell Educational Mailing List." This new mailing list would be guided by the principle that Haskell is useful not just in research, but also in teaching programming as part of a liberal arts education, on a par with Scheme. When I suggested the idea of this mailing list to Simon Marlow, the Haskell.org mailing list administrator, he suggested that I post this idea on The Haskell Mailing List, so I am posting it here to ask for feedback. The main purposes of this new (proposed) mailing list would be as follows: 1) To provide a primarily non-research-oriented discussion forum to serve the needs of users wishing to focus on the uses of Haskell in education, such as in high school and in introductory computer science college courses, as opposed to in research. 2) To provide a primarily non-research-oriented discussion forum to serve the ne Benjamin L. Russell 2008-07-01T11:37:00 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16269 After our workshop in Nottingham, are happy to announce a special issue of Fundamenta Informaticae on Dependently Typed Programming. We would like to welcome submissions from the Haskell community on type- directed programming, generic programming, programming with GADTs, and advanced type systems amongst other things. Call for Papers: Special Issue of Fundamenta Informaticae (http://fi.mimuw.edu.pl/) Dependently Typed Programming (http://sneezy.cs.nott.ac.uk/darcs/DTP08/journal.html) Editors: Thorsten Altenkirch (Nottingham) Tarmo Uustalu (Tallinn) Dependently typed programming is using the power of dependent types to capture relationships between data, internalising invariants necessary for appropriate computation. When data describe types, we can express patterns of programming in code. To capture this potential a number of languages have been proposed and implemented which incorporate some aspects of dependent types, e.g. Agda, ATS, Cayenn Wouter Swierstra 2008-06-30T11:15:46 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16267 _______________________________________________ Haskell mailing list Haskell< at >haskell.org http://www.haskell.org/mailman/listinfo/haskell tase08 2008-06-27T07:51:15 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16266 Hi all, I received below job opening. It might be of interest to some people on this list (formal methods, theorem provers, ...). The contact is rmgatto< at >rockwellcollins.com. Ciao, Janis. ================ www.rockwellcollins.com Quick RC facts: 2007 sales were $4.42 billion and we have 20,000 employees in 60 locations in 27 different countries. www.rockwellcollins.com AUT0000000O- Sr Systems Engineer This position is for a computer scientist or engineer to develop and apply automated analysis to computer systems and to pursue research in formal methods and automated reasoning. Ongoing investigations apply automated reasoning tools to validate hardware, firmware, and software of systems with critical security and/or safety functionality. The position is within a research group that is improving both the state of the art and the state of the practice for the development of high assurance systems. Candidates must have excellent communication skills and the ability to work in a team environment. Candida Janis Voigtlaender 2008-06-26T06:59:50 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16265 [Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2008 CALL FOR PAPERS ##################################################################### 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-08) December 9-12, 2008, Sydney, Australia Official Site: http://datamining.it.uts.edu.au/wi08/html/iat/ Mirror Site: http://www.maebashi-it.org/wi-iat08/iat08/index.html Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ################################################################## # (Papers Due: *** 10 July 2008 *** # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press, which are indexed by EI. ################################################################## IAT 2008 provides a leading international forum to bring together researchers WI-IAT'08 2008-06-26T02:32:00 http://permalink.gmane.org/gmane.comp.lang.haskell.general/16263 ICFP 2008 poster session September 21, 2008 Call for presentation proposals ICFP 2008 will feature a poster session for researchers and practitioners, including students. The session will provide friendly feedback for work that is in gestation or ongoing, as well as opportunities to meet each other and exchange ideas. We welcome poster submissions on all ICFP topics, especially presentations of - applications of and to functional programming; - recent work presented at more distant venues; and - ongoing work, whether or not submitted to ICFP. There will be no formal proceedings, but presenters will be invited to submit working notes, demo code, and other materials to supplement their abstract and poster. These materials will be released informally on a Web page dedicated to the poster session. An accepted submission is not intended to replace conference or journal publication. Persons interested in presenting a poster are invited to submit a one-page abstract in SIGPLAN conference style htt Matthew Fluet (ICFP Publicity Chair 2008-06-25T14:01:03 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.general