LiftIO 2022 오프닝 발표 | 기초 탄탄 함수형 프로그래밍

지난 LiftIO 2022에서 발표한 자료, 정리해서 공유합니다. 함수형 프로그래밍이 추구하는 "참조 투명성"을 활용하면, 코드를 작성하고 읽는데 추론이 대단히 탄탄하고 쉬워지며, 이를 통해 개발하고 나서도 두 다리 뻗고 잘 수 있다는 주장입니다. 사실 단위 테스트는 대단히 헐거운 형태의 증명법입니다. 모든 경우까지는 아니더라도 일부의 경우에 대해 맞는지 틀리는지 확인하는 방법인 거죠. 그보다 훨씬 더 촘촘한 확인법이 속성 기반 테스트인 거고, 아예 논리적으로 맞는지 증명하는 방법이 등식 추론인 셈입니다. 모든 코드를 증명하면서 작성할 수는 없겠지만, 증명이 가능할 정도로 추론이 쉬운 “참조 투명성”을 활용하면, 부분 부분의 코드들부터 추론, 파악, 검증이 쉽다는 점을 말씀드리고 싶습니다. 꼭 증명까지는 아니더라도, 코드의 가독성부터 큰 차이가 나는 거죠. 누군가에게는 도움이 되는 자료이기를 욕심내 봅니다.

LiftIO 2022 오프닝 발표 | 기초 탄탄 함수형 프로그래밍

Medium

LiftIO 2022 오프닝 발표 | 기초 탄탄 함수형 프로그래밍

더 많은 콘텐츠를 보고 싶다면?

지금 간편 가입하고 다음 내용을 확인해 보세요!

또는

이미 회원이신가요?

2022년 12월 13일 오전 2:48

 • 

저장 8조회 2,026

댓글 0