3.20.2 -- Type variables
0 wyświetleń
Przejdź do pierwszej nieodczytanej wiadomości
Steven Nay
23 lis 2010, 18:28:2123.11.2010
do CS 330 mailing list
Is "annotating each expression with an appropriate type variable" the same process as described in problem 1? That is, labeling each subexpression with a circled/boxed superscripted number and using "type variables," such as alpha and beta, to label the free variables in a type expression.
Steve Nay
Jay McCarthy
23 lis 2010, 19:48:4323.11.2010
do byu-cs-330...@googlegroups.com, CS 330 mailing list
Yes
Sent from my iPhone
Odpowiedz wszystkim
Odpowiedz autorowi
Przekaż
Nowe wiadomości: 0