[plt-scheme] TypedScheme: alpha release

From: Greg Woodhouse (gwoodhouse at yahoo.com)
Date: Mon Dec 18 15:39:52 EST 2006

I don't seem to be having much luck. I tried the form you gave (with "info.ss") as well as what is listed on the PLaneT web site, namely 

(require (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 0)))

I also tried "samth" instead of "plt". In each case, the error message is

require: PLaneT could not download the requested package: Server did not include valid major and minor version information in: (planet "typed-scheme.ss" ("plt" "typed-scheme.plt" 1 0))

I'm using version 369.1-svn6dec2006 under XP.  (I have OS X and Ubuntu at home, but am unable to try them right now.)
Gregory Woodhouse 
"Mathematics is the science of patterns."
--Lynn Arthur Steen, 1988

----- Original Message ----
From: Sam TH <samth at ccs.neu.edu>
To: plt-scheme <plt-scheme at list.cs.brown.edu>
Sent: Monday, December 18, 2006 11:09:54 AM
Subject: [plt-scheme] TypedScheme: alpha release

The TypedScheme programming language, a dialect of PLT Scheme
with static type checking, is now available from PLaneT. The
language is explicitly typed and supports some polymorphism. Its
type system is designed to support the common Scheme programming
style, as used in The Little LISPer/Schemer or How to Design

This alpha release consists of a functional core language with
typed definitions of all kinds, including variables, functions
and structures as well as some polymorphism.

We expect the language to include imperative constructs in the
near future.

Web page: http://www.ccs.neu.edu/~samth/typed-scheme.html
Documentation: http://www.ccs.neu.edu/~samth/typed-scheme/
PLaneT link: http://planet.plt-scheme.org/#typed-scheme.plt
   (require (planet "info.ss" ("plt" "typed-scheme.plt")))
   or (from a command line)
   > planet -i plt typed-scheme.plt 1 0
Feedback: samth at ccs.neu.edu

All feedback, concerning the programming language, its
documentation, and its implementation is welcome.


Sam Tobin-Hochstad

  For list-related administrative tasks:

Posted on the users mailing list.