3์ผ์ฐจ ๊ฐ์
์ค๋์ ๋ช ๊ฐ์ง ๊ณ ๊ธ ์ฃผ์ ๋ฅผ ๋ค๋ฃน๋๋ค:
-
ํธ๋ ์: ํธ๋ ์ ์์(derive), ๋ํดํธ ๋ฉ์๋, ํ์ค ๋ผ์ด๋ธ๋ฌ์ ์๋ ์ค์ํ ํธ๋ ์๋ค.
-
์ ๋ค๋ฆญ: ์ ๋ค๋ฆญ ๋ฐ์ดํฐ ํ์ , ์ ๋ค๋ฆญ ๋ฉ์๋, ๋จํํ(monomorphization), ํธ๋ ์ ๊ฐ์ฒด.
-
์ค๋ฅ์ฒ๋ฆฌ(์๋ฌ ํธ๋ค๋ง): ํจ๋,
Result
,?
์ฐ์ฐ์. -
ํ ์คํธ: ๋จ์ ํ ์คํธ, ๋ฌธ์ ํ ์คํธ ๋ฐ ํตํฉ ํ ์คํธ.
-
์์ ํ์ง ์์ ๋ฌ์คํธ: ์์(raw) ํฌ์ธํฐ, ์ ์ ๋ณ์, ์์ ํ์ง ์์ ํจ์, ์ธ๋ถ ํจ์.