Askemos 2000 (Archive)
home · features · download · archive

ProgrammingLanguageScheme

Scheme

Scheme is a small, extendable programming language defined upon a core of denotational semantics. In a way it's not really a language at all, since it has almost no syntax and the programmer is expected to think more at the structural level and less in terms of language idioms. Therefore two Scheme implementations are usually as different as Python compared to Java (or any other example - you name it).

General and background Information

http://www.schemers.org/ - find pointers standards SRFI's etc. there.

It's time to learn Scheme. A turtorial read more.

Suggested for beginners: Riastradh's Lisp Style Rules a guide to Lisp style, written by Taylor R. Campbell; parts are focussed on or specific to Scheme.

To learn about hygienic macros: Syntax-rules Primer for the Merely Eccentric.

Operational Semantics, administrative normal form

http://www.church-project.org/

There is a nice paper on use of continuations: http://jerry.cs.uiuc.edu/~plop/plop2001/accepted_submissions/PLoP2001/dferguson0/PLoP2001_dferguson0_1.pdf and an overview on the discovery of continuations: http://citeseer.nj.nec.com/reynolds93discoveries.html, Dave Herman A Schemer's Introduction to Monads.

Highlights

Anton van Straaten announced an interpreter based of just the 6 basic operations evaluation of constants, evaluation of variables, procedure application, lambda, if, and set! . (Whereby set! is not striktly required and not present in the strict functional subset "DSSSL" as implemented in Askemos.)

Oleg's beta evaluator http://okmij.org/ftp/Scheme/callcc-calc-page.html .

alexpander r5rs macro expander.

Kernel is a conservative, Scheme-like dialect of Lisp in which everything is a first-class object. ... Kernel eliminates the non-orthogonality problem by breaking the classical lambda constructor into two orthogonal parts, one of which is the Kernel constructor for first-class operatives.

How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules

A typechecker for Scheme http://www.cs.iastate.edu/~leavens/ComS342-EOPL2e/docs/ code is here http://www.cs.iastate.edu/~leavens/ComS342-EOPL2e/lib/

http://pysch.sourceforge.net/

Tail Recursion with Dynamic Scope

Tools

There are several tools to easy the task of documenting Scheme (and LISP) code, e.g, http://youpou.lip6.fr/queinnec/WWW/l2t.html also Elucidative Programming http://www.cs.auc.dk/~normark/elucidative-programming and should go to ProjectsOnThePlate.

The first usable implementation (version 0.5 and above) of Askemos where based on RScheme. With the support of Felix Winkelmann, a port to the TargetPlatformchicken is currently the forthcoming.

#f small self contained compiler for a subset of Scheme.

scheme-complete.el provides real-time, lexical-scope aware type inferencing tab-completion for any R5RS scheme, with extensibility for implementation-specific features.

module system

There's a module systemin R6RS, (from here)

However the Scheme community is split up over the merits of r6rs. Some folks propose a err5rs as a practical migration path from the R5RS to some future standard that supersedes both the R5RS and the R6RS.

The StandardML module system as provided by chicken looks promising. Others to evaluate are PLT, Scheme 48, bigloo (more?). Beware: some don't allow rename on import, something you need!

Libraries

Scheme Now!, also know as Snow, is a repository of Scheme packages that are portable to several popular implementations of Scheme.

A rscheme port of the pattern matcher (syntax exension) from Andrew K. Wright and Bruce F. Duba is distributed with the Askemos code since version 0.7.2. Original at ftp://titan.cs.rice.edu/public/wright/match.tar.Z

Schematics Scheme libs primarily for plt scheme http://schematics.sourceforge.net/

There are some things to say about Scheme. Most are rather philosophical, oncerned with long term availibility. (Aka "ease of implementation".) I ommit writing this up and refer you to people more capable at that.

Anyway I need a place, where to put some pointers.

A library of Scheme related research

Editors

emacs mode

schemeway for eclipse





border
last modification: Tue, 04 Nov 2008 20:56:48 +0100
authors: jfw, hgm,
document identifier: A849640f672ed0df0958abc0712110f3c
delivered to public at Tue, 29 Jul 2014 22:51:36 +0200
short comments


rss

pdf :: context view

search



24 Apr 2004 DefineInsecureMode
12 Dez 2010 FreeBSD
07 Dez 2010 BALLFeatures
05 Dez 2010 ByzantineAgreement
04 Dez 2010 SQLITE
03 Dez 2010 SRS
12 Okt 2010 WebDAV
12 Sep 2010 SQL
16 Jun 2010 BALL
16 Jun 2010 CouchDB
16 Jun 2010 AskemosServer
07 Mai 2010 SystemRequirements
30 Mar 2010 ProjectsOnThePlate
30 Mar 2010 AskemosResources
30 Mar 2010 RSchemeInstall
30 Mar 2010 INSTALL
30 Mar 2010 ChickenScheme
debug-access.scm
27 Nov 2009 subscriber
development
12 Jul 2009 test
01 Jul 2009 TrustCenter
27 Dez 2008 JKomG
26 Dez 2008 FanOut
26 Dez 2008 MIME
NetBSD
NOTE
02 Mai 2006 AskemosTopMenu
18 Nov 2008 StorageAdaptor
18 Nov 2008 PStoreStorageAdapt
18 Nov 2008 OperationTips
15 Nov 2008 PCRE
04 Nov 2008 ProgrammingLanguag
09 Sep 2008 RelatedProjects
23 Jul 2008 ModuleStructure05
17 Jun 2008 NEWS
17 Jun 2008 HTML
17 Jun 2008 ACM
22 Mai 2008 HTTP
22 Mai 2008 BOSH
10 Mai 2008 AskemosBibliograph
10 Mai 2008 JerrysDreamAbstrac
20 Apr 2008 XSLT
11 Mar 2008 CodingStyle
10 Mar 2008
09 Mar 2008 MIMEConverter
BSD
07 Mar 2008 XML
06 Mar 2008 SRFI
01 Mar 2008 RFC4810
01 Mar 2008 RFC4998






http://www.cs.indiana.edu/~aghuloum/ikarus/
Add


home · features · download · archive