JavaTXCompilerInJavaTX/notizen/stf/Notes

- Was sind / wof<6F>r brauch man TTO und Classes
- Unify l<>st auch zirkul<75>re Abh<62>ngigkeiten a <. b <. c <. a
	- Tests dazu?
	- Pr<50>fung im Builder?
	
- Unterschied Wildcard und FreshWildcard, ExtendsWildcard und FreshExtendsWildcard etc...
	- FreshWildcard = TPH f<>r Wildcards?

- Warum ist result von unify = Menge<Menge<Pair>> und nicht Menge<Pair>

- Menge Equals <20>berarbeiten (Momentan Reihenfolgensensitiv)

- Wie kommen die Mengen des Unify-Algorithmus zustande? Siehe test: 		
		/*
		 * Test b <. a, a <. b
		 */
	
- 
	
		 
- Transitiven Abschluss von FC bilden um schneller Subtypen bestimmen zu k<>nnen	 
		 	 - Problem: 2 FCs  f<>r Pairs und MPairs durch das Mapping
- Equals der Typen schreiben um instanceof Pr<50>fungen zu vermeiden

- Refactoring der Klassen Menge und Pair erlaubt?
++++++++++++++++++++++++++++++++++++++++++++++


Instanceof wird verwendet da:
	-> Entscheidung f<>r diese L<>sung, da 2-Fach-Visitor oder DoubleDispatch Pattern
	enorm viele <20>berladene Methoden zur folge h<>tten, nicht intuitiv w<>ren und die rules in die Typen verschoben h<>tten.
	
Gilt reduce f<>r alle Typen oder nur f<>r simple und tphs? (Vermutlich nur s und tph sonst br<62>uchte  man keine upLow regel)

+++++++++++++++++++++++++++++++++++++++++++++++

HashCode implementierungen testen (type paramerte mit einbeziehen, hashcodes cachen -> da immutable)


+++++++++++++++++++++++++++++++++++++++++++++++
- Typen sind anhand ihres identifiers durchg<68>ngig identifizierbar

- ReduceEq nur auf SimpleTypes oder auf alles anwenden? (Momentan alles)
- ReduceEq Permutation?

EED UP
	- Anwendungsreihenfolge der Regeln (wahrscheinlichste zuerst, evtl ist nach regel 1 regel 2 nie m<>glich etc...)
		- Erase vor Reduce
		- Rechenarm vor rechenintensiv