Java에 대한 기능적 접근 방식

1장. 함수형 프로그래밍 소개

이 작품은 AI를 사용하여 번역되었습니다. 여러분의 피드백과 의견을 환영합니다: [e-mail]

Java에서 보다 기능적인 프로그래밍 스타일을 통합하는 방법을 더 잘 이해하려면 먼저 언어가 기능적이라는 것이 무엇을 의미하는지, 기본 개념이 무엇인지 이해해야 합니다.

이 장에서는 워크플로에 보다 기능적인 프로그래밍 스타일을 통합하는 데 필요한 함수형 프로그래밍의 뿌리를 살펴봅니다.

언어의 기능적 요소는 무엇인가요?

객체 지향, 함수형 또는 절차적 프로그래밍과 같은 프로그래밍 패러다임은 언어를 분류하고 특정 스타일로 프로그램을 구조화하고 문제를 해결하기 위해 다양한 접근 방식을 사용하는 방법을 제공하는 종합적인 전체 개념입니다. 대부분의 패러다임과 마찬가지로 함수형 프로그래밍도 합의된 단일 정의가 없으며 언어를 실제로 기능적으로 정의하는 것에 대해 많은 영토 전쟁이 벌어지고 있습니다. 저만의 정의를 내리는 대신 언어를 기능적으로 만드는 다양한 측면에 대해 살펴볼 것입니다.

추상 함수를 만들고 조합하여 계산을 표현할 수 있는 방법이 있을 때 언어가 기능적이라고 간주합니다.이 개념은 1930년대에 논리학자 알론조 처치가 발명한 형식 수학 체계인 Lambda 미적분에 그 뿌리를 두고 있습니다.¹ 추상 함수로 계산을 표현하고 변수를 적용하는 방법을 표현하는 시스템으로, '람다 미적분학'이라는 이름은 그리스 문자 '람다(Lambda)'를 기호로 삼아 붙여졌습니다: $\lambda$.

Lambda 미적분학

세 가지 기둥은 Lambda 미적분학의 일반적인 개념의 토대를 구축합니다:

추상화

단일 입력을 허용하는 익명 함수( Lambda)입니다.

애플리케이션

추상화는 값에 적용되어 결과를 생성하는 것으로, 개발자의 관점에서 보면 함수 또는 메서드 호출에 해당합니다.

β-감소

추상화 변수를 적용된 인수로 대체합니다.

수학 함수 선언은 다음과 같습니다: $f=\lambda x.E$

이러한 선언은 여러 부분으로 구성됩니다:

$x$

값을 나타내는 변수 또는 인수입니다.

$E$

논리를 포함하는 표현식 또는 용어

$\lambda x.E$

단일 입력을 받는 익명 함수, 추상화$x$

$f$

추상화에 인수를 적용할 수 있는 결과 함수

이러한 부분은 새로운 함수형 프로그래밍 스타일의 핵심인 Java Lambda가 구현되는 방식과 매우 유사합니다. 예를 들어, 이차 값을 계산하는 함수의 추상화인$\lambda x.x*x$-유형을 포함하면 Java 버전과 거의 동일합니다:

Function<Integer, Integer> quadratic =
  value -> value * value;

코드는 문맥상 이해가 쉬워야 하지만 Lambda 구문은 2장에서 자세히 설명합니다.

객체 지향 개발자는 명령형 프로그래밍에 익숙합니다. 일련의 명령문을 정의하여 컴퓨터에게 일련의 명령문으로 특정 작업을 수행하기 위해 무엇을 해야 하는지 지시하는 것입니다.

프로그래밍 언어가 기능적인 것으로 간주되려면 실제 ...