Tyler Hodgkins
Senior Language Engineer @ Workday, Inc.
- Total activity 16
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 3
- Subscriptions 4
-
Tyler Hodgkins created a post, MPS Typesystem: Explicit Pull-up vs Push-down constraints
In our language we often run into a use case where a given type variable has both upper and lower bounds. Given variable `a`, these bounds might be declared as such: a :<=: ClassType(SomeClass)a :>... -
-
-
Tyler Hodgkins created a post, Annotate MPS Diff Viewer with additional information
I am looking to add external information to the MPS Diff viewer. Ideally this would also allow for interactivity and not be read-only.How could I go about implementing this? I'm fine with using eit... -
-
-
-
Tyler Hodgkins created a post, How to suppress errors from type inference rules.
In our language, we report well-known type errors using checking rules. These rules more or less guarantee that we have access to concrete nodes, allowing us to correctly report errors on them.We a... -
Tyler Hodgkins created a post, Behavior of "TypeCheckingContext.checkRoot()" is different than in-IDE type checking.
I’m currently encountering an discrepancy between the type of a node in the IDE and its’ type after having the typechecker run programmatically. For some reason, some type equations aren’t substitu...