TypeSystem [1033960]

< > BotCompany Repo | #1033960 // TypeSystem

JavaX fragment (include) [tags: use-pretranspiled]

sclass TypeSystem<T> {
  // override if you have supertype (subtype) relations in your type system
  // you can assume neq(a, b)
  swappable bool isActualSupertypeOf(T a, T b) { false; }
  
  bool isSupertypeOf(T a, T b) {
    ret eq(a, b) || isActualSupertypeOf(a, b);
  }
  
  bool operatorCanTakeArguments(GOperator<T> op, T... types) {
    ret matchTwoLists(lambda2 isSupertypeOf,
      reallyLazyMap(op.arguments, a -> a.type()), types);
  }
  
  L<GOperator<T>> resolve(GPolymorphicOperator<T> polyOp, T... types) {
    ret filter(polyOp.definitions, op -> operatorCanTakeArguments(op, types));
  }
  
  swappable S typeToString(T type) { ret str(type); }
}

Travelled to 4 computer(s): bhatertpkbcr, ekrmjmnbrukm, mowyntqkapby, mqqgnosmbjvj

Snippet ID:

#1033960

Snippet name:

TypeSystem

Eternal ID of this version:

#1033960/7

Text MD5:

3cf7b0d7872e8b22c1fb28196d84929a

Transpilation MD5:

45541a1e26bb7a4266ee448fbac0dfcb

Author:

stefan

Category:

javax / scripting

Type:

JavaX fragment (include)

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2022-01-15 02:32:05

Source code size:

682 bytes / 20 lines

Pitched / IR pitched:

No / No

Views / Downloads:

412 / 575

Version history:

6 change(s)

Referenced in:

[show references]

1	sclass TypeSystem<T> {
2	// override if you have supertype (subtype) relations in your type system
3	// you can assume neq(a, b)
4	swappable bool isActualSupertypeOf(T a, T b) { false; }
5
6	bool isSupertypeOf(T a, T b) {
7	ret eq(a, b) \|\| isActualSupertypeOf(a, b);
8	}
9
10	bool operatorCanTakeArguments(GOperator<T> op, T... types) {
11	ret matchTwoLists(lambda2 isSupertypeOf,
12	reallyLazyMap(op.arguments, a -> a.type()), types);
13	}
14
15	L<GOperator<T>> resolve(GPolymorphicOperator<T> polyOp, T... types) {
16	ret filter(polyOp.definitions, op -> operatorCanTakeArguments(op, types));
17	}
18
19	swappable S typeToString(T type) { ret str(type); }
20	}