개발자 노트

개요 이번 글에서는 Formal System에 대해서 말씀드리겠습니다. 허허; 분명 lambda calculus를 본격적으로 말씀드린다고 했는데, 막상 공부해보니 이 개념을 대충 넘어가면 안되겠더군요. lambda caclulus를 한 번 쭉 보고나서 느낀 점은 "도대체 내가 뭘 배운거지?"라는 생각이 들었습니다. 기호를 정의하고, 규칙을 정의하고, 정리를 도출하고.. 이게 lambda caclulus와 어떤 관련이 있는가? 궁금했었죠. 하하; 결론을 말씀드리자면 lambda calculus는 Formal System이기 때문에, 위 자체가 람다에 대한 Formal System을 배우는 거였습니다. 따라서 이번 글에서는 Formal System이 무엇인가?에 대해서 알아보도록 하겠습니다. 본문 정의 en..

출처 https://en.wikipedia.org/wiki/Lambda_calculus A Tutorial Introduction to the Lambda Calculus [2015 Ra´ul Rojas] https://www.youtube.com/watch?v=3VQ382QG-y4&t=2554s 개요 출처 Functional programming의 핵심 개념인 lambda caclulus에 대해 말씀드리겠습니다. 출처는 총 3개를 인용했습니다. wiki가 이런 개념은 잘 설명해주기 때문에 위키를 우선으로 봤고, 그리고 부족한 개념을 보충하기 위해 2015년에 lambda calculus의 간단히 정리한 논문인 [A Tutorial Introduction to the Lambda Calculus]를 참고..

출처 https://en.wikipedia.org/wiki/Functional_programming https://www.geeksforgeeks.org/introduction-of-programming-paradigms/ Functional Programming 서막 Functional Programming에 대해 알고 싶은 이유 이번 년도 3월, 처음 자바스크립트를 배웠을 때 입니다. 이 언어를 처음 마주했을 때 느낌은 오묘했습니다. C언어같다가도... Java같다가도 처음보는 문법도 있었습니다. Javascript의 문법에 제가 놀란 부분은 총 3가지였습니다. Map, Closure, 그리고 함수였습니다. Map은 파이썬에서도 즐겨 사용했는데 javascript에서도 구현되어 있어서 '아... 자주..