[plt-scheme] TypedScheme: alpha release

On Dec 18, 2006, at 11:09 AM, Sam TH wrote:

> The TypedScheme programming language, a dialect of PLT Scheme
> with static type checking, is now available from PLaneT. ...


I don't think I've installed anything from PLaneT before, so I'm kind  
of flying blind.

> Installation:
>    (require (planet "info.ss" ("plt" "typed-scheme.plt")))

I entered this explicitly

>    or (from a command line)
>> planet -i plt typed-scheme.plt 1 0
> Feedback: samth at ccs.neu.edu
>
> ...

Now that I'm not behind a firewall, I get something. I entered

(module fib (planet "typed-scheme.ss"  ("plt" "typed-scheme.plt" 1))
   (define: (fib [n : number]) : number
     (let: ([base? : boolean (or (= 0 n) (= 1 n))])
       (if base? 1
           (+ (fib (- n 1) (- n 2)))))))

in the definitions window. On clicking "Run", I got


typecheck: Too many arguments to function, expected 1, got 2 in: (#% 
app fib (#%app - n (#%datum . 1)) (#%app - n (#%datum . 2)))
 >

I presume that wasn't expected.

Gregory Woodhouse
gregory.woodhouse at sbcglobal.net

"We may with advantage at times forget what we know."
--Publilius Cyrus, c. 100 B.C.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20061219/54694566/attachment.html>