« December 2005 | Main | February 2006 »
January 18, 2006
[Research] Static typechecking in Mozart
Looking for the gotchas in static type checking oz/mozart.
Here's one: Oz and Mozart Users Mailing List: Re: Type checking Typecheckign would require a dynamic data flow analysis. So my question would be: why does working with a language that has logic variables and constraints turn the dataflow problem into a dynamic property? Once I get my head around that, I am willing to entertain methods from partial evaluation and/or model checkign to assist in type checking.
Posted by jones at 08:12 AM | Comments (0)