Hey, that project of your sounds cool. How would it differ from ATS?
Sorry that you're working on such an evil language. I'm a bit surprised you got stuck on that one instead of Objective-C or the other JavaScript team. What is your opinion of concepts?
A few ways - although keep in mind that this is still very speculative. First, I'm thinking of using a Pure Type System as my theory; the idea is to syntactically allow manipulation of types as if they were first-class values, but then to enforce type erasure after semantic checking. Second, I want to permit very direct metaprogramming via Lisp-like (untyped) program manipulation; for example, a structure type could define its own custom property-resolution macro, or a function could be partially rewritten by an attribute. But I'm sure that I'll also end up cribbing from ATS a lot.
I'm a bit surprised you got stuck on that one instead of Objective-C or the other JavaScript team.Getting pulled to the WebKit team is unlikely even if the project eventually gets accepted, because the management chains basically meet for the first time at Steve Jobs, and our management doesn't want to give us up
( ... )
Comments 2
Sorry that you're working on such an evil language. I'm a bit surprised you got stuck on that one instead of Objective-C or the other JavaScript team. What is your opinion of concepts?
Reply
A few ways - although keep in mind that this is still very speculative. First, I'm thinking of using a Pure Type System as my theory; the idea is to syntactically allow manipulation of types as if they were first-class values, but then to enforce type erasure after semantic checking. Second, I want to permit very direct metaprogramming via Lisp-like (untyped) program manipulation; for example, a structure type could define its own custom property-resolution macro, or a function could be partially rewritten by an attribute. But I'm sure that I'll also end up cribbing from ATS a lot.
I'm a bit surprised you got stuck on that one instead of Objective-C or the other JavaScript team.Getting pulled to the WebKit team is unlikely even if the project eventually gets accepted, because the management chains basically meet for the first time at Steve Jobs, and our management doesn't want to give us up ( ... )
Reply
Leave a comment