April 2011 - Haskell - Haskell.org

Final CfP and Deadline Extension
by Herbert Kuchen 08 Apr '11

08 Apr '11

Final Call for Papers and Deadline Extension ============================================ 20th International Workshop on Functional and (Constraint) Logic Programming WFLP 2011 Odense, Denmark July 19, 2011 Co-located with PPDP 2011, LOPSTR 2011, AAIP 2011 The deadline has been extended to April 20, 2011. For details see: http://www.wi.uni-muenster.de/pi/konferenzen/wflp2011/wflp2011.htm

1 0

DSL 2011 - Last CFP
by Emilie Balland 08 Apr '11

08 Apr '11

=========================== Call for Papers ============================ DSL 2011: Conference on Domain-Specific Languages (IFIP sponsorship pending approval) 6-8 September 2011, Bordeaux, France http://dsl2011.bordeaux.inria.fr/ IMPORTANT DATES * 2011-04-18 : Abstracts due * 2011-04-25 : Submissions due * 2011-06-10 : Authors notified of decisions * 2011-07-11 : Final manuscripts due * 2011-09-05 : Distilled tutorials * 2011-09-06 / 2011-09-08 : Main conference CALL FOR PAPERS Domain-specific languages have long been a popular way to shorten the distance from ideas to products in software engineering. On one hand, the interface of a DSL lets domain experts express high-level concepts succinctly in familiar notation, such as grammars for text or scripts for animation, and often provides guarantees and tools that take advantage of the specifics of the domain to help write and maintain these particular programs. On the other hand, the implementation of a DSL can automate many tasks traditionally performed by a few experts to turn a specification into an executable, thus making this expertise available widely. Overall, a DSL thus mediates a collaboration between its users and implementers that results in software that is more usable, more portable, more reliable, and more understandable. These benefits of DSLs have been delivered in domains old and new, such as signal processing, data mining, and Web scripting. Widely known examples of DSLs include Matlab, Verilog, SQL, LINQ, HTML, OpenGL, Macromedia Director, Mathematica, Maple, AutoLisp/AutoCAD, XSLT, RPM, Make, lex/yacc, LaTeX, PostScript, and Excel. Despite these successes, the adoption of DSLs have been stunted by the lack of general tools and principles for developing, compiling, and verifying domain-specific programs. General support for building and using DSLs is thus urgently needed. Languages that straddle the line between the domain-specific and the general-purpose, such as Perl, Tcl/Tk, and JavaScript, suggest that such support be based on modern notions of language design and software engineering. The goal of this conference, following the last one in 2009, is to explore how present and future DSLs can fruitfully draw from and potentially enrich these notions. We seek research papers on the theory and practice of DSLs, including but not limited to the following topics. * Foundations, including semantics, formal methods, type theory, and complexity theory * Language design, including concrete syntax, semantics, and types * Software engineering, including domain analysis, software design, and round-trip engineering * Modularity and composability of DSLs * Software processes, including metrics for software and language evaluation * Implementation, including parsing, compiling, program generation, program analysis, transformation, optimization, and parallelization * Reverse engineering, re-engineering, design discovery, automated refactoring * Hardware/software codesign * Programming environments and tools, including visual languages, debuggers, testing, and verification * Teaching DSLs and the use of DSLs in teaching * Case studies in any domain, especially the general lessons they provide for DSL design and implementation The conference will include a visit to the city of Bordeaux, a tour and tasting at the wine museum and cellar, and a banquet at La Belle Époque. INSTRUCTIONS FOR AUTHORS Papers will be judged on the depth of their insight and the extent to which they translate specific experience into general lessons for software engineers and DSL designers and implementers. Where appropriate, papers should refer to actual languages, tools, and techniques, provide pointers to full definitions, proofs, and implementations, and include empirical results. Proceedings will be published in Electronic Proceedings in Theoretical Computer Science ( http://info.eptcs.org/) . Submissions and final manuscripts should be at most 25 pages in EPTCS format. PROGRAM COMMITTEE * Emilie Balland (INRIA) * Olaf Chitil (University of Kent) * Zoé Drey (IRIT) * Nate Foster (Cornell University) * Mayer Goldberg (Ben-Gurion University) * Shan Shan Huang (LogicBlox) * Sam Kamin (University of Illinois at Urbana-Champaign) * Jerzy Karczmarczuk (University of Caen) * Jan Midtgaard (Aarhus University) * Keiko Nakata (Tallinn University of Technology) * Klaus Ostermann (University of Marburg) * Jeremy Siek (University of Colorado at Boulder) * Tony Sloane (Macquarie University) * Josef Svenningsson (Chalmers University of Technology) * Paul Tarau (University of North Texas) * Dana N. Xu (INRIA) ORGANIZERS Local chair: Emilie Balland (INRIA) Program chairs: Olivier Danvy (Aarhus University), Chung-chieh Shan (Rutgers University) ------------------------------------------------------------------------

1 0

Announcing Djinn, version 2004-12-11, a coding wizard
by Lennart Augustsson 07 Apr '11

07 Apr '11

Howdy, y'all! I've written a small program that takes a (Haskell) type and gives you back a function of that type if one exists. It's kind of fun, so I thought I'd share it. It's probably best explained with a sample session. 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. To play with Djinn do a darcs get http://darcs.augustsson.net/Darcs/Djinn or get http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz Then just type make. (You need a Haskell 98 implementation and some libraries.) And then start djinn. For the curious, Djinn uses a decision procedure for intuitionistic propositional calculus due to Roy Dyckhoff. It's a variation of Gentzen's LJ system. This means that (in theory) Djinn will always find a function if one exists, and if one doesn't exist Djinn will terminate telling you so. This is the very first version, so expect bugs. :) Share and enjoy. -- Lennart

8 13

Haskell Weekly News: Issue 176
by Daniel Santa Cruz 07 Apr '11

07 Apr '11

Welcome to issue 176 of the HWN, a newsletter covering developments in the [1]Haskell community. This release covers the week of March 27 to April 02, 2011. You can find the HTML version at: http://bit.ly/fEdQka Announcements Wren Ng Thornton [2]announced the release of version 0.3.4 of unix-bytestring. Ian Lynagh and the GHC team [3]announced version 7.0.3 of GHC, containing a handful of bugfixes. Jose A. Ortega Ruiz [4]annouced the release of version 0.13 of xmobar. Might want to check it out specially if you are using xmonad! Jason Dagit [5]annouced release 0.2.0 of the nehe-tuts package, tutorials for using OpenGL. David Sorokin [6]annouced the release of his new library aivika: a multi-paradigm simulation library. Tom Hawkins [7]annouced version 0.3.1 of ImProve: an imperative DSL for hard realtime embedded applications. Eric Y. Kow [8]introduced the first issue of Parallel Haskell Digest, "a newsletter aiming to show off all the work that's going on using parallelism and concurrency in the Haskell community." Here is to hoping we get more of these! George Giorgidze [9]announced version 0.5.5 of DSH (Database Supported Haskell). Jasper Van der Jeugt [10]annouced the 7th Ghent Functional Programming Group meeting on Tuesday, April 26, in celebration of the group's first year of existance. The meetup will be at the Technicum building of Ghent University at 19:30. Quotes of the Week * lispy: [in response to "C++ is a huge language, the type system is complex"] real and imaginary components :) the imaginary bits are the type safety * gwern: amazing `catch` (how sweet the type), that saved an exception like me! I once was thrown, but now am caught; was impure, but now pure be * hpc: appEndo sounds like a harry potter spell * monochrom: yeah, get out of Turing tarpit, provable termination, only to get into Godel tarpit * xplat: to me, the great thing about pointfree programming is you don't have to let variable names get in the way of your logic. and the great thing about pointful programming is you don't have to let '(flip .) . (.) . (flip flip . join)' get in the way of your logic. it's nice to have multiple tools in your toolbox * lispy: I've never looked at the gtk2hs source. I'm not sure I can muster the intestinal fortitude * kmc: time to play "transfinite ordinal or asian emoticon" * killing-joke: rip oop. "Object-oriented programming is eliminated entirely from the introductory curriculum, because it is both anti-modular and anti-parallel by its very nature, and hence unsuitable for a modern CS curriculum." Top Reddit Stories * Promo code to get Learn You a Haskell 40% off + e- book for free + swag From (learnyouahaskell.com) scored 68 with 25 comments. Read on [11]reddit. Read the [12]original post. * Real Time Edge Detection in Parallel Haskell From (disciple-devel.blogspot.com) scored 39 with 9 comments. Read on [13]reddit. Read the [14]original post. * Modern OpenGL with Haskell From (arcadianvisions.com) scored 39 with 10 comments. Read on [15]reddit. Read the [16]original post. * GHC migration to Git complete From (haskell.org) scored 37 with 15 comments. Read on [17]reddit. Read the [18]original post. * Haskell is 21 years old today! From (twitter.com) scored 37 with 8 comments. Read on [19]reddit. Read the [20]original post. * Re-implementing XMonad's core in Coq : Wouter Swiestra :: PDF From (cs.ru.nl), scored 34 with 13 comments. Read on [21]reddit. Read the [22]original post. * GHC 7.0.3 released From (haskell.org) scored 33 with 9 comments. Read on [23]reddit. Read the [24]original post. * "Reactive-banana and the essence of FRP". I implemented a small FRP library that can be mixed freely with imperative code. From (apfelmus.nfshost.com) scored 30 with 7 comments. Read on [25]reddit. Read the [26]original post. * New release of OpenGL NeHe tutorials in Haskell From (self.haskell), scored 27 with 22 comments. Read on [27]reddit. * Do you read academic papers on a Kindle? From (dmwit.com) scored 26 with 27 comments. Read on [28]reddit. Read the [29]original post. Top StackOverflow Questions * [30]Implementing lazy functional languages votes: 19, answers: 3 * [31]Is it possible to roll your own syntax sugar (like do-notation, or arrow-notation) in Haskell? votes: 12, answers: 2 * [32]Are there any LL Parser Generators for Functional Languages such as Haskell or Scala? votes: 11, answers: 4 * [33]Programming language for functional parallelism: F# vs Haskell votes: 10, answers: 6 * [34]easy "undo" in functional data structures votes: 8, answers: 2 About the Haskell Weekly News If you have any comments/thoughts on the newsletter, don't hesitate to contact me at dstcruz(a)gmail.com. Happy coding! Until next time, Daniel Santa Cruz References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.libraries/15521 3. http://article.gmane.org/gmane.comp.lang.haskell.general/18607 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/87583 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/87584 6. http://article.gmane.org/gmane.comp.lang.haskell.general/18612 7. http://article.gmane.org/gmane.comp.lang.haskell.cafe/87628 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/87709 9. http://article.gmane.org/gmane.comp.lang.haskell.general/18635 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/87752 11. http://www.reddit.com/r/haskell/comments/ge10y/promo_code_to_get_learn_you_… 12. http://learnyouahaskell.com/ 13. http://www.reddit.com/r/haskell/comments/gdudz/real_time_edge_detection_in_… 14. http://disciple-devel.blogspot.com/2011/03/real-time-edge-detection-in-hask… 15. http://www.reddit.com/r/haskell/comments/gepfm/modern_opengl_with_haskell/ 16. http://www.arcadianvisions.com/blog/?p=224 17. http://www.reddit.com/r/haskell/comments/ggu2r/ghc_migrati%C3%B6n_t%C3%B6_g… 18. http://www.haskell.org/pipermail/cvs-ghc/2011-April/060798.html 19. http://www.reddit.com/r/haskell/comments/ggwv3/haskell_is_21_years_old_toda… 20. http://twitter.com/donsbot/status/54026417721188352 21. http://www.reddit.com/r/haskell/comments/gf3sb/reimplementing_xmonads_core_… 22. http://www.cs.ru.nl/~wouters/Talks/BrouwerExtraction.pdf 23. http://www.reddit.com/r/haskell/comments/gcmsz/ghc_703_released/ 24. http://www.haskell.org/pipermail/haskell/2011-March/022673.html 25. http://www.reddit.com/r/haskell/comments/gd46d/reactivebanana_and_the_essen… 26. http://apfelmus.nfshost.com/blog/2011/03/28-essence-frp.html 27. http://www.reddit.com/r/haskell/comments/gcsi1/new_release_of_opengl_nehe_t… 28. http://www.reddit.com/r/haskell/comments/gfz5k/do_you_read_academic_papers_… 29. http://dmwit.com/pdfsplit 30. http://stackoverflow.com/questions/5451645/implementing-lazy-functional-lan… 31. http://stackoverflow.com/questions/5450003/is-it-possible-to-roll-your-own-… 32. http://stackoverflow.com/questions/5507665/are-there-any-ll-parser-generato… 33. http://stackoverflow.com/questions/5492930/programming-language-for-functio… 34. http://stackoverflow.com/questions/5447054/easy-undo-in-functional-data-str…

1 0

Re: [Haskell] How to contact OpenGL package maintainer (where is Sven?)
by Jason Dagit 06 Apr '11

06 Apr '11

No response yet from Sven after about a month and no one seems to have heard from him in over a year. I'm going to take over for now under the assumption that Sven is missing. == My plans for moving forward == * Assemble an opengl taskforce, a few people have already mentioned an interest in being on the team * clean up the current cabal files (I already wrote patches for that) * put the repos on github to make team collaboration easier * add the RULES that Andy Gill suggested for realToFrac * look at adding instances for MArray so that GLfloat et al can be stored in IOUArrays * add support for opengl 4.x * look at adding deprecation pragmas for deprecated opengl calls * new hackage releases * anything else that comes up Thanks, Jason On Sun, Mar 27, 2011 at 2:11 PM, Jason Dagit <dagitj(a)gmail.com> wrote: > I sent the message below to Haskell-Cafe about a week ago. I got one > response saying that Sven has disappeared in the past but reappeared when > updates were necessary. I still haven't heard from Sven. Now I'm widening > my search. My original email to Sven was on March 11th. > > It looks like the OpenGL packages on hackage[1,2,3,4] have not been > updated in some time. No updates later than Oct 2009. I tried to email > Sven directly using the email address listed on hackage but after over two > weeks I still haven't heard from him. I sent some patches to the opengl list > about a week ago but I noticed that Sven hasn't posted on that list since > Oct 2009 when he released the current version of OpenGLRaw. None of the > public darcs repos have patches newer than Oct 2009. Also, the homepage url > listed in the packages is a 404: > http://www.haskell.org/HOpenGL/ > > My concern is that Sven has disappeared for some reason. I hope he's well. > He has always done top notch work in the past maintaining these libraries. > Perhaps he's simply busy or lost interest? > > Does anyone know if he was looking for a new maintainer? Perhaps you've > heard from him more recently than Oct 2009? > > If a new maintainer is needed, I would consider nominating myself :) > > Thanks, > Jason > > [1] http://hackage.haskell.org/package/OpenGLRaw > [2] http://hackage.haskell.org/package/OpenGL > [3] http://hackage.haskell.org/package/GLURaw > [4] http://hackage.haskell.org/package/GLUT >

2 2

Extended submission deadline, AAIP 2011
by Emanuel Kitzelmann 05 Apr '11

05 Apr '11

4th Workshop on Approaches and Applications of Inductive Programming, AAIP 2011 *The deadline for paper submissions has been extended to April 24, 2011.* More information on AAIP 2011: http://www.cogsys.wiai.uni-bamberg.de/aaip11/ -- Dr. Emanuel Kitzelmann International Computer Science Institute (ICSI) 1947 Center Street, Suite 600 Berkeley, CA 94704, USA e-mail: emanuel(a)icsi.berkeley.edu phone: +1 510 666 2883

1 0

The deadlines for paper submission have been extended (ICFEM 2011)
by Huibiao Zhu 04 Apr '11

04 Apr '11

************************************************************ ICFEM 2011: 13th International Conference on Formal Engineering Methods Last CALL FOR PAPERs 25-28 Oct 2011 Radisson BLU Hotel, Durham, UK URL: http://www.scm.tees.ac.uk/icfem2011 The deadlines for paper submission have been extended. Abstract Submission: 14 April, 2011 (New) Full-paper submission: 21 April, 2011 (New) ************************************************************ Since 1997, ICFEM has provided a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work thatpromises to bring practical, tangible benefit. ICFEM 2011 is organised by Teesside University and will be held in the historic Durham City in the North East of England (http://www.thisisdurham.com/) AREA AND TOPICS Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered: * Abstraction and refinement * Formal specification and modelling * Software verification * Program analysis * Software model checking * Formal approaches to software testing * Formal methods for object and component systems * Concurrency and software transaction memory * Formal methods for cloud computing * Software inspection * Formal methods for cyber-physical systems * Tool development and integration * Software safety, security and reliability * Experiments involving verified systems * Applications of formal methods * Formal model-based development and code generation SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be done through the ICFEM 2011 submission page (https://www.easychair.org/conferences/?conf=icfem2011) handled by the EasyChair conference system. All queries should be sent to the e-mail address icfem2011(a)scm.tees.ac.uk. IMPORTANT DATES 14 April, 2011: Extended Abstract submission deadline (Firm) 21 April, 2011: Extended Full-paper submission deadline (Firm) 8 June, 2011: Acceptance/rejection notification 6 July, 2011: Camera-ready version due ORGANIZATION COMMITTEE Honorary Chairs: Marc Cavazza, Teesside University Cliff Hardcastle, Teesside University General Chairs: Phil Brooke, Teesside University, UK Cliff Jones, Newcastle University, UK Program Chairs: Shengchao Qin, Teesside University, UK Zongyan Qiu, Peking University, UK Program Committee: Bernhard K. Aichernig (Graz University of Technology, Austria) Keijiro Araki (Kyushu University, Japan) Farhad Arbab (CWI and Leiden University, The Netherlands) Richard Banach (University of Manchester, UK) Nikolaj Bjorner (Microsoft Research Redmond, USA) Jonathan P. Bowen (University of Westminster, UK) Michael Butler (University of Southampton, UK) Andrew Butterfield (Trinity College Dublin, Ireland) Ana Cavalcanti (University of York, UK) Aziem Chawdhary (University of Edinburgh, UK) Wei-Ngan Chin (National University of Singapore, Singapore) Florin Craciun (Soter Sys, Romania) Thao Dang (French National Center for Scientific Research, France) Jim Davies (Oxford University, UK) Dino Distefano (Queen Mary College, University of London, UK) Jin-Song Dong (National University of Singapore, Singapore) Zhenhua Duan (Xidian University, China) Colin Fidge (Queensland University of Technology, Australia) J. S. Fitzgerald (Newcastle University, UK) Leo Freitas (Newcastle University, UK) Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain) Stefania Gnesi (ISTI-CNR, Italy) Anthony Hall (Consultant) Ian J. Hayes (The University of Queensland, Australia) Mike Hinchey (Lero, Ireland) Zhenjiang Hu (National Institute of Informatics, Japan) Michael Jackson (Consultant) Thierry Jeron (INRIA , France) Gerwin Klein (NICTA, Australia) Laura Kovacs (Vienna University of Technology, Austria) Kim G. Larsen (Aalborg University, Denmark) Peter Gorm Larsen (Aarhus University, Denmark) Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany) Xuandong Li (Nanjing University, China) Shaoying Liu (Hosei University, Japan) Zhiming Liu (UNU/IIST, Macau) Tiziana Margaria (University of Potsdam, Germany) Dominique Mery (Nancy University and LORIA, France) Stephan Merz (INRIA Nancy & LORIA, France) Huaikou Miao (Shanghai University, China) Peter Muller (ETH Zurich, Switzerland) Jun Pang (University of Luxembourg, Luxembourg) Matthew Parkinson (Microsoft Research Cambridge, UK) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) Augusto Sampaio (Universidade Federal de Pernambuco, Brazil) Thomas Santen (European Microsoft Innovation Center Aachen, Germany) Wuwei Shen (Western Michigan University, USA) Marjan Sirjani (Reykjavik University, Iceland) Bill Stoddart (Teesside University, UK) Jing Sun (University of Auckland, New Zealand) Jun Sun (Singapore University of Technology and Design, Singapore) Meng Sun (Peking University, China) Kenji Taguchi (AIST, Japan) Tetsuo Tamai (University of Tokyo, Japan) Yih-Kuen Tsay (National Taiwan University, Taiwan) T.H. Tse (University of Hong Kong, Hong Kong) Viktor Vafeiadis (MPI-SWS, Germany) Miroslav Velev (Aries Design Automation, USA) Laurent Voisin (Systerel, France) Hai H. Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Linzhang Wang (Nanjing University, China) Heike Wehrheim (University of Paderborn, Germany) Jim Woodcock (University of York, UK) Wang Yi (Uppsala University, Sweden) Hongli Yang (Beijing University of Technology, China) Naijun Zhan (Chinese Academy of Sciences, China) Jian Zhang (Chinese Academy of Sciences, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) Steering Committee Keijiro Araki, Japan Jin Song Dong, Singapore Chris George, Canada Jifeng He, China Mike Hinchey, Ireland Shaoying Liu (Chair), Japan John McDermid, UK Tetsuo Tamai, Japan Jim Woodcock, UK

1 0

ANNOUNCE: FreeType 2 Bindings
by Jason Dagit 03 Apr '11

03 Apr '11

I'm excited to announce the immediate availability of FreeType 2 bindings on hackage. These bindings are based off the 2.4.4 release of FreeType 2 and use the BSD licensing option for FreeType 2. This package should be of interest to OpenGL users as it provides a way to get nice looking fonts into your OpenGL programs. This binding is still in its infancy, hence version 0.0.1, but enough of the API is exposed that I was able to convert the example1.c program in the FreeType tutorial to Haskell. Here are a few relevant links: * What is FreeType: http://www.freetype.org/freetype2/index.html * Example program and tutorial: * http://www.freetype.org/freetype2/docs/tutorial/step1.html * http://www.freetype.org/freetype2/docs/tutorial/example1.c * Haskell version of tutorial: * https://github.com/dagit/freetype2/blob/cabalization/Main.hs * Example program output (yes, their tutorial example really does draw the bitmap as a grid of text, scroll around to find the word "blah"), more interesting examples to come later: * http://hpaste.org/45239/aoeu The current API level is "raw" and makes no attempts to present a good Haskell-like interface to the library. My plan is to build a higher level interface on top once a sufficient portion of the API is available to Haskell. You can find the source on github in the cabalization branch: * https://github.com/dagit/freetype2 Patches welcome! Thanks, Jason

1 1

Call for contributions: Second edition of the Typeclassopedia
by Brent Yorgey 03 Apr '11

03 Apr '11

Hi all, It's time for a second edition of the Typeclassopedia [1], and I'd love to have your suggestions and contributions. You can send me suggestions and darcs patches [2] by email. For more detailed information, see my blog post [3]. -Brent [1] http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf [2] http://code.haskell.org/~byorgey/typeclassopedia/ [3] http://byorgey.wordpress.com/2011/04/03/call-for-contributions-second-editi…

1 0