튜링 머신 배열 람다 계산법 힌들리밀너 타입 시스템 MATLAB Scheme Haskell 범주론 수학자/목록/1901~1910년 출생 틀:이론 컴퓨터 과학 프로그래밍 언어 함수형 프로그래밍