Daniel Pitts

- Total activity 63
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 3
- Subscriptions 23
-
-
-
Daniel Pitts created a post, Type Inference of Generic Methods during Generation.
Is there any library call to get a mapping of TypeVariableDeclaration->concrete type for an IMethodCall? Or anything that can help with that? (edited) If it helps, I’m doing this in the Generator. -
-
Daniel Pitts commented, -
-
Daniel Pitts created a post, Extending generator plan?
Some language aspects use a generator plan (typesystem, for instance). For that reason, I don't see any way to use a new language in the typesystem aspect. The new language's generator just doesn'... -
Daniel Pitts created a post, SInterfaceConcept vs SConcept a false dichotomy?
I spent hours today tracing through the MPS kernel because I wanted to understand childConcept.isExactly(ConceptA) was failing in a constraints method. It came down to the fact that in order to ca... -
-
Daniel Pitts created a post, Making behavior method which takes a concept and returns nodes of that concept.
I'd like to have a method in a behavior: sequence<node<C>> getThings(concept<C> ofConcept) { return this.model.nodes(ofConcept); // in reality, this is filtered more.} I'd then like to be able t...