MPS Support | JetBrains

Fedor Isakov

Total activity 25
Last activity May 12, 2023 06:15
Member since May 31, 2017 12:55
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 9

Created September 04, 2017 12:18

There is an expression 'immediateSupertypes()` defined in j.m.l.typesystem language. You can use DFS or BFS to navigate all supertypes. Keep in mind that the supertypes graph may contain cycles.
- 1 vote
Created February 09, 2021 08:08

Hi, a when_concrete on a sequence of size n is implemented in typechecking rule for method invocation. It's not exactly straightforward, but doable. The idea is that when_concrete blocks are execu...
- 0 votes
Created December 14, 2018 15:37

You are right in the assumption that all MPS models are, as of now, eventually generated to text files, which are then processed by an external tool, such as compiler. Along with the generated text...
- 0 votes
Created December 10, 2018 11:52

May I inquire why is my suggestion to replace inference with checking on already calculated types does not work for you? Also, when it comes to higher order functions, one has to be very careful in...
- 0 votes
Created December 05, 2018 14:02

So, the problem seems to be that the particular rule (an inequation replacement rule) doesn't apply when you expect it. The issue here is that the order, in which rules are applied, is not specifie...
- 0 votes