Typed Racket vs. Haskell - Racket Users

The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Message from discussion Typed Racket vs. Haskell
Received-SPF: neutral (google.com: 129.10.115.116 is neither permitted nor denied by domain of users-boun...@racket-lang.org) client-ip=129.10.115.116;
Received-SPF: pass (google.com: best guess record for domain of
	stamo...@ccs.neu.edu designates 129.10.116.51 as permitted
	sender) client-ip=129.10.116.51;
Date: Thu, 20 Sep 2012 11:33:32 -0400
Message-ID: <87ipb8675f.wl%stamo...@ccs.neu.edu>
From: Vincent St-Amour <stamo...@ccs.neu.edu>
To: thorso...@lavabit.com
In-Reply-To: <25518.77.105.186.199.1348123262.squir...@lavabit.com>
References: <58500.77.105.186.199.1347982242.squir...@lavabit.com>
	<C2D9BD24-3FE9-400B-8EA0-AF0F15C82...@brinckerhoff.org>
	<87sjaf6wyv.wl%stamo...@ccs.neu.edu>
	<25375.77.105.186.199.1347998909.squir...@lavabit.com>
	<41621.77.105.186.199.1347999232.squir...@lavabit.com>
	<D0C05DBD-67E5-4061-A9A9-FE335F117...@ccs.neu.edu>
	<20570.35393.46956.617...@winooski.ccs.neu.edu>
	<25518.77.105.186.199.1348123262.squir...@lavabit.com>
User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI/1.14.6 (Maruoka)
	FLIM/1.14.9 (=?UTF-8?B?R29qxY0=?=) APEL/10.8 Emacs/23.1
	(i486-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO)
MIME-Version: 1.0 (generated by SEMI 1.14.6 - "Maruoka")
Cc: us...@racket-lang.org
Subject: Re: [racket] Typed Racket vs. Haskell
Precedence: list
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Sender: users-boun...@racket-lang.org
Errors-To: users-boun...@racket-lang.org

At Thu, 20 Sep 2012 02:41:02 -0400 (EDT),
thorso...@lavabit.com wrote:
> > The required "translation" step will be mostly
> > removing the type declarations.  Doing the same with Haskell etc would
> > most likely be much harder.
> 
> Is it possible not to remove types?

Yes. A Typed Racket is a Racket program, so Racket can run it just fine.

What Eli was saying is that if you want to port it to, say, Guile, part
of the work will be removing the types, and part of it will be porting
the resulting Racket program to Guile.

> Vincent told me that one can "mix typed and untyped code" in Racket.

Here's a simple example:

    ;; in file typed.rkt
    #lang typed/racket
    (provide louder)
    (: louder : String -> String)
    (define (louder s) (string-append s "!"))

    ;; in file untyped.rkt
    #lang racket
    (require "typed.rkt")
    (displayln (louder "I can call typed code"))

The first module is written in Typed Racket, and the second in untyped
Racket. If you run "untyped.rkt", it prints "I can call typed code!", as
expected.

You can also require untyped code from typed code using `require/typed'.

> How it's done in Racket (the implementation details)? How these modules
> interact? Could you give me some pointers?

Typed Racket modules compile to Racket modules, which interact with
other Racket modules via the module system. To make sure that typed
functions don't get invalid inputs from untyped code, the Racket
contract system checks everything that goes from untyped to typed code.

For example, if the untyped module above tried to do

    (louder 3)

this would raise an error, since `louder' only accepts strings.

For more details about how contracts are used for typed-untyped
interaction, you can read
    http://www.ccs.neu.edu/racket/pubs/dls06-tf.pdf

> Why it's not possible in other Lisp-like languages (e.g. Guile)?

Typed Racket relies on several important pieces of infrastructure that
Racket provides: the module system, the contract system, and Racket's
language extension facilities (including, but not limited to the macro
system), among others.

For more information about how the Typed Racket implementation uses
these mechanisms, you can read
    http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf

Other systems that provide similar infrastructure could build their own
Typed Racket-like systems, too. Typed Clojure and Typed Ironscheme are
two such projects. IIUC, Guile has most of the necessary puzzle pieces,
too. But even with the necessary infrastructure, building such a system
remains a large engineering undertaking.

Vincent
____________________
  Racket Users list:
  http://lists.racket-lang.org/users
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
Account Options
