[plt-scheme] Standard ML in PLT Scheme

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Dec 20 15:57:33 EST 2007

On Dec 20, 2007, at 3:11 PM, Chongkai Zhu wrote:

> Matthias Felleisen wrote:
>> Are the denotations of 1 the same in ML as in Scheme? How about  
>> closures?
>> Conjecture: It looks like you have created an unsound hybrid  
>> language. I.e., unsound from the perspective of ML; its invariants  
>> can be undermined now.
> My conjecture is that if type-inference (which includes type  
> checking) of haMLet is used, you can't violate an ML invariant in  
> pure ML: you have to do it in Scheme

This is unlikely unless you also impose contracts, which you haven't  

Export f : int -> int from an ML unit and in a Scheme unit, run (f  
true). Please let us know what the result is.

-- Matthias

Posted on the users mailing list.