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

On Tue, Oct 14, 2008 at 8:11 AM, Benjamin L. Russell
<DekuDekuplex at yahoo.com> wrote:
> As an experiment, I would like to write the "hello_world" function in
> Typed Scheme, but am having difficulty with the type annotation.

Scheme style is hello-world, not hello_world.  Anyway, here's the answer:

#lang typed-scheme

(: hello-world Void)
(define hello-world
  (display "Hello, world"))

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


N.