Brent Yorgey | 3 Apr 20:58 2011

Call for contributions: Second edition of the Typeclassopedia

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-edition-of-the-typeclassopedia/
Jason Dagit | 4 Apr 01:21 2011
Picon

ANNOUNCE: FreeType 2 Bindings

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:

  * Example program and tutorial:
  * Haskell version of tutorial:
  * 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:

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:

Patches welcome!

Thanks,
Jason


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Jason Dagit | 4 Apr 01:24 2011
Picon

Re: ANNOUNCE: FreeType 2 Bindings



On Sun, Apr 3, 2011 at 4:21 PM, Jason Dagit <dagitj <at> gmail.com> wrote:
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.

I almost forgot to mention: An import feature of my cabalization of freetype2 is that NO external libraries are needed.  Just install it with cabal or cabal-dev on linux, osx, or windows and you're ready to go.

Jason
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Huibiao Zhu | 4 Apr 11:24 2011
Picon

The deadlines for paper submission have been extended (ICFEM 2011)

************************************************************

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 <at> 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

 

 

 

 

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Emanuel Kitzelmann | 5 Apr 23:25 2011
Picon

Extended submission deadline, AAIP 2011

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 <at> icsi.berkeley.edu
phone: +1 510 666 2883
Jason Dagit | 6 Apr 23:32 2011
Picon

Re: How to contact OpenGL package maintainer (where is Sven?)

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 <at> 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:

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


_______________________________________________
HOpenGL mailing list
HOpenGL <at> haskell.org
http://www.haskell.org/mailman/listinfo/hopengl
Don Stewart | 6 Apr 23:35 2011
Picon

Re: How to contact OpenGL package maintainer (where is Sven?)

Note, there are some issues, as this is a package in the Haskell
Platform, to do with upgrading and dependent packages. We should talk
first about issues there.

On Wed, Apr 6, 2011 at 2:32 PM, Jason Dagit <dagitj <at> gmail.com> wrote:
> 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 <at> 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
>
> _______________________________________________
> Libraries mailing list
> Libraries <at> haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>
Jason Dagit | 6 Apr 23:45 2011
Picon

Re: How to contact OpenGL package maintainer (where is Sven?)



On Wed, Apr 6, 2011 at 2:35 PM, Don Stewart <dons00 <at> gmail.com> wrote:
Note, there are some issues, as this is a package in the Haskell
Platform, to do with upgrading and dependent packages. We should talk
first about issues there.

An older version is in the HP, but Johan pointed out to me in a private email that the latest version is not in the HP.  Here are the results of my research into that:

I'm not finding much in the way of reasons why the *Raw packages were not added or why OpenGL/GLUT were not updated.

There are these:

That's a request for the latest version of GLUT and OpenGL.  I found those via the archives but the threads are empty and no comments on the tickets.

Magnus created those tickets as a result of this thread, I believe:

Is that the thread in your memory?  Perhaps it was this one?

That one turned into a discussion of the module system.

I added a proposal to add OpenGLRaw, but no one commented on it:

Based on that, it seems that Magnus wants the packages updated, and I'd like to see the *Raw packages added to the platform.  I don't see any dissenting public opinions on the libraries list or on the trac, other than tickets #57 and #58 that make a case for removing OpenGL and GLUT entirely from the platform.  Tickets #57 and #58 seem to be old though.
 
If you have more information or I overlooked something, please let me know :)

Thanks,
Jason


On Wed, Apr 6, 2011 at 2:32 PM, Jason Dagit <dagitj <at> gmail.com> wrote:
> 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 <at> 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
>
> _______________________________________________
> Libraries mailing list
> Libraries <at> haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>

_______________________________________________
HOpenGL mailing list
HOpenGL <at> haskell.org
http://www.haskell.org/mailman/listinfo/hopengl
Daniel Santa Cruz | 7 Apr 03:12 2011
Picon

Haskell Weekly News: Issue 176

   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 <at> 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_a_haskell_40_off_e/
  12. http://learnyouahaskell.com/
  13. http://www.reddit.com/r/haskell/comments/gdudz/real_time_edge_detection_in_parallel_haskell/
  14. http://disciple-devel.blogspot.com/2011/03/real-time-edge-detection-in-haskell.html
  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_git_c%C3%B6mpl%C3%A9t%C3%A9/
  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_today/
  20. http://twitter.com/donsbot/status/54026417721188352
  21. http://www.reddit.com/r/haskell/comments/gf3sb/reimplementing_xmonads_core_in_coq_wouter/
  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_essence_of_frp_i/
  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_tutorials_in_haskell/
  28. http://www.reddit.com/r/haskell/comments/gfz5k/do_you_read_academic_papers_on_a_kindle/
  29. http://dmwit.com/pdfsplit
  30. http://stackoverflow.com/questions/5451645/implementing-lazy-functional-languages
  31. http://stackoverflow.com/questions/5450003/is-it-possible-to-roll-your-own-syntax-sugar-like-do-notation-or-arrow-notation
  32. http://stackoverflow.com/questions/5507665/are-there-any-ll-parser-generators-for-functional-languages-such-as-haskell-or-sc
  33. http://stackoverflow.com/questions/5492930/programming-language-for-functional-parallelism-f-vs-haskell
  34. http://stackoverflow.com/questions/5447054/easy-undo-in-functional-data-structures
Martin | 7 Apr 16:35 2011
Picon

Re: Announcing Djinn, version 2004-12-11, a coding wizard


After reading this post, i can only see a -> b

how to define more specific such as 

flow 0 y = y
flow z flow x, y = flow z+x, y 

could you demonstrate using djinn to do above mapping definition 
to generate a function?

Gmane