Haskell_type
-
[Haskell] #5 Type (2)๊ณต๋ถ/ํจ์ํ ํ๋ก๊ทธ๋๋ฐ 2020. 1. 20. 21:45
์ด์ ์ ํฌ๋ Haskell์์์ Type์ด๋, ํจ์ Type ์ ์ธ๊ณผ, ์ ๋ค๋ฆญ ์ฒ๋ผ ํจ์์ ํ๋ผ๋ฏธํฐ์ ๋ค์ํ ํ์ ์ ํ์ฉํ๋ ํ์ ๋ณ์, ๊ทธ๋ฆฌ๊ณ ์ผ๋ฐ์ ์ธ Type๋ค์ ๋ํด์ ๋ค๋ค์ด์. 2020/01/19 - [๊ณต๋ถ/ํจ์ํ ํ๋ก๊ทธ๋๋ฐ] - [Haskell] #4 Type (1) ์ค๋์ Type Class์ Haskell์์ ๋ง์ด ์ฐ๋ Type Class๋ฅผ ์ ๋ฆฌํด๋ณด๋ ค ํฉ๋๋ค. GHCi ์์ :t ๋ก ํ์ ์์๋ณด๊ธฐ ํจ์ Type์ ์ ์ธํ๊ธฐ ํ์ ๋ณ์. (ํ์ค์ผ ๊ณ์ ์ ๋ค๋ฆญ ์ฌ์ฉ๋ฒ?) ํ์ค์ผ์ ์ผ๋ฐ์ ์ธ ํ์ ๋ค Type Class ํ์ค์ผ์์ ๋ง์ด ์ฐ๋ Type Class ๋ค ๋ง๋ฌด๋ฆฌ 5. Type Class ํ์ ํด๋์ค๋ ์ด๋ค ๋์์ ์ ์ํ๋ ์ธํฐํ์ด์ค์ ๋๋ค. ๊ฐ์ฒด ์งํฅ์์ ๋งํ๋ Class์๋ ๋ค๋ฆ ๋๋ค. (?? ์..
-
[Haskell] #4 Type (1)๊ณต๋ถ/ํจ์ํ ํ๋ก๊ทธ๋๋ฐ 2020. 1. 19. 21:33
์ด๊ฑด ์ง๋ ํธ 2020/01/12 - [๊ณต๋ถ/ํจ์ํ ํ๋ก๊ทธ๋๋ฐ] - [Haskell] #3 Tuple ๋ค์ ํธ 2020/01/20 - [๊ณต๋ถ/ํจ์ํ ํ๋ก๊ทธ๋๋ฐ] - [Haskell] #5 Type (2) ๋๋์ด ์๋ฌธ์ ๋์๋ ํ์ค์ผ์ ํน์ง ์ค ํ๋์ธ ๊ฐ๋ ฅํ Type ์์คํ ์ ๋ํด์ ๋ฐฐ์ฐ๊ฒ๋๋ค์! ํ์ค์ผ์ ๋ชจ๋ ๊ฒ๋ค์ Type ์ ๋๋ค. ํ์ค์ผ์ ์ปดํ์ผ ์๊ฐ์ ๋ชจ๋ ํ์ ์ ์์๋ด, ๋ฐํ์ ์๋ฌ๋ฅผ ์ค์ ๋๋ค. ํ์ค์ผ์ ๊ฐ๋ ฅํ ํ์ ์ถ๋ก (Type Inference)๋ฅผ ์ง์ํฉ๋๋ค. ์ด๋ฒ ์ฅ์์ ๋ค๋ฃจ๋ ๋ด์ฉ์ ์๋ ๋ด์ฉ ์ค, 1-4 ๊น์ง ์ ๋๋ค! GHCi ์์ :t ๋ก ํ์ ์์๋ณด๊ธฐ ํจ์ Type์ ์ ์ธํ๊ธฐ ํ์ ๋ณ์. (ํ์ค์ผ ๊ณ์ ์ ๋ค๋ฆญ ์ฌ์ฉ๋ฒ?) ํ์ค์ผ์ ์ผ๋ฐ์ ์ธ ํ์ ๋ค Type Class ํ์ค์ผ์์ ๋ง์ด ์ฐ..