Re: [Haskell] wxHaskell for GHC 6.6 and wxWidget 2.6.2
Thank you so much Eric. That helps a lot!On 10/29/06, Eric Y. Kow <[EMAIL PROTECTED]> wrote: On Sun, Oct 29, 2006 at 22:04:44 -0800, Sukit Tretriluxana wrote:> I saw someone posting a comment (http://sequence.complete.org/node/214)> about the build of wxHaskell for GHC 6.6 and wxWidget 2.6.2 but it's not> currently hosted anywhere yet. Does anyone know where can I get the Windows> binary build of it for the time being?There is a build for GHC 6.6 and wxWidgets 2.4.2 on shelarchy'sKamiariduki project (note the older wxWidgets): https://sourceforge.net/project/showfiles.php?group_id=168626Otherwise, there is a darcs repository at http://darcs.haskell.org/wxhaskellThe patches to make it compile for GHC 6.6 (sans jumping through hoops)haven't made it in yet, and for some reason, sourceforge isn't archiving our recent messages. But I can send them to you if you want to try yourhand at compiling.--Eric Kow http://www.loria.fr/~kowPGP Key ID: 08AC04F9 Merci de corriger mon français. ___Haskell mailing listHaskell@haskell.orghttp://www.haskell.org/mailman/listinfo/haskell ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Haskell Weekly News: November 08, 2006
--- Haskell Weekly News http://haskell.org/haskellwiki/HWN Issue 48 - November 08, 2006 --- Welcome to issue 48 of HWN, a weekly newsletter covering developments in the Haskell community. Announcements * SmallCheck 0.2. Colin Runciman [1]announced that SmallCheck 0.2, a lightweight testing library for Haskell, is out, and can be [2]obtained. Since version 0.1: there's now a choice of interactive or non-interactive test-drivers using iterative deepening; more pre-defined test-data generators, including revised Int, Integer, Float, Double, Nat and Natural and additional examples. SmallCheck is similar to QuickCheck but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used. 1. http://article.gmane.org/gmane.comp.lang.haskell.general/14461 2. http://www.cs.york.ac.uk/fp/smallcheck0.2.tar * Hoogle Command Line 3 Beta. Neil Mitchell [3]released Hoogle Command Line version 3 Beta, an alternative to [4]the Hoogle website. Hoogle lets you search for Haskell functions by name and by type signature. 3. http://article.gmane.org/gmane.comp.lang.haskell.general/14464 4. http://haskell.org/hoogle * The Monad.Reader. Wouter Swierstra [5]issued a call for submissions for articles for the next issue of [6]The Monad.Reader. There are a large number of conferences and journals that accept research papers related to Haskell; unfortunately, the platform for non-academic publications is far less developed. This is where The Monad.Reader fits in. So if you are tossing around some ideas, write it up, and submit! Deadline for submissions is January 19th, 2007. 5. http://article.gmane.org/gmane.comp.lang.haskell.general/14449 6. http://www.haskell.org/haskellwiki/TheMonadReader * Haskell Communities and Activities Report. Andres Loeh [7]reminded us that the deadline for the November 2006 edition of the Haskell Communities and Activities Report is now! -- there may still be just enough time to make sure that the report contains a section on *your* project, on the interesting stuff that you've been doing; using or affecting Haskell in some way. For more info see [8]the call for contributions. 7. http://article.gmane.org/gmane.comp.lang.haskell.general/14453 8. http://www.haskell.org/pipermail/haskell/2006-October/018646.html * HsMan. Frederik Eaton [9]announced hsman, a tool that indexes Haddock-generated HTML files, and allows users to search for functions and also GHC manual topics. 9. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/11153/focus=11153 * HaL, Haskell meeting in Leipzig. Johannes Waldmann [10]announced that a local Haskell meeting is to take place on December 5th in Leipzig, Germany. The meeting will be hosted by IBA Consulting. It will be quite informal, with some very short talks (most probably in German). Interessenten sind herzlich eingeladen. [11]Details and (free) registration. 10. http://article.gmane.org/gmane.comp.lang.haskell.general/14454 11. http://iba-cg.de/haskell.html Haskell' This section covers the [12]Haskell' standardisation process. * [13]Introduce lambda-match (explicit match failure and fall-through) * [14]Importing and exporting instance declarations * [15]Patches! 12. http://hackage.haskell.org/trac/haskell-prime 13. http://article.gmane.org/gmane.comp.lang.haskell.prime/1847 14. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1835/focus=1835 15. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1850/focus=1850 Libraries This week's proposals and extensions to the [16]standard libraries. * [17]unsafeShift operations for Data.Bits * [18]map* for Data.List * [19](*) `on` f = \x y -> f x * f y * [20]forkChild, waitForChild, parIO, timeout * [21]isLeft and isRight 16. http://haskell.org/haskellwiki/Library_submissions 17. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5569/focus=5569 18. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5552/focus=5552 19. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5519/focus=5519 20. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5488/focus=5488 21. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/5461/focus=5461 Discussion * The OI comonad. Sven Biedermann [22]invoked a discussion about the OI [23]comonad, and provided an example of a simple OI-comonad for stdin/stdout only, that preserves referential integrity. 22. http://threa
[Haskell] ANN: Hoogle Command Line 3 Beta
Hi, I am pleased to announce Hoogle Command Line version 3 Beta, an alternative to the Hoogle website (http://haskell.org/hoogle) If you don't know what Hoogle is, go to the website above and have a play - it searches for Haskell functions by name and by type signature. There are two versions of this release: * Cross platform source: http://haskell.org/hoogle/download/hoogle-cmdline-nov-2006-source.tar.gz * Windows binaries: http://haskell.org/hoogle/download/hoogle-cmdline-nov-2006-windows.zip This is intended as an intermediate release - Hoogle 4 is still under development and not ready for others to play with yet - but I accidentally broke the console version in the darcs repository. This should hopefully let people play with the hoogle command line until Hoogle 4 comes along. Thanks Neil ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] TASE 2007: 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
[We apologise for multiple copies.] TASE 2007 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering June 6 - 8, 2007, Shanghai, China http://www.sei.ecnu.edu.cn/TASE2007/ Call For Papers Submission Deadline: January 5, 2007 For more information e-mail: [EMAIL PROTECTED] The 1st IEEE & IFIP Theoretical Aspects of Software EngineeringConference (TASE 2007), sponsored by IFIP and IEEE, will be held inShanghai, China June 2007. Large scale software systems and Internet are of growing concern toacademia and industry. This poses new challenges to the variousaspects of software engineering, for instance, the reliability ofsoftware development, Web-oriented software architecture and Aspect& Object-orientation techniques. As a result, new concepts andmethodologies are required to enhance the development of softwareengineering from theoretical aspects. TASE 2007 is a forum forresearchers from academia, industry and government to present ideas,results, and ongoing research on theoretical advances in SoftwareEngineering. Topics of Interest:Authors are invited to submit manuscripts of original unpublishedresearch in all theoretical areas of software engineering(Requirements, Specification, Testing, Workflows, Architectures,Verification, Languages, and Logics). The topics of interestinclude, but are not limited to:* Requirements Engineering* Specification and Validation* Software Testing* Component-based Development* Model Checking for Software* Software Processes and Workflows* Software Frameworks and Middleware* Software Architectures and Design* Software safety and reliability* Reverse Engineering and Software Maintenance* Aspect and Objected �Corientation Techniques* Embedded and Real-time Software* Service-oriented Computing and Web Services* Model-driven Development* Coordination and Feature Interaction* Parallel and Distributed Computing* Logics of Programs* Program Analysis* Semantics and Design of Programming Languages* Type Theory Submission Guidelines:Authors should submit and register their paper through ourweb-interface at: http://www.sei.ecnu.edu.cn/TASE07/submit byJanuary 5, 2007(Web interface will be accessible after December1, 2006). Submissions must not have been published or be concurrentlyconsidered for publication elsewhere. All submissions will bereviewed by at least three members of the program committee. Theywill be judged on the basis of originality, contribution to thefield, technical and presentation quality, and relevance to theconference. The proceedings of the conference will be published bythe IEEE Computer Society Press. Papers must be written in Englishand not exceed 10 pages in IEEE format. Instructions for authors areavailable at http://computer.org/cspress/instruct.htm. Latexdocument classes can be downloaded from the website atftp://pubftp.computer.org/Press/Outgoing/proceedings/. Important Dates: * December 29, 2006: Title and abstract submission deadline * January 5, 2007: Paper submission deadline * February 22, 2007: Acceptance/rejection notification * March 23, 2007: Camera-ready version due * June 4-5, 2007: Tutorials * June 6-8, 2006: TASE 2007 Organization: General Chair: Michael Hinchey, NASA, USA Program Co-chairs: Jifeng He, East China Normal University, China Jeff Sanders, Oxford University, UK Steering Committee chair: Michael Hinchey, NASA, USA Publicity Chair(Asia): Naixiao Zhang, Peking University, China Publicity Chair(Europe,USA): Meng Sun, CWI, The Netherlands Local Organization Chair: Geguang Pu, East China Normal University, China Program Committee: Bernhard Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyzushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Jonathan Bowen (Museophile Limited, UK) Michael Butler (University of Southampton, UK) Ana Cavalcanti (University of York, UK) Jim Davies (Oxford University, UK) Geoff Dromey (Griffith University, Australia) Jin Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xi'dian University, China) Colin Fidge (Queensland University of Technology, Australia) Dieter Gollmann (Hamburg University of Technology, Germany) Ning Gu (Fudan University, China) Xuandong Li (Nanjing University, China) Jing Liu (East China Normal University, China) Kung-Kiu Lau (Manchester University, UK) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau, China) Tom Maibaum (McMaster University, Canada) Annabelle McIver (Macquarie Univ
[Haskell] GTTSE 2007 --- First call for participation (02-07 July 2007)
GTTSE 2007, 02-07 July, 2007, Braga, Portugal 2nd International Summer School on Generative and Transformational Techniques in Software Engineering http://www.di.uminho.pt/GTTSE2007 SCOPE AND FORMAT The summer school brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, meta-models, and documentation. This concerns many areas of software engineering: software reverse and re-engineering, model-driven approaches, automated software engineering, generic language technology, to name a few. These areas differ with regard to the specific sorts of meta-models (or grammars, schemas, formats etc.) that underlie the involved artifacts, and with regard to the specific techniques that are employed for the generation and the transformation of the artifacts. The tutorials are given by renowned representatives of complementary approaches and problem domains. Each tutorial combines foundations, methods, examples, and tool support. The program of the summer school also features invited technology presentations, which present setups for generative and transformational techniques. These presentations complement each other in terms of the chosen application domains, case studies, and the underlying concepts. The program of the school also features a participants workshop. All summer school material will be collected in proceedings that are handed out to the participants. Formal proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings of the first instance of the summer school (2005) are published as volume 4143 in the Lecture Notes in Computer Science series of Springer-Verlag. SUMMER SCHOOL CHAIRS * Ralf Lämmel (Program Chair), Microsoft Corp., Redmond, USA. * João Saraiva (Organizing Chair), Universidade do Minho, Braga, Portugal. * Joost Visser (Program Chair), Universidade do Minho, Braga, Portugal. ADDITIONAL INFORMATION For additional information on the program, venue, and other details of the summer school, please consult the web page: http://www.di.uminho.pt/GTTSE2007 Note that registration for the summer school will open in January 2007. Before that time, those who wish to be notified personally when registration opens are welcome to send an expression of interest to gttse2007 at di.uminho.pt. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
