함수형 언어 못 쓰고 있는 이유가 추상화에 들어가는 비용 때문이잖아.

이것만 해결 돼도 수확체증 개 빡시게 될 것 같은데.


지금 MIT가 새로 개발했다는 인공지능 데이터 관리 언어 보고있는데 Coq로 만들었대서 문득 생각남.



/*****************************

함수형 언어는 아주 간단하게 말하자면 모든 동작마다 함수를 만드는 언어임.
예를 들어 일반 프로그래밍 언어는 3*2를 하는데

함수형 언어는 두배(x) = x*2, 두배(3)을 함.
함수형 언어는 인공지능 연구(딥러닝 아님)에서 시작됐고, 병렬화가 쉬우며, '의미'에 대한 프로그래밍이 가능하다는 특징이 있음.

*****************************/