[Chicken-users] First call for papers IFL 2014

2014-05-15 Thread publicityifl
Hello,

Please, find below the first call for papers for IFL 2014.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---

CALL FOR PAPERS

26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL
2014

NORTHEASTERN UNIVERSITY/BOSTON, USA

OCTOBER 1-3, 2014

http://ifl2014.github.io

We are pleased to announce that the 26th edition of the IFL series
will be held at Northeastern University in Boston, USA. The symposium
will be held from 1st to 3rd of October 2014.

Scope
-

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages.  IFL 2014 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Following the IFL tradition, IFL 2014 will use a post-symposium review
process to produce the formal proceedings. All participants of IFL
2014 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time
may work submitted to IFL be simultaneously submitted to other venues;
submissions must adhere to ACM SIGPLAN's republication policy:

 http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to
make sure they are within the scope of IFL, and will appear in the
draft proceedings distributed at the symposium. Submissions appearing
in the draft proceedings are not peer-reviewed publications. Hence,
publications that appear only in the draft proceedings do not count as
publication for the ACM SIGPLAN republication policy. After the
symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to
submit a revised full article for the formal review process. From the
revised submissions, the program committee will select papers for the
formal proceedings considering their correctness, novelty,
originality, relevance, significance, and clarity.

Submission Details
--

Submission deadline draft papers:  September 1 
Notification of acceptance for presentation:   September 5
Early registration deadline:   September 10
Late registration deadline:September 17 
Submission deadline for pre-symposium proceedings: September 24
26th IFL Symposium:October 1-3 
Submission deadline for post-symposium proceedings:December 15
Notification of acceptance for post-symposium proceedings: January  31 2015
Camera-ready version for post-symposium proceedings:   March15 2015 

Prospective authors are encouraged to submit papers or extended
abstracts to be published in the draft proceedings and to present them
at the symposium. All contributions must be written in English. Papers
must adhere to the standard ACM two columns conference format. For the
pre-symposium proceedings we adopt a 'weak' page limit of 12
pages. For the post-symposium proceedings the page limit of 12 pages
is firm. A suitable document template for LaTeX can be found at:

 http://www.acm.org/sigs/sigplan/authorInformation.htm

Topics
--

IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools in the context
of functional programming. If you are not sure whether your work is
appropriate for IFL 2014, please contact the PC chair at
sa...@cs.indiana.edu. Topics of interest include, but are not limited
to:

   - language concepts
   - type systems, type checking, type inferencing
   - compilation techniques
   - staged compilation
   - run-time function specialization
   - run-time code generation
   - partial evaluation
   - (abstract) interpretation
   - metaprogramming
   - generic programming
   - automatic program generation
   - array processing
   - concurrent/parallel programming
   - concurrent/parallel program execution
   - embedded systems
   - web applications
   - (embedded) domain specific languages
   - security
   - novel memory management techniques
   - run-time profiling performance measurements
   - debugging and tracing
   - virtual/abstract machine architectures
   - validation, verification of functional programs
   - tools and programming techniques
   - (industrial) applications

Peter Landin Prize
--

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.

Programme 

Re: [Chicken-users] [ANN] New egg: glls

2014-05-15 Thread Andy Bennett
Hi,

 I'm pleased to announce glls

Wow! Nice. :-) Good work.





Regards,
@ndy

-- 
andy...@ashurst.eu.org
http://www.ashurst.eu.org/
0x7EBA75FF


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


[Chicken-users] New egg: physics

2014-05-15 Thread Richard
I would like to announce my first egg: physics. It is a more high-level 
wrapper to the brilliant Chipmunk2D physics library.


Some highlights include:

- The possibility of passing regular Chicken functions as callbacks.
- Using regular Chicken objects as user data.
- Garbage collection.
- The possibility of optionally using 'map' instead of Chipmunk's 
iterator functions.


Things left to do are:
- More testing and adding some unit tests.
- Finishing the documentation and adding some examples.

If you want to take a look, the source can be found at:
https://github.com/pluizer/chicken-physics 
https://github.com/pluizer/chicken-physics


A more low-level wrapper to Chipmunk is required and can be found at:
https://github.com/pluizer/chicken-chipmunk 
https://github.com/pluizer/chicken-chipmunk


The documentation can be found at:
https://wiki.call-cc.org/eggref/4/physics 
https://wiki.call-cc.org/eggref/4/physics


As this is my first egg I might have done things wrongly or suboptimal, 
any pointers are welcome.


thanks,
Plui(j)zer (I'm trying to get rid of that j)
___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


Re: [Chicken-users] [ANN] New egg: glls

2014-05-15 Thread Kristian Lein-Mathisen
Great work, Alex! You beat me to it ;)

Really looking forward to play around with this! It will be really
interesting to see what dynamic shaders can do for games or other visually
intensive application.

K.
On May 15, 2014 1:48 PM, Andy Bennett andy...@ashurst.eu.org wrote:

 Hi,

  I'm pleased to announce glls

 Wow! Nice. :-) Good work.





 Regards,
 @ndy

 --
 andy...@ashurst.eu.org
 http://www.ashurst.eu.org/
 0x7EBA75FF


 ___
 Chicken-users mailing list
 Chicken-users@nongnu.org
 https://lists.nongnu.org/mailman/listinfo/chicken-users

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


Re: [Chicken-users] New egg: physics

2014-05-15 Thread Alex Charlton


Richard writes:

 I would like to announce my first egg: physics. It is a more high-level 
 wrapper to the brilliant Chipmunk2D physics library.

 Some highlights include:

 - The possibility of passing regular Chicken functions as callbacks.
 - Using regular Chicken objects as user data.
 - Garbage collection.
 - The possibility of optionally using 'map' instead of Chipmunk's 
 iterator functions.

 Things left to do are:
 - More testing and adding some unit tests.
 - Finishing the documentation and adding some examples.

 If you want to take a look, the source can be found at:
 https://github.com/pluizer/chicken-physics 
 https://github.com/pluizer/chicken-physics

 A more low-level wrapper to Chipmunk is required and can be found at:
 https://github.com/pluizer/chicken-chipmunk 
 https://github.com/pluizer/chicken-chipmunk

 The documentation can be found at:
 https://wiki.call-cc.org/eggref/4/physics 
 https://wiki.call-cc.org/eggref/4/physics

 As this is my first egg I might have done things wrongly or suboptimal, 
 any pointers are welcome.

 thanks,
 Plui(j)zer (I'm trying to get rid of that j)
 ___
 Chicken-users mailing list
 Chicken-users@nongnu.org
 https://lists.nongnu.org/mailman/listinfo/chicken-users

Looking good, Plui( )zer!

Have you thought about releasing your egg as an Official Chicken Extension™? 
You’re most of the way there, and it makes it a lot easier for other Chicken 
users to install, as well as allows the egg to become a dependency for other 
eggs. Check out this page for instructions:

http://wiki.call-cc.org/eggs%20tutorial

It seems as though all you’ll need to do is amend your setup file to add a 
version, add a bit more information to the meta file, and add a release-info 
file. After that, just ask to have your egg added.

On the subject of amending your setup file, you should think about using 
Chicken tools for your compilation rather than using a Makefile (in fact, this 
might be a requirement for being added to the Coop, I’m not sure). The example 
that’s in that wiki page I linked shows how this can be done. It will simplify 
things a fair amount. Additionally, since your physics.import.scm file is 
generated from physics.scm, there’s no real reason to have it in your repo.

And of course, all this goes for your chicken-chipmunk repo as well.

Not sure if you saw it (since it’s not in the egg index) but acorn might be of 
interest to you, since it tackles the same problem. From a cursory glance, it 
seems as though you have solved some things that it has not, though:

https://github.com/kristianlm/acorn

I look forward to trying your egg out!

-- 
Alex


___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


Re: [Chicken-users] New egg: physics

2014-05-15 Thread Mario Domenech Goulart
Hi,

On Thu, 15 May 2014 23:14:35 +0200 Richard plui...@freeshell.de wrote:

 I would like to announce my first egg: physics. It is a more
 high-level wrapper to the brilliant Chipmunk2D physics library.

 Some highlights include:

 - The possibility of passing regular Chicken functions as callbacks.
 - Using regular Chicken objects as user data.
 - Garbage collection.
 - The possibility of optionally using 'map' instead of Chipmunk's
 iterator functions.

 Things left to do are:
 - More testing and adding some unit tests.
 - Finishing the documentation and adding some examples.

 If you want to take a look, the source can be found at:
 https://github.com/pluizer/chicken-physics

 A more low-level wrapper to Chipmunk is required and can be found at:
 https://github.com/pluizer/chicken-chipmunk

 The documentation can be found at:
 https://wiki.call-cc.org/eggref/4/physics

 As this is my first egg I might have done things wrongly or
 suboptimal, any pointers are welcome.

Very nice.  Thanks for contributing to the CHICKEN coop.  It's actually
two eggs!

Here are a couple of suggestions to improve your eggs:

- you probably don't need the .import.scm files in the code
  repository. csc generates them

- instead of relying on an external make, you can use the make egg
  (http://wiki.call-cc.org/egg/make -- just mentioning in case you don't
  know it).  If you prefer using the external make, that is fine,
  although it may be inconvenient and will probably require some
  tweaking.  For example, if I want to use a chicken installation whose
  bin dir is not in PATH, I guess make will invoke the wrong csc.

- the .meta files should contain at least category and license

- physics' .meta should declare chipmunk as dependency

- a very hardcore nitpicking: source files usually don't need the
  execute flag. :-)

Please, consider fixing the .meta files at least before we add them to
the official coop.

Best wishes.
Mario
-- 
http://parenteses.org/mario

___
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users


Re: [Chicken-users] New egg: physics

2014-05-15 Thread Mario Domenech Goulart
Hi,

On Thu, 15 May 2014 18:23:48 -0400 Alex Charlton alex.n.charl...@gmail.com 
wrote:

 Richard writes:

 I would like to announce my first egg: physics. It is a more high-level 
 wrapper to the brilliant Chipmunk2D physics library.

 Some highlights include:

 - The possibility of passing regular Chicken functions as callbacks.
 - Using regular Chicken objects as user data.
 - Garbage collection.
 - The possibility of optionally using 'map' instead of Chipmunk's 
 iterator functions.

 Things left to do are:
 - More testing and adding some unit tests.
 - Finishing the documentation and adding some examples.

 If you want to take a look, the source can be found at:
 https://github.com/pluizer/chicken-physics 
 https://github.com/pluizer/chicken-physics

 A more low-level wrapper to Chipmunk is required and can be found at:
 https://github.com/pluizer/chicken-chipmunk 
 https://github.com/pluizer/chicken-chipmunk

 The documentation can be found at:
 https://wiki.call-cc.org/eggref/4/physics 
 https://wiki.call-cc.org/eggref/4/physics

 As this is my first egg I might have done things wrongly or suboptimal, 
 any pointers are welcome.

 thanks,
 Plui(j)zer (I'm trying to get rid of that j)
 ___
 Chicken-users mailing list
 Chicken-users@nongnu.org
 https://lists.nongnu.org/mailman/listinfo/chicken-users

 Looking good, Plui( )zer!

 Have you thought about releasing your egg as an Official Chicken
 Extension™? You’re most of the way there, and it makes it a lot easier
 for other Chicken users to install, as well as allows the egg to
 become a dependency for other eggs. Check out this page for
 instructions:

 http://wiki.call-cc.org/eggs%20tutorial

 It seems as though all you’ll need to do is amend your setup file to
 add a version,

The versioning thing is a little (?) can of worms.  Strictly speaking,
it is not necessary (i.e., it won't cause errors), as long as your egg
is properly tagged with versions in the source repository.
henrietta-cache [1] will fetch egg sources and save them in a directory
named after tags.  henrietta [2] will provide the version information,
based on the directory named after the tag and _that_ is used by
chicken-install to write versions to .setup-info files that get
installed along with eggs.  So, for eggs that are installed by
chicken-install when it gets eggs from the henrietta server, the version
is always available.  However, for local installations (i.e., cd
egg-source-dir; chicken-install), egg versions will be set as unknown
if they are not specified in .setup files.  chicken-setup is oblivious
to VCS tags and tag directories -- only henrietta-cache and henrietta
care about them.

I usually provide a version in .setup files to avoid getting my eggs'
versions as unknown when I locally install them.  Another reason for
specifying versions in .setup files is that the lack of version
information in .setup files also affects salmonella [3], since it
separates the fetch and the install steps (to be able to report
status separately for each step).  So, it ends up performing local
installation.  If .setup files contain no version, salmonella will
report their versions as unknown.

However, versions in .setup files come at a cost: information
duplication.  You have to keep the version information in .setup, in
.release-info _and_ the VCS tag in sync at release time.  That is kinda
painful is usually the cause of version inconsistencies (henrietta-cache
and henrietta don't know about versions in .setup files).

[1] http://wiki.call-cc.org/egg/henrietta-cache
[2] http://wiki.call-cc.org/egg/henrietta
[3] http://wiki.call-cc.org/egg/salmonella

\end{funnily_named_eggs}

 add a bit more information to the meta file, and add a
 release-info file. After that, just ask to have your egg added.

Oh, yes.  The .release-info!

 On the subject of amending your setup file, you should think about
 using Chicken tools for your compilation rather than using a Makefile
 (in fact, this might be a requirement for being added to the Coop, I’m
 not sure).

In fact it is not, but fiddling with make may cause problems for
people who have CHICKEN installed on non-standard locations and for
those who cross-compile eggs.  Unless, of course, you carefully craft
your makefiles, which is quite some work.  The stuff from setup-api
(those things you use in .setup files like, compile, install-extension
etc.)  are hairy (the internals, I mean), but they work in the weirdest
scenarios, as far as I can tell.

 The example that’s in that wiki page I linked shows how
 this can be done. It will simplify things a fair amount. Additionally,
 since your physics.import.scm file is generated from physics.scm,
 there’s no real reason to have it in your repo.

#t

 And of course, all this goes for your chicken-chipmunk repo as well.

 Not sure if you saw it (since it’s not in the egg index) but acorn
 might be of interest to you, since it tackles the same problem. From a