CHAPTER 2What Is Functional Program

CHAPTER 2
What Is Functional Programming?
Functional programming, in its “purest” sense, is rooted in how functions, variables,
and values actually work in mathematics, which is different from how they typically
work in most programming languages.
Functional programming got its start before digital computers even existed. Many of
the theoretical underpinnings of computation were developed in the 1930s by mathematicians like Alonzo Church and Haskell Curry.
In the 1930s, Alonzo Church developed the Lambda Calculus, which is a formalism
for defining and invoking functions (called applyingthem). Today, the syntax and behavior of most programming languages reflect this model.
Haskell Curry (for whom the Haskell language is named) helped develop Combinatory
Logic, which provides an alternative theoretical basis for computation. Combinatory
Logic examines how combinators, which are essentially functions, combine to represent
a computation. One practical application of combinators is to use them as building
blocks for constructing parsers. They are also useful for representing the steps in a
planned computation, which can be analyzed for possible bugs and optimization opportunities.
More recently, Category Theory has been a fruitful source of ideas for functional programming, such as ways to structure computations so that side effects like IO (input
and output), which change the state of the “world,” are cleanly separated from code
with no side effects.
A lot of the literature on functional programming reflects its mathematical roots, which
can be overwhelming if you don’t have a strong math background. In contrast, objectoriented programming seems more intuitive and approachable. Fortunately, you can
learn and use the principles of functional programming without a thorough grounding
in mathematics.

Kết quả (Việt) 1:

CHƯƠNG 2Lập trình hàm là gì?Lập trình hàm, trong ý nghĩa "tinh khiết nhất" của nó, bắt nguồn từ cách chức năng, biến,và giá trị thực sự làm việc trong toán học, mà là khác nhau từ làm thế nào họ thườnglàm việc trong hầu hết các ngôn ngữ lập trình.Lập trình hàm đã bắt đầu của nó trước khi máy tính số thậm chí còn tồn tại. Nhiều người trong sốnền tảng lý thuyết của tính toán được phát triển vào những năm 1930 bởi nhà toán học như Alonzo Church và Haskell cà ri.Trong những năm 1930, Alonzo Church phát triển giải tích Lambda, đó là một hình thứcđể xác định và gọi chức năng (được gọi là applyingthem). Hôm nay, các cú pháp và hành vi của hầu hết các ngôn ngữ lập trình phản ánh mô hình này.Haskell cà ri (người mà ngôn ngữ Haskell được đặt tên) đã phát triển CombinatoryLogic, cung cấp một cơ sở lý thuyết thay thế cho tính toán. CombinatoryLogic kiểm tra như thế nào combinators, mà là về cơ bản chức năng, kết hợp đại diện chomột tính toán. Một ứng dụng thực tế của combinators là để sử dụng chúng như xây dựngkhối để xây dựng parsers. Họ cũng có ích đối với đại diện cho các bước trong mộtkế hoạch tính toán, mà có thể được phân tích cho có thể lỗi và tối ưu hóa cơ hội.Gần đây, thể loại lý thuyết đã là một nguồn ý tưởng cho lập trình hàm, chẳng hạn như cách để tính toán cấu trúc hiệu quả để cho tác dụng phụ như IO (đầu vàovà đầu ra), mà thay đổi trạng thái của thế giới"," được sạch tách ra từ mãvới không có tác dụng phụ.Rất nhiều các tài liệu về chức năng lập trình phản ánh các toán học rễ, màcó thể được áp đảo nếu bạn không có một nền tảng mạnh mẽ toán học. Ngược lại, lập trình objectoriented có vẻ như trực quan và dễ tiếp cận hơn. May mắn thay, bạn có thểTìm hiểu và sử dụng các nguyên tắc của các lập trình hàm mà không có một nền tảng kỹ lưỡngtrong toán học.