« Resources on the analytical hierarchy | Main | Better Writing. »
January 18, 2006
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 January 18, 2006 08:12 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)