Zaczynam od makr scala, są niesamowite, ale napotykam na różnicę między wpisywaniem (aka typechecked) i nietypowymTrees.

Na przykład nie możesz zadzwonićc.eval z sprawdzonym drzewem z jakiegoś powodu. Nie mogę znaleźć dokumentacji na ten temat „sprawdzonej” w dokumentacji makr scala (wiem, że wciąż nad tym pracują, może to być coś, co trzeba dodać pewnego dnia).

Co to znaczy dla aTree do sprawdzenia? Dlaczego są tak różne, że najwyraźniej c.eval nie radzi sobie z typowymi sprawdzeniamiTrees (odwrotność miałaby dla mnie więcej sensu).

Domyślam się, że to prawdopodobnie kompilator 101, ale nie wziąłem tego kursu :( Wszelkie wyjaśnienia lub wskazówki do artykułów / dokumentacji będą mile widziane!