[plt-scheme] Re: What is the type of the "hello_world" function in Typed Scheme?

From: Henk Boom (lunarc.lists at gmail.com)
Date: Tue Oct 14 08:46:35 EDT 2008

2008/10/14 Benjamin L. Russell <DekuDekuplex at yahoo.com>:
>>(: hello-world-function (-> Void))
>>(define (hello-world-function)
>>  (display "Hello world."))
> I tried this one out, but it didn't print anything.  The same result
> occurred when "display" was substituted with "write," and with
> "printf," as well.
> Do you know how to rewrite this function in a way that its behavior is
> identical to "hello-world"; i.e., in a way that actually prints the
> argument string specified?

(Sorry! I didn't reply to list the first time. . .)

You have to call the function:

(: hello-world-function (-> Void))
(define (hello-world-function)
 (display "Hello world."))


Posted on the users mailing list.