[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dynamic vs. static typing

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?



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,,,()WVθΓΣEe1,,,,,()= V 2 Γ2 θ2
τ2,,,()WV1 θ1 Γ1 ΣEe2,,,,,()= α V 2̸ Γ' θ',()unify ΣΓ2 θ2τ1 θ2τ2
α→=,()= V 2 α{}∪Γ' θ'θ2 α,,,() W VθΓΣElet xe1= ine2,,,,,() V 1 Γ1 θ1
τ1,,,()WVθΓΣEe1,,,,,()= αn{}FVθ 1τ1()FVθ1E()–= W V1 θ1 Γ1\ αn{}ΣEx:
αn:Γ1αn.θ1τ1 e2,,, ,,()

David Farber

james mccartney
apple coreaudio