Lợi ích và công dụng của một ngôn ngữ lập trình chức năng

Question

thể trùng lặp:
Why functional languages?

tôi bắt đầu lập trình với C/C++, VB, và cuối cùng Python - tất cả các ngôn ngữ bắt buộc. Tôi đã học một khóa học về ngôn ngữ lập trình và học ngôn ngữ chức năng đầu tiên của tôi - OCaml. Điều đó thật tồi tệ.

Cú pháp và những nỗi kinh hoàng khác sang một bên, OCaml lấy quy trình suy nghĩ bắt buộc của tôi và ném nó ra ngoài cửa sổ. Đó là bực bội. Tôi nhấn mạnh rằng mọi thứ có thể được thực hiện chức năng cũng có thể được thực hiện một cách bất hợp pháp. Tôi nghĩ về lập trình chức năng như lập trình bắt buộc mà không có chi (tác dụng phụ). Để đáp lại sự thất vọng của tôi, lợi ích duy nhất mà giáo sư của tôi có thể đưa ra là khả năng của FPL để song song các chức năng không có tác dụng phụ.

Dù sao, hãy nói đủ.

1. Một số lợi thế mà FPL cung cấp ở trên IPL là gì?
2. Có điều gì có thể dễ dàng thực hiện trong FPL không thể thực hiện dễ dàng trong IPL không?
3. Có bất kỳ ví dụ thực tế về FPL nào đang được sử dụng hay chúng chủ yếu là các bài tập học thuật? (Khi tôi nói thế giới thực, tôi có nghĩa là một dự án phụ thuộc rất nhiều vào khía cạnh chức năng của ngôn ngữ và không nhồi nhét FPL vào một kịch bản mà nó không thuộc về).

Cảm ơn,
Advait

Answer 1

Trước hết, hầu hết các ngôn ngữ được sử dụng phổ biến hiện nay là tương đương trong khả năng diễn đạt, có thể là bắt buộc hoặc năng, do đó, nó tự nhiên để nghĩ rằng mọi thứ bạn có thể làm trong một ngôn ngữ chức năng bạn có thể làm trong một mệnh lệnh bắt buộc, bởi vì nó có thể đúng.

Một trong những điều thực sự thú vị về ngôn ngữ chức năng là cấu trúc của chúng cho phép áp dụng suy luận kiểu Hindley-Milner. Đây là hệ thống kiểu được sử dụng trong SML, OCaml và một loạt các ngôn ngữ chức năng khác. Nó thực sự dường như dẫn đến giảm tỷ lệ lỗi và có khả năng tiết kiệm cho bạn rất nhiều thời gian và năng lượng bằng cách tìm lỗi ở phía trước như là lỗi biên dịch.

Đối số song song tự động được sử dụng quá mức một chút, đặc biệt là vì lời hứa đơn giản là chưa được xác định. Tôi đã viết mã song song rõ ràng trong các ngôn ngữ chức năng và nó đẹp hơn, IMHO, hơn là làm một cái gì đó tương tự trong Java hoặc tương tự.

Giai thoại ít nhất, tôi sẽ không là người đầu tiên tuyên bố rằng việc học một ngôn ngữ chức năng làm cho bạn trở thành một lập trình viên bắt buộc tốt hơn! Đó là sự khó chịu mà bạn cảm thấy trong quá trình suy nghĩ "bắt buộc" của bạn bị gián đoạn khi sử dụng OCaml thực sự là một quá trình thực sự tốt để đi qua. Nó làm cho bạn đặt câu hỏi giả định và dừng bạn viết mã theo một cách cụ thể chỉ vì bạn đã luôn luôn thực hiện nó theo cách đó.

Để sử dụng trong thế giới thực, bạn có thể muốn xem các thủ tục của các hội thảo Commercial Users of Functional Programming. Ngoài ra còn có một số dự án rất lớn được viết bằng các ngôn ngữ chức năng khác nhau, mặc dù hầu hết trong số đó có thể là mối quan tâm hạn chế bên ngoài các cộng đồng khá nhỏ. Các định lý lý thuyết Coq và Isabelle được viết bằng Ocaml và SML, tương ứng.

Dù bạn làm gì, tôi sẽ kiên trì.Tôi đã dành một thời gian dài đập đầu vào lưới ML trước khi mọi thứ cuối cùng được nhấp vào. Những ngày này tôi không chắc tôi thậm chí còn nhớ cách Java hoặc C hoạt động như thế nào, bởi vì tôi không có nhu cầu cho họ trong một thời gian dài ... Tôi chỉ sử dụng ML!

Answer 2

1. Khi người cuối cùng quản lý để làm im lặng tâm trí được đào tạo không đúng mức của mình, FP thực sự trở nên dễ dàng và thú vị hơn IP.

2. FP có xu hướng an toàn hơn, ít bị lỗi hơn, do tính chất khai báo của nó.

3. Tôi thích nghĩ rằng mã song song bắt buộc làm tăng gấp đôi độ phức tạp của nó (thử bản thân với một ứng dụng song song không tầm thường). IMO, FP giảm khoảng cách rất nhiều, nhờ thiếu sự đồng bộ hóa trong nhiều trường hợp.

4. Trích dẫn Gián, học FP làm cho bạn một khôn ngoan lập trình viên bắt buộc ...

Answer 3

Bạn có thể đọc http://www.paulgraham.com/avg.html