Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Differences between Guile Scheme and Standard Scheme (in Racket IDE)?

I've got a bunch of "legacy" Guile Scheme code that I want to get running in the Racket Scheme IDE. There appear to be enough differences to make this a non-trivial exercise. (My level of Scheme knowledge is the level to complete the The Little Schemer).

My question is:

  1. What are the differences between Guile Scheme and Standard Scheme (in the Racket IDE)?
  2. In light of these differences, in general, what are the steps I'll need to take to convert some Guile Scheme Code to standard Scheme?

Additional: (happy with divergence between Racket Scheme and R5RS/R6RS) - what I want is to get 'something' to run in the Racket IDE - rather than the Racket language.

like image 919
hawkeye Avatar asked May 17 '12 13:05

hawkeye


1 Answers

If by "Standard Scheme (in the Racket IDE)," you mean the Racket language, i.e., what you get when you prefix your code with #lang racket, then the top four differences to look out for are:

  • a different module system
  • a different macro system (depending on how old your code is)
  • immutable cons-cells (unless you import mutable ones)
  • no one-armed ifs in Racket (use when)

To port code from Guile to Racket, find out which files are "at the bottom" of your dependencies, i.e., find the files that do not depend on other files. Open such a file in Racket, add the line #lang racket at the top, and try to run it.

You will most likely encounter some "unbound identifier" errors. If you are lucky, the function is present in Racket, but not included in the "racket" language. Search for the name in the Racket documentation, and if you find it, then use (require ...) to import the name into your program.

Then run the program again to find the next error.

Some function are named differently in Guile and Racket, so look up the name in the Guile documentation and see what it does. Then open the Racket documentation on the same subject, and see what it is called in Racket.

In some cases you may have to make bigger changes. If you can't find some piece of functionality in the Racket documentation, then try asking the mailing list. It could be that it simply has a different name, or that somebody implemented it and put it on PLaneT (thus it will no appear in the documentation until you have installed the package).


Example of importing srfi/1 into the R5RS language.

#lang r5rs
(#%require srfi/1)
(xcons 1 2)

Differences from R4RS code to modern Scheme?

One thing to look out for is that in R4RS the empty list '() counted as false, not it is interpreted as true.

See this question for more things to look out for:

Running SICP Pattern Matching Rule Based Substitution Code

See also this list of changes from the R5RS standard: List of changes from R4RS to R5RS

like image 117
5 revs, 2 users 89% Avatar answered Sep 21 '22 19:09

5 revs, 2 users 89%