Re: dynamic vs. static typing

[James McCartney <address@hidden>]

set text encoding to UTF-8 


On Nov 19, 2003, at 4:54 PM, David Farber wrote:

> I see lots of UKP and EUR signs. This doesn't have anything to do with those currency traders who just got busted, does it?
>
> <grin>
>
> david
>
> At 02:28 PM 11/19/2003 -0800, James McCartney wrote:
> > =let in =let in =let in = let in W ∃VθΓΣEx,,,,,()αn:Sn.τ∀ Ex()= 
> > βn{}V∩∅= V βn{}∪Γβn:Sn θβn αn⁄τ,,, W ∃VθΓΣEλx.e,,,,,()α V∉ V' Γ' θ' 
> > τ,,,()W ∃V α{}∪θΓΣEx:α[]e,,,, ,()= V' Γ' θ' ατ→,,,() W 
> > ∃VθΓΣEe1e2(),,,,,()V1 Γ1 θ1 τ1,,,()W∃VθΓΣEe1,,,,,()= V 2 Γ2 θ2 
> > τ2,,,()W∃V1 θ1 Γ1 ΣEe2,,,,,()= α V 2∉ Γ' θ',()unify ΣΓ2 θ2τ1 θ2τ2 
> > α→=,()= V 2 α{}∪Γ' θ'θ2 α,,,() W ∃VθΓΣElet xe1= ine2,,,,,() V 1 Γ1 θ1 
> > τ1,,,()W∃VθΓΣEe1,,,,,()= αn{}FVθ 1τ1()FVθ1E()–= W ∃V1 θ1 Γ1\ αn{}ΣEx: 
> > αn:Γ1αn.θ1τ1∀ e2,,, ,,()
>
> --
> David Farber
> dfarber@numenor.com
--
james mccartney
apple coreaudio