From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: guile-contract guile-syntax-parse and clambda Date: Sun, 18 Mar 2012 13:20:29 +0100 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=0015174c0e9cab197a04bb83775b X-Trace: dough.gmane.org 1332073268 19773 80.91.229.3 (18 Mar 2012 12:21:08 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 18 Mar 2012 12:21:08 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Mar 18 13:21:07 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1S9F6g-0003iS-8p for guile-devel@m.gmane.org; Sun, 18 Mar 2012 13:21:06 +0100 Original-Received: from localhost ([::1]:47487 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S9F6f-0001IC-6e for guile-devel@m.gmane.org; Sun, 18 Mar 2012 08:21:05 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:34061) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S9F6O-0001GJ-C8 for guile-devel@gnu.org; Sun, 18 Mar 2012 08:21:03 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S9F68-0008Ou-I2 for guile-devel@gnu.org; Sun, 18 Mar 2012 08:20:47 -0400 Original-Received: from mail-ee0-f41.google.com ([74.125.83.41]:44748) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S9F68-0008Ol-8t for guile-devel@gnu.org; Sun, 18 Mar 2012 08:20:32 -0400 Original-Received: by eeke53 with SMTP id e53so2791261eek.0 for ; Sun, 18 Mar 2012 05:20:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=wbpHVq8SlDaJ9J0TvWyl3ymOpLgAfBGfwEhZ0ycVEOk=; b=X3dVYiU7JqGexe2SEdBkS9HG7teecmC5WZGmKCQ18XXKJqCNFPbzfKbmeS5u1bGxej FVRuhA7hF0AHgWppyObc5HACyZVZPXRCwKcVrzSBsn7pzw5R8Sj6oWjGbVhfFHvmtSZI f7fsgr/u9+S3tYGNJ6fRguxZtqOOGYSOeZ0vbNWmQp2F6jJstX0aoqPwvhacM7Q4Moqy e/XOIzusMQQ8JzVEwBnbTxxooVjkY+Pb1l8OW/2w1s41hTJuPQiIfk7f7qzLRfWjHc7V f/VC8YR9LVcuRhMih+fou6ItnYVweMi8UA4NyAqpqlWjwPPxLFcjcepuIjK22qyEC1Qo yW4g== Original-Received: by 10.213.113.130 with SMTP id a2mr549149ebq.127.1332073229653; Sun, 18 Mar 2012 05:20:29 -0700 (PDT) Original-Received: by 10.213.32.10 with HTTP; Sun, 18 Mar 2012 05:20:29 -0700 (PDT) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 74.125.83.41 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:14136 Archived-At: --0015174c0e9cab197a04bb83775b Content-Type: text/plain; charset=ISO-8859-1 Hi, I just wanted to mension three projects that I've been working on lately (as some of you alerady know) https://gitorious.org/guile-syntax-parse -------------------------------------------------------- This is racket's syntax parse ported over to guile. It works now so well that I released a v. 0.1 of it and it's ready to be used. Please see racket documentation of syntax parse to understand what it can do or look at the examples in test.scm. https://gitorious.org/guile-contract ------------------------------------------------- This is racket's contracts ported over to guile environment. I think is ready for play-time. Still rough in the edges and again check racket docs or test.scm in that source tree to see what it can do. Read the README before playing with it. https://gitorious.org/clambda ----------------------------------------- This is a year old code that I made. I just release it as a standalone package in order for people to start playing with it. This is basically C in schemish style. This is not what we would like people to use because in the end writing it in scheme will be enough, but still the inner loops might be needed to be coded in C and this wrapper make the integration of scheme and guile quite smoothly. Please look in the examples directory and ask questions in #guile if you want to play with it because it's undocumented. features: pmatch in C simple closures in C tail calls in C Scheme lists quoting backquoting seamles string/symbol/number integration with guile Oh an example of prolog in C using the closures and tail calls Have fun /Stefan --0015174c0e9cab197a04bb83775b Content-Type: text/html; charset=ISO-8859-1 Hi,

I just wanted to mension three projects that I've been working on lately
(as some of you alerady know)


https://gitorious.org/guile-syntax-parse
--------------------------------------------------------
This is racket's syntax parse ported over to guile. It works now so well that I released
a v. 0.1 of it and it's ready to be used. Please see racket documentation of syntax parse
to understand what it can do or look at the examples in test.scm.


https://gitorious.org/guile-contract
-------------------------------------------------
This is racket's contracts ported over to guile environment. I think is ready for play-time.
Still rough in the edges and again check racket docs or test.scm in that source tree to see what
it can do. Read the README before playing with it.

https://gitorious.org/clambda
-----------------------------------------
This is a year old code that I made. I just release it as a standalone package in order for people to
start playing with it. This is basically C in schemish style. This is not what we would like people to use
because in the end writing it in scheme will be enough, but still the inner loops might be needed to be coded
in C and this wrapper make the integration of scheme and guile quite smoothly. Please look in the examples
directory and ask questions in #guile if you want to play with it because it's undocumented.

features:
pmatch in C
simple closures in C
tail calls in C
Scheme lists quoting backquoting seamles string/symbol/number integration with guile
Oh an example of prolog in C using the closures and tail calls

Have fun

/Stefan
--0015174c0e9cab197a04bb83775b--