Remove old file

notes2.txt

-donc en gros soit un type est concret et a des membres
-soit un type est générique et contient une fonction qui génère une instance
-
-Type :
-	- Concrete { members: Type[] }
-		- UserType
-		- FunctionType
-	- Generic { parameters: str[], concrete: str[] -> Concrete }
-	
-	
-def f(x): # un type gen par paramètre
-	return x
-	
-Generic { parameters: ["T"], concrete -> FunctionType(... -> ...) }
-
-
-f(5).bidule => instancier le type de f avec un TypeVar pour chaque paramètre 
-			   obtenir un type fonction concret rempli de TypeVar
-			   évaluer et unifier
-			   
-en fait dès qu'on utilise un type générique implicitement (e.g. appel fonction ou usage sans <> )
-on en fait une instance en mettant une TypeVar pour chaque paramètre
-
-def y_to_x(y):
-	return ...
-
-class Container(Generic[T]):
-	x: T
-	def __init__(self, x): # implicitement __init__[S, X](self: S, x: X)
-		self.x = x
-	
-	def get_x(self):
-		return self.x
-		
-	def set_y(self, y): # implicitement set_y[Y](y: Y)
-		self.x = y_to_x(y)
-		
-		
-Container : Generic { 
-	param: ["T"], 
-	concrete: [T] -> type(
-		"x": T, 
-		"init": Generic { param: ["X"], concrete: [X] -> (X -> ()) }
-		"get_x": () -> T, 
-		"set_y": Generic { param: ["Y"], concrete: [Y] -> (Y -> ()) }
-	)
-}
-
-
-x = Container(4) # ici on instancie Container avec un TypeVar donc on a `x: Container[A]`
-				 # on récupère son __init__ qui est de type <S, X> (S, X) -> ()
-				 # idem on instancie ce type avec deux typevars, B et C, donc init est (B, C) -> ()
-				 # unifie B et type(x) => B=Container[A]
-				 # unifie C et type(4) => C=int
-				 # et on lit le corps de __init__ pour faire le reste de l'unification
-				 # self.x est de type A, via l'assignation on unifie A=C=int
-				 # donc x: Container[int] 
-
-
----------------------------------------------------------------------------
-
-
-fonction : type concret qui a un type caché qui correspond à ce qui sera générique en gros
-pareil pour les classes
-donc on peut passer des types génériques puisqu'ils sont wrappés par un type concret
-
-----------------
-faire des tags v0.1 v0.2 pour proto 1 et version qui marche
\ No newline at end of file