2015-10-18 11:47:17 +00:00
|
|
|
|
- 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?
|
2015-10-18 13:13:28 +00:00
|
|
|
|
- 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>
|
|
|
|
|
|
|
2015-10-19 07:34:44 +00:00
|
|
|
|
- Menge Equals <20>berarbeiten (Momentan Reihenfolgensensitiv)
|
|
|
|
|
|
|
|
|
|
|
|
- Wie kommen die Mengen des Unify-Algorithmus zustande? Siehe test:
|
|
|
|
|
|
/*
|
|
|
|
|
|
* Test b <. a, a <. b
|
|
|
|
|
|
*/
|
