101 reputation
1
bio website
location
age
visits member for 4 years, 3 months
seen Aug 6 at 16:27

Computer graphics professional with an interest in mathematics.


Sep
24
awarded  Autobiographer
Oct
11
comment What functionality does dynamic typing allow?
@grieve yes. There has been some success I think with simply typed lambda calculus.
Oct
5
comment What functionality does dynamic typing allow?
@DanielPryden: its not clear that eval is not possible for a typed language. Its an open problem.