[Chicken-users] [TFPIE2014] final call for participation

2014-05-09 Thread Peter Achten

[FINAL CALL FOR PARTICIPATION]

3rd International Workshop on Trends in Functional Programming in 
Education (TFPIE 2014)

May 25, 2014
Utrecht University
Soesterberg, The Netherlands
(http://www.cs.uwyo.edu/~jlc/tfpie14/)


The 3rd International Workshop on Trends in Functional Programming in 
Education, TFPIE 2014, will be co-located with the Symposium on Trends 
in Functional Programming (TFP 2014) at Soesterberg, at the “Kontakt der 
Kontinenten” hotel in the Netherlands on Sunday, May 25th. TFP will 
follow from May 26-28.



The goal of TFPIE is to gather researchers, teachers and professionals 
that use, or are interested in the use of, functional programming in 
education. TFPIE aims to be a venue where novel ideas, classroom-tested 
ideas and work-in-progress on the use of functional programming in 
education are discussed. The one-day workshop will foster a spirit of 
open discussion by having a review process for publication after the 
workshop. The program chair of TFPIE 2014 will screen submissions to 
ensure that all presentations are within scope and are of interest to 
participants. Potential presenters are invited to submit an extended 
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. 
The authors of accepted presentations will have their preprints and 
their slides made available on the workshop's website/wiki. Visitors to 
the TFPIE 2014 website/wiki will be able to add comments. This includes 
presenters who may respond to comments and questions as well as provide 
pointers to improvements and follow-up work. After the workshop, 
presenters will be invited to submit (a revised version of) their 
article for review. The PC will select the best articles for publication 
in the journal Electronic Proceedings in Theoretical Computer Science 
(EPTCS). Articles not selected for presentation and extended abstracts 
will not be formally reviewed by the PC.


TFPIE workshops have previously been held in St Andrews, Scotland (2012) 
and in Provo Utah, USA (2013).



** Invited Speaker **
TFPIE is pleased to announce that professor Johan Jeuring of Utrecht 
University and Open University, both in The Netherlands is giving an 
invited talk entitled: Automatic tutoring and assessing functional 
programs.



** Program Committee **

James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage, Universiteit Utrecht
Philip Holzenspies, University of Twente
Daniel R. Licata, Wesleyan University
Marco T Morazan, Seton Hall University
Christian Skalka, University of Vermont
David Van Horn, Northeastern University


** Program **

The preliminary program of TFPIE 2014 is available at the home site of 
TFPIE 2014 and the TFPIE wiki (http://wiki.science.ru.nl/tfpie/Main_Page).
This year's edition features 14 talks. The program is closed with a 
plenary discussion.



** Important Dates **

* 1 February 2014: TFPIE submissions open on easychair.
* 14 April 2014: Early registration for TFP closes
* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts
* 27 April 2014: Notification of acceptance for presentation
* 15 May 2014: Registration for TFPIE closes - as does late registration 
for TFP

* 25 May 2014: Presentations in Soesterberg, Netherlands
* 29 June 2014: Full papers for EPTCS proceedings due
* 16 August 2014: Notification of acceptance for proceedings
* 8 September 2014: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full paper; 
abstracts with no corresponding full versions by the full paper deadline 
will be considered as withdrawn. At least one author from each accepted 
presentation must attend the workshop.



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


[Chicken-users] Implementing a C-API to a chicken library

2014-05-09 Thread Isak Andersson
Hello!

I am currently trying to see if Chicken is a viable option for what I am
trying to do where I work.

Basically I want to define a C API (because that's easy to call from all
languages) that will be used on many platforms
(ios, android, winrt, windows, osx etc).

So what I did was that I created a simple test with the following source
code:
https://gist.github.com/BitPuffin/f8ad6fa6f43327a84611
(swap - for / because github gists don't allow / in filenames)

This also shows me running it, and as you can see I am getting a
segmentation fault that I don't really understand. I also checked the
static library if all the symbols where there (and they are) and also ran
it through a debugger:
https://gist.github.com/BitPuffin/6093a5382a4cf357817b
and
https://gist.github.com/BitPuffin/39288172adc487609acd
respectively.

Note that I am not looking to embed it as a scripting language and do
CHICKEN_run, rather, I'm trying to define the interface as something
callable from C, but so far I am having no success.

Anyone have any ideas?

Thanks! :)

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


Re: [Chicken-users] Implementing a C-API to a chicken library

2014-05-09 Thread Thomas Chust
On Fri, 2014-05-09 at 16:56 +0200, Isak Andersson wrote:
 [...]
 Basically I want to define a C API (because that's easy to call from
 all languages) that will be used on many platforms 
 (ios, android, winrt, windows, osx etc). 
 [...]

Hello Isak,

what you want to do should indeed be possible to achieve using
define-external. However, CHICKEN's runtime system needs to be
initialized and the top-level Scheme code needs to be run before you can
call back into scheme.

 [...]
 So what I did was that I created a simple test with the following
 source code:
 https://gist.github.com/BitPuffin/f8ad6fa6f43327a84611
 [...]

Make the following changes:

* Replace the call of CHICKEN_initialize in src/init.c by
  CHICKEN_run(C_toplevel). This will ensure that the runtime system is
  initialized *and* all top-level Scheme code that may do further
  initialization work has been executed once.

* Add (return-to-host) to the end of src/itest.scm. This will ensure
  that the call to CHICKEN_run actually returns after all initialization
  work has been completed.

Then your code should work as expected :-)

Ciao,
Thomas


-- 
When C++ is your hammer, every problem looks like your thumb.





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


Re: [Chicken-users] Implementing a C-API to a chicken library

2014-05-09 Thread Isak Andersson
Well I couldn't modify mine to work, but Thomas sent me an example in irc
on how
he got it working (https://gist.github.com/anonymous/6bd6236d741a48d03f5f).

I suppose the difference is that he used csc for everything and therefore
probably
some important flags that I didn't use were added or something like that.
Thought
I'd put it here on the mailing list for someone searching the archives for
a solution
to this problem.

Thanks Thomas! :)



On Fri, May 9, 2014 at 5:45 PM, Thomas Chust ch...@web.de wrote:

 On Fri, 2014-05-09 at 16:56 +0200, Isak Andersson wrote:
  [...]
  Basically I want to define a C API (because that's easy to call from
  all languages) that will be used on many platforms
  (ios, android, winrt, windows, osx etc).
  [...]

 Hello Isak,

 what you want to do should indeed be possible to achieve using
 define-external. However, CHICKEN's runtime system needs to be
 initialized and the top-level Scheme code needs to be run before you can
 call back into scheme.

  [...]
  So what I did was that I created a simple test with the following
  source code:
  https://gist.github.com/BitPuffin/f8ad6fa6f43327a84611
  [...]

 Make the following changes:

 * Replace the call of CHICKEN_initialize in src/init.c by
   CHICKEN_run(C_toplevel). This will ensure that the runtime system is
   initialized *and* all top-level Scheme code that may do further
   initialization work has been executed once.

 * Add (return-to-host) to the end of src/itest.scm. This will ensure
   that the call to CHICKEN_run actually returns after all initialization
   work has been completed.

 Then your code should work as expected :-)

 Ciao,
 Thomas


 --
 When C++ is your hammer, every problem looks like your thumb.





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