경제PLUS 경제PLUS

재귀적 유형(Recursive Types)을 귀납적 유형(Inductive Types)이라 부르기도 한다. 예를 들어, 많은 수리논리 전공서적과 Cow 증명보조기에서 귀납적 유형이란 표현을 사용하며, 수학 증명을 할 때 귀납적 증명이란 표현을 사용한다. 반면에 재귀란 표현은 함수를 재귀적으로 정의할 때, 즉 재귀 함수에 대해서만 사용한다. 하지만 ‘재귀적’ 과 ‘귀납적’ 두 표현에 대한 엄밀한 구분은 경우에 따라 불가능하다. 따라서 여기서는 두 개념을 구분하지 않고, 재귀 표현으로 통일해서 사용한다. 출처 재귀적 유형 1분15초에 나옴 https://youtu.be/JQg-UlYU8v8 하스켈 한글 강의 시리즈 모아 보기 https://youtube.com/playlist?list=PL5aSjzJqCaP..