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

From: Benjamin L.Russell (DekuDekuplex at Yahoo.com)
Date: Tue Oct 14 03:11:07 EDT 2008

As an experiment, I would like to write the "hello_world" function in
Typed Scheme, but am having difficulty with the type annotation.

This is the function in the regular #scheme Module language:

#lang scheme

(define hello_world
  (display "Hello, world!\n"))

However, although I browsed through the following Typed Scheme manual:

Typed Scheme: Scheme with Static Types
http://docs.plt-scheme.org/typed-scheme/

it wasn't clear how to define a function that does not take any input.

Does anybody know how to define the above-mentioned function in Typed
Scheme?

-- Benjamin L. Russell



Posted on the users mailing list.