- Haskell - Haskell.org

Summer School on Functional Programming for Parallel and Concurrent Applications
by Andres Löh 01 Mar '12

01 Mar '12

[Sending on behalf of Francesco Zappa Nardelli.] Dear all, I am happy to annouce the CEA-EDF-INRIA summer school on FUNCTIONAL PROGRAMMING FOR PARALLEL AND CONCURRENT APPLICATIONS 11-22 June 2012, Castle of Cadarache, Saint Paul Lez Durance, France http://www-hpc.cea.fr/SummerSchools2012-CS.htm Objectives The aim of the summer school is to give a thorough and application- oriented introduction to functional programming using the programming language Haskell. A special focus is on parallel and concurrent programming, highlighting the ways in which features such as strong typing and purity make it dramatically easier to write reliable parallel or concurrent code. The school is split into three different courses that highlight different aspects of functional programming. All courses consist of lectures and hands-on sessions where everyone can try out the language on several exercises. Public This school is a 2 weeks course for engineers, and for students and researchers. Participants should be familiar with programming (e.g. in C or Java), but the school will be self-contained and no preliminary knowledge of functional programing is required. Speakers Ralf Hinze (Oxford University) Andres Löh (Well-Typed) Simon Marlow (Microsoft Research) Talks (to be confirmed) Joe Armstrong, Mark Shinwell, Anil Madhavapeddy. Registration and contact: The deadline for registration is May 30, 2012. Please contact: Régis Vizet - CEA regis.vizet (at) cea.fr tel: 0033 1 69 26 47 45 for further informations. Best regards Francesco Zappa Nardelli

2 1

CFP: Workshop on Generic Programming 2012
by Andres Loeh 29 Feb '12

29 Feb '12

====================================================================== CALL FOR PAPERS WGP 2012 8th ACM SIGPLAN Workshop on Generic Programming Copenhagen, Denmark Sunday, September 9th, 2012 http://www.wgp-sigplan.org/2012 Co-located with the International Conference on Functional Programming (ICFP 2012) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- Anya Helene Bagge, University of Bergen Jacques Carette, McMaster University Manuel Chakravarty, University of New South Wales Ronald Garcia (co-chair), University of British Columbia Jacques Garrigue, Nagoya University Andy Gill, University of Kansas Douglas Gregor, Apple Andrew Kennedy, Microsoft Research Cambridge Neelakantan Krishnaswami, Max Planck Institute for Software Systems Andres Löh (co-chair), Well-Typed LLP Zoltan Porkolab, Eötvös Loránd University Chung-chieh Shan, University of Tsukuba Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights (http://www.acm.org/publications/policies/copyright_policy) Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Submission details ------------------ Deadline for submission: Friday 2012-06-01 Notification of acceptance: Wednesday 2012-06-27 Final submission due: Tuesday 2012-07-10 Workshop: Sunday 2012-09-09 Papers should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=wgp2012 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). The length is restricted to 12 pages. Travel Support -------------- Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://www.sigplan.org/PAC.htm) History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Tokyo, Japan 2011 (affiliated with ICFP11), * Baltimore, Maryland, US 2010 (affiliated with ICFP10), * Edinburgh, UK 2009 (affiliated with ICFP09), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- Patrik Jansson (chair) Sibylle Schupp Bruno Oliveira Marcin Zalewski Jaako Järvi Shin-Cheng Mu Jeremy Gibbons Magne Haveraaen Tim Sheard -- Andres Loeh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com

1 0

CFP: HOR 2012 in Nagoya, Japan
by Makoto Hamana 28 Feb '12

28 Feb '12

===================================================================== Call for papers 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. The following is a non-exhaustive list of topics for the workshop: * Applications: proof checking, type checking, theorem proving, functional programming, declarative programming, program transformation, using some notions of higher-order rewriting. * Foundations: pattern matching, unification, strategies, termination, syntactic properties, type theory, for higher-order rewriting. * Frameworks: graph rewriting, net rewriting, comparisons of different formats. * Implementation: explicit substitution, rewriting tools, compilation techniques. * Semantics: semantics of higher-order rewriting, higher-order abstract syntax, categorical rewriting. Important dates --------------- Paper submission: March 19, 2012 Notification: April 20, 2012 Final version: May 10, 2012 Workshop: June 2, 2012 Submissions ----------- Two categories of papers are solicited: - Category A: Extended abstracts of new results, describing work in progress, or problems in higher-order rewriting. - Category B: Short versions of recently published or submitted elsewhere articles on higher-order rewriting. Papers in this category are for presentation only, and not considered as candidates for the post-workshop proceedings. Papers in both categories should be between 2 and 5 pages, and should note the category (either A or B). Papers are formatted according to EPTCS style, and submitted electronically via the EasyChair submission website. Papers will be judged on relevance, originality, correctness and usefulness. Please address your questions to the PC chair: hamana at cs.gunma-u.ac.jp. Proceedings ----------- The proceedings of HOR 2012 will be made available on the HOR 2012 web page, and a printed version will be distributed at the workshop. Post-workshop proceedings of extended abstracts of selected contributions is planned to be published as a volume of EPTCS. Program Committee ------------------- Andreas Abel (Ludwig-Maximilians-University Munich, Germany) Frederic Blanqui (INRIA, France) Makoto Hamana (Gunma University, Japan) (chair) Stefan Kahrs (University of Kent, UK) Fer-Jan de Vries (University of Leicester, UK) Program and Organizing Chair ---------------------------- Makoto Hamana (Gunma University, Japan)

1 0

ANN: shelltestrunner-1.2
by Simon Michael 26 Feb '12

26 Feb '12

I'm pleased to announce the release of shelltestrunner 1.2. Also, in case you missed it there's a survey where you can help steer the project (below). shelltestrunner tests command-line programs (or arbitrary shell commands.) It reads simple declarative tests specifying a command, some input, and the expected output, and can run them run in parallel, selectively, with a timeout, in color, and/or with differences highlighted. shelltestrunner has been tested on gnu/linux, mac and windows; projects using it include hledger, berp, cblrepo and eddie. shelltestrunner is free software released under GPLv3+. New in 1.2: * support latest cmdargs, test-framework, and GHC 7.4. * more readable non-quoted failure output by default; for quoted output, use `-p/--precise` * the `--all`, `--diff` and `--precise` options now interact well Install: $ cabal install shelltestrunner Home: http://joyful.com/shelltestrunner User survey: https://docs.google.com/spreadsheet/viewform?formkey=dGpZSzdhWHlCUkJpR2hjX1… One confession: I've shipped with failing unicode tests on GHC 7.4 as I can't see unicode on this terminal - patch welcome!

1 0

Call for Journal Papers: STVR Special Issue on Tests and Proofs
by Achim D. Brucker 25 Feb '12

25 Feb '12

Apologies for duplicates. CALL FOR PAPERS STVR Special Issue on Tests and Proofs http://lifc.univ-fcomte.fr/tap2012/stvr/ The Software Testing, Verification & Reliability (STVR) journal (http://www3.interscience.wiley.com/journal/13635/home) invites authors to submit papers to a Special Issue on Tests and Proofs. Background ========== The increasing use of software and the growing system complexity make focused software testing a challenging task. Recent years have seen an increasing industrial and academic interest in the use of static and dynamic analysis techniques together. Success has been reported combining different test techniques such as model-based testing, structural testing, or concolic testing with static techniques such as program slicing, dependencies analysis, model-checking, abstract interpretation, predicate abstraction, or verification. This special issue serves as a platform for researchers and practitioners to present theory, results, experience and advances in Tests and Proofs (TAP). Topics ====== This special issue focuses on all topics relevant to TAP. In particular, the topics of interest include, but are not limited to: * Program proving with the aid of testing techniques * New challenges in automated reasoning emerging from specificities of test generation * Verification and testing techniques combining proofs and tests * Generation of test data, oracles, or preambles by deductive techniques such as: theorem proving, model checking, symbolic execution, constraint logic programming, SAT and SMT solving * Model-based testing and verification * Automatic bug finding * Debugging of programs combining static and dynamic analysis * Transfer of concepts from testing to proving (e.g., coverage criteria) and from proving to testing * Formal frameworks for test and proof * Tool descriptions, experience reports and evaluation of test and proof * Case studies combining tests and proofs * Applying combination of test and proof techniques to new application domains such as validating security procotols or vulnerability detection of programs * The processes, techniques, and tools that support test and proof Submission Information ====================== The deadline for submissions is 17th December, 2012. Notification of decisions will be given by April 15th, 2013. All submissions must contain original unpublished work not being considered for publication elsewhere. Original extensions to conference papers - identifing clearly additional contributions - are also encouraged unless prohibited by copyright. Submissions will be refereed according to standard procedures for Software Testing, Verification and Reliability. Please submit your paper electronically using the Software Testing, Verification & Reliability manuscript submission site. Select "Special Issue Paper" and enter "Tests and Proofs" as title. Important Dates: ================ * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors ============= * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http://www.linkedin.com/in/wgrieskamp * Jacques Julliand, University of Franche-Comté, France http://lifc.univ-fcomte.fr/page_personnelle/accueil/8 -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch

1 0

SURVEY: hledger, shelltestrunner, rss2irc, FunGEn usage 2012
by Simon Michael 24 Feb '12

24 Feb '12

Hey all, I'm gathering usage data on my main FOSS projects, to help me prioritize and steer them. I've prepared a short survey, 10 optional questions that should take 1-5 minutes per project. If you use any of these projects and/or would like them to continue, you can help a lot by adding your experience to: hledger: https://docs.google.com/spreadsheet/viewform?formkey=dHVGUHBXRUhRNWF3Y2RsZG… shelltestrunner: https://docs.google.com/spreadsheet/viewform?formkey=dGpZSzdhWHlCUkJpR2hjX1… rss2irc (& hackagebot): https://docs.google.com/spreadsheet/viewform?formkey=dFhhLWZrZ3l4elFYa3M1Zm… FunGEn: https://docs.google.com/spreadsheet/viewform?formkey=dFN5dllFTGFFU3ZhclcxWT… Don't hold back! Honest critique welcome. You'll see a summary report after submitting your answers, and before long I'll follow up with the urls for full results. Note that contact info will be public, except that I'll keep email addresses private. It's optional but at least a little is quite useful in several ways. I made the survey generic, so feel free to re-use it. Best, -Simon

1 1

CUFP 2012: Call for Presentations
by Stefan Wehr 24 Feb '12

24 Feb '12

COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012 CUFP 2012 http://cufp.org/conference CALL FOR PRESENTATIONS Copenhagen, Denmark Sep 13-15 Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 29 June 2012 The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk ================== If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We're looking for two kinds of talks: Experience reports are typically 25 minutes long, and aim to inform participants about how functional programming plays out in real-world applications, focusing especially on lessons learned and insights gained. Experience reports don't need to be highly technical; reflections on the commercial, management, or software engineering aspects are, if anything, more important. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. If you are interested in offering a talk, or nominating someone to do so, send an e-mail to sperber(at)deinprogramm(dot)de or avsm2(at)cl(dot)cam(dot)ac(dot)uk by 29 June 2012 with a short description of what you'd like to talk about or what you think your nominee should give a talk about. Such descriptions should be about one page long. There will be a short scribes report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more a discussion forum than a technical interchange. You do not need to submit a paper, just a proposal for your talk! Program Committee ================= Mike Sperber (Active Group), co-chair Anil Madhavapeddy (University of Cambridge), co-chair Ashish Agarwal (New York University) Thomas Arts (QuviQ AB) Chris Houser (LonoCloud) Tomas Petricek (University of Cambridge) Heiko Seeberger (Typesafe) Stefan Wehr (factis research) Noel Welsh (untyped) More information ================ For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Presentations will be video taped and presenters will be expected to sign an ACM copyright release form. Acceptance and rejection letters will be sent out by July 16th. Guidance on giving a great CUFP talk ==================================== Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well established in some areas, including formal verification, financial processing and server-side web-services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large software development in the absence of a myriad of pre-existing support that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also spend time on what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly.

1 0

ANN: cabal-file-th-0.2.2
by Simon Michael 23 Feb '12

23 Feb '12

I have uploaded a new version of cabal-file-th which bumps the Cabal upper bound to avoid difficulties with GHC 7.4. Best - Simon

1 0

ANNOUNCE: Disciple Core Interpreter 0.2.1
by Ben Lippmeier 23 Feb '12

23 Feb '12

The Disciplined Disciple Compiler (DDC) is being stripped down, cleaned and rebuilt with 100% less known bugs and unfortunate holes. The first pieces are now ready for human consumption, namely a new core language and interpreter for it. There is a tutorial including Hackage links here: http://disciple.ouroborus.net/wiki/Tutorial/Core Read more about the project on the wiki: http://disciple.ouroborus.net/ Cheers, Ben.

1 0

Haskell Weekly News: Issue 216
by Daniel Santa Cruz 23 Feb '12

23 Feb '12

Welcome to issue 216 of the HWN, a newsletter covering crowdsourced links for the Haskell community. This release covers the week of February 12 to 18, 2012. You can find the HTML version at: http://contemplatecode.blogspot.com/2012/02/haskell-weekly-news-issue-216.h… Quotes of the Week * monochrom: the selfish program's motive is to fool the programmer * WilliamByrd: Oleg is an emissary from some advanced alien race. Working with him is both exhausting and enlightening. * CodeWeaverX: do-block, or do-not-block. There is no try-catch-block. Top Reddit Stories * Where is Hackage 2.0? Domain: self.haskell, Score: 66, Comments: 42 On Reddit: [1] http://goo.gl/uXq10 Original: [2] http://goo.gl/uXq10 * Haskell Performance Patters [HTML slideshow] Domain: blog.johantibell.com, Score: 52, Comments: 13 On Reddit: [3] http://goo.gl/Y5tCb Original: [4] http://goo.gl/T9zZI * Concatenative, Row-Polymorphic Programming in Haskell (re: Why Concatenative Programming Matters) Domain: github.com, Score: 41, Comments: 21 On Reddit: [5] http://goo.gl/0w83b Original: [6] http://goo.gl/aw22p * Neil Mitchell - Shake: A Better Make Domain: neilmitchell.blogspot.com, Score: 37, Comments: 7 On Reddit: [7] http://goo.gl/MeFQ1 Original: [8] http://goo.gl/4HM0d * Why concatenative programming matters. Domain: evincarofautumn.blogspot.com, Score: 37, Comments: 23 On Reddit: [9] http://goo.gl/Udpdt Original: [10] http://goo.gl/VvUvt * GSOC 2012 Project Proposal - GHCi in the web browser Domain: apfelmus.nfshost.com, Score: 36, Comments: 34 On Reddit: [11] http://goo.gl/KS6d8 Original: [12] http://goo.gl/epgTZ * Yesod Blog :: Call for GSoC: expand the reach of Haskell with interactive websites and good persistence Domain: yesodweb.com, Score: 31, Comments: 20 On Reddit: [13] http://goo.gl/1HQ9d Original: [14] http://goo.gl/bxKIC * hxournal - A pen notetaking program written in Haskell Domain: ianwookim.org, Score: 25, Comments: 16 On Reddit: [15] http://goo.gl/4UG5E Original: [16] http://goo.gl/kQOMh * Type checking by theorem proving in IDRIS: Brady [pdf, 29 slides] Domain: cs.st-andrews.ac.uk, Score: 25, Comments: 33 On Reddit: [17] http://goo.gl/qAD5L Original: [18] http://goo.gl/mhdlC * Using Lawvere theories to combine effects Domain: blog.sigfpe.com, Score: 24, Comments: 0 On Reddit: [19] http://goo.gl/4IHq7 Original: [20] http://goo.gl/QS1aO * BayHac '12 Domain: haskell.org, Score: 23, Comments: 0 On Reddit: [21] http://goo.gl/nuxUm Original: [22] http://goo.gl/NCQGy * Hope for Haskell: making Hackage and cabal-install more awesome Domain: github.com, Score: 22, Comments: 23 On Reddit: [23] http://goo.gl/E9MmZ Original: [24] http://goo.gl/sLpkp * Thoughts on Haskell Development Domain: self.haskell, Score: 21, Comments: 77 On Reddit: [25] http://goo.gl/Qdt4b Original: [26] http://goo.gl/Qdt4b * Relating Category Theory to Programming Language Theory - MathOverflow Domain: mathoverflow.net, Score: 21, Comments: 1 On Reddit: [27] http://goo.gl/wA9E2 Original: [28] http://goo.gl/6Ox5n * The Other Prelude — any activity here? It seems like a worthwhile project. Domain: haskell.org, Score: 18, Comments: 13 On Reddit: [29] http://goo.gl/j94fj Original: [30] http://goo.gl/kwGCm Top StackOverflow Questions * Covariance / Contravariance in Haskell? votes: 24, answers: 2 Read on SO: [31] http://goo.gl/wBjaP * Haskell for someone who already knows some category theory votes: 17, answers: 1 Read on SO: [32] http://goo.gl/ms4dE * Haskell libraries overview and their quality [closed] votes: 16, answers: 1 Read on SO: [33] http://goo.gl/H3Rwg * Haskell existential quantification in detail votes: 12, answers: 1 Read on SO: [34] http://goo.gl/uiJZG * Derivative Towers and how to use the vector-space package (haskell) votes: 11, answers: 1 Read on SO: [35] http://goo.gl/lkPEl * Why doesn't Scala have an IO Monad? votes: 10, answers: 1 Read on SO: [36] http://goo.gl/dyTte * How to let a function [a] -> [a] operate on [(a,Int)]? votes: 9, answers: 2 Read on SO: [37] http://goo.gl/Js3As * Speed up runhaskell votes: 9, answers: 4 Read on SO: [38] http://goo.gl/yc3qo * Unnecessary type juggling to define Data.Void (package “void” on Hackage)? votes: 8, answers: 1 Read on SO: [39] http://goo.gl/FCmyv * Lazy vs eager evaluation and double linked list building votes: 8, answers: 3 Read on SO: [40] http://goo.gl/Z55Og Until next time, Daniel Santa Cruz References 1. http://www.reddit.com/r/haskell/comments/pn2oh/where_is_hackage_20/ 2. http://www.reddit.com/r/haskell/comments/pn2oh/where_is_hackage_20/ 3. http://blog.johantibell.com/2012/02/slides-from-haskell-performance.html 4. http://www.reddit.com/r/haskell/comments/pry5h/haskell_performance_patters_… 5. https://github.com/leonidas/codeblog/blob/master/2012/2012-02-17-concatenat… 6. http://www.reddit.com/r/haskell/comments/ptji8/concatenative_rowpolymorphic… 7. http://neilmitchell.blogspot.com/2012/02/shake-better-make.html 8. http://www.reddit.com/r/haskell/comments/plv2b/neil_mitchell_shake_a_better… 9. http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-m… 10. http://www.reddit.com/r/haskell/comments/pmcav/why_concatenative_programmin… 11. http://apfelmus.nfshost.com/blog/2012/02/14-summer-of-code-proposal.html 12. http://www.reddit.com/r/haskell/comments/ppdgq/gsoc_2012_project_proposal_g… 13. http://www.yesodweb.com/blog/2012/02/call-for-gsoc-2012 14. http://www.reddit.com/r/haskell/comments/pqudh/yesod_blog_call_for_gsoc_exp… 15. http://ianwookim.org/hxournal 16. http://www.reddit.com/r/haskell/comments/por66/hxournal_a_pen_notetaking_pr… 17. http://www.cs.st-andrews.ac.uk/~eb/writings/idris-stp.pdf 18. http://www.reddit.com/r/haskell/comments/pp6i3/type_checking_by_theorem_pro… 19. http://blog.sigfpe.com/2012/02/using-lawvere-theories-to-combine.html 20. http://www.reddit.com/r/haskell/comments/pm46y/using_lawvere_theories_to_co… 21. http://www.haskell.org/haskellwiki/BayHac2012 22. http://www.reddit.com/r/haskell/comments/puzxx/bayhac_12/ 23. https://github.com/DanBurton/Blog/blob/master/Markdown/Hope.md 24. http://www.reddit.com/r/haskell/comments/pswbp/hope_for_haskell_making_hack… 25. http://www.reddit.com/r/haskell/comments/ppf7p/thoughts_on_haskell_developm… 26. http://www.reddit.com/r/haskell/comments/ppf7p/thoughts_on_haskell_developm… 27. http://mathoverflow.net/questions/4235/relating-category-theory-to-programm… 28. http://www.reddit.com/r/haskell/comments/put1g/relating_category_theory_to_… 29. http://www.haskell.org/haskellwiki/The_Other_Prelude 30. http://www.reddit.com/r/haskell/comments/ppwst/the_other_prelude_any_activi… 31. http://stackoverflow.com/questions/9302739/covariance-contravariance-in-has… 32. http://stackoverflow.com/questions/9252488/haskell-for-someone-who-already-… 33. http://stackoverflow.com/questions/9286799/haskell-libraries-overview-and-t… 34. http://stackoverflow.com/questions/9259921/haskell-existential-quantificati… 35. http://stackoverflow.com/questions/9313994/derivative-towers-and-how-to-use… 36. http://stackoverflow.com/questions/9345008/why-doesnt-scala-have-an-io-monad 37. http://stackoverflow.com/questions/9324862/how-to-let-a-function-a-a-operat… 38. http://stackoverflow.com/questions/9326097/speed-up-runhaskell 39. http://stackoverflow.com/questions/9261490/unnecessary-type-juggling-to-def… 40. http://stackoverflow.com/questions/9277176/lazy-vs-eager-evaluation-and-dou…

1 0