[Chicken-users] New Egg: miniKanren

2016-02-16 Thread Jeremy Steward
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256

Hello all,

Hope you all find yourselves well. I am sending this today to announce the
1.0 release of the latest miniKanren implementation. There's a bit of history
here, so I'll try to summarize. However, if you're interested in seeing the
implementation use the following link:

https://bitbucket.org/ThatGeoGuy/chicken-minikanren

We already have the "Kanren" egg, which provides the old Kanren language as
well as the miniKanren implementation from "The Reasoned Schemer" (Dan
Friedman, William Byrd, Oleg Kiselyov, MIT Press.). While this egg is great
for working through the examples in the book, it does not provide the latest
implementation of the miniKanren language (as it has evolved over the years).

The latest implementation of miniKanren (found
https://github.com/miniKanren/miniKanren) is unfortunately both very
different and incompatible with the language of the same name used in The
Reasoned Schemer. Although they are both similar, there are some notable change
s:

  1. condi no longer exists
  2. conde now behaves like condi (to provide stronger termination guarantees)
  3. else is removed as syntax from conde, conda, and condu
  4. the latest version introduces disequality constraints (=/=) as well as
 some type-constraint operators (absento, numero, symbolo, booleano).

After some discussion with the current maintainer (Alex Shinn), we have both
decided it is probably better to packaged the canonical implementation as a
separate miniKanren egg, while he has agreed to rename the mini-kanren module
in the "Kanren" egg to `reasoned-schemer` or some such. This means that
people working through The Reasoned Schemer can still use the implementation
that works with the book, while users coming from Clojure's core.logic or
Racket's miniKanren implementation can still use all the facilities that
they'll be used to in the latest version of the language.

I would be happy to answer any questions if there are any. Mario, could this
be added to the coop, or are there additional steps I must take first?

Best regards,
- -- 
Jeremy Steward
-BEGIN PGP SIGNATURE-
Version: GnuPG v2

iQIcBAEBCAAGBQJWw4bUAAoJEHVwwAZUeZnZ0p8QAKJH2MeT5E9vT2/2seuT0gex
tbq8XFyzNWaKTUO9t97Dew4vcKLCKL9iFOZPep4OihAb3FskjfxqYSCQxTdgK0PC
EBsDHNqaBdaZ7O3Olt9xLZ1MUb0cAtYsg1A2FHE6WPlPaT5tqGptOmcnJpRrSkx8
gnV5i5yCdwUxlaW8YXNOy8ZbJyuxF5DdGgBEirhkevyfYVDcYKcmAEf8WtXiXOS0
5VXYajS3LLyIGRi7TFo5sCBeqmd4rEKyNdF6eQK1Q9wGidA7Zh8Y469xqa/s03Y9
gccM8Njc9x7SId3TF7VQuIdKyfGNAY5pOKLPSTsEhzzB5tEEV7nJj4Jy7Ka+FgcU
NWBEINnj46Bkxk0bVi3azddDf1W8p0K3K0Jo5X3z+O7ekeXA3MnKUOAyGk1+6Sfl
fbDw2e7HhzYpgjaayWJ4Qb/aHq44uqBF/xtvUTBlGj9ZSrvwb8h8FzgpZulaW5+u
9yEtr5Qj7I/slW3u66ZpulzhkvgdJrzgg6OL/fsOcFvEI0vPUjMHxLA6AAO90ub+
IFcpGIf+kH2gmQHxs/nFE4CgrFm4J5DqaGb4+dRHkTmkfPFQFKauWYmFUxrOtFYl
1RZ4uzYZnYUgRCgsSnSHczrmLzlhDkj15X+xr+bNXNKxE6bFqVi8PD8tzdixtToK
In3tGWjUAN82WEAE/sKp
=5zJu
-END PGP SIGNATURE-

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


[Chicken-users] [TFPIE 2016] 1st call for papers

2016-02-16 Thread Peter Achten

  Trends in Functional Programming in Education (TFPIE 2016)
  Call for papers
 https://wiki.science.ru.nl/tfpie/TFPIE2016

The 5th International Workshop on Trends in Functional Programming in
Education, TFPIE 2016, will be held on June 7, 2016 at the University
of Maryland College Park in the USA. It is co-located with the
Symposium on Trends in Functional Programming (TFP 2016) which takes
place from June 8 - 10.

*** Goal ***

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 2016 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 2016 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 rejected for
presentation and extended abstracts will not be formally reviewed by
the PC. TFPIE workshops have previously been held in St Andrews,
Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands
(2014), and Sophia-Antipolis, France (2015).

*** Program Committee ***

  Stephen Changat Northeastern Universityin 
Massachusetts, USA

 Marc Feeley   at Université de Montréal in Québec, Canada
 Patricia Johann   at Appalachian State University   in North 
Carolina, USA
  Jay McCarthy at University of Massachusetts Lowell in 
Massachusetts, USA (Chair)

Prabhakar Ragdeat University of Waterloo in Ontario, Canada
Brent Yorgey   at Hendrix Collegein Arkansas, USA

*** Submission Guidelines ***

TFPIE 2016 welcomes submissions describing techniques used in the
classroom, tools used in and/or developed for the classroom and any
creative use of functional programming (FP) to aid education in or
outside Computer Science.  Topics of interest include, but are not
limited to:

- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- Tools supporting learning FP
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy

*** Best Lectures ***

In addition to papers, we request "best lecture" presentations. What
is your best lecture topic in an FP related course? Do you have a fun
way to present FP concepts to novices or perhaps an especially
interesting presentation of a difficult topic? In either case, please
consider sharing it. Best lecture topics will be selected for
presentation based on a short abstract describing the lecture and its
interest to TFPIE attendees.

*** Submission ***

Papers and abstracts can be submitted via EasyChair at the following
link:

https://easychair.org/conferences/?conf=tfpie2016

It is expected at at least one author for each submitted paper will
attend the workshop.

*** Registration & Local Information ***

Please see the TFP site for registration and local information:

http://tfp2016.org/

*** Important Dates ***

April 27, 2016: Submission deadline for draft TFPIE papers and 
abstracts

  May  3, 2016: Notification of acceptance for presentation
  May 13, 2016: Registration for TFP/TFPIE closes
 June  7, 2016: Presentations in Maryland, USA
 July  7, 2016: Full papers for EPTCS proceedings due.
September  1, 2016: Notification of acceptance for proceedings
September 22, 2016: Camera ready copy due for EPTCS

Submission of an abstract implies no obligation to submit a full version;
abstracts with no corresponding full versions by the full paper deadline 
will be

considered as withdrawn.


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