Haskell được sử dụng để làm gì trong thế giới thực? [đóng cửa]

Có rất nhiều sự cường điệu xung quanh Haskell, tuy nhiên, thật khó để có được thông tin về cách nó được sử dụng trong các ứng dụng trong thế giới thực. Các dự án / tập quán phổ biến nhất của Haskell là gì và tại sao nó vượt trội trong việc giải quyết những vấn đề này?

Một số sử dụng phổ biến cho ngôn ngữ này là gì?

Phát triển ứng dụng nhanh chóng.

Nếu bạn muốn biết "tại sao Haskell?", Thì bạn cần xem xét lợi thế của các ngôn ngữ lập trình chức năng (lấy từ https://c2.com/cgi/wiki?AdvantagesOfFeftalProgramming ):

• Các chương trình chức năng có xu hướng ngắn gọn hơn nhiều so với các đối tác ngôn ngữ bắt buộc. Thông thường, điều này dẫn đến tăng năng suất lập trình viên

• FP khuyến khích tạo mẫu nhanh. Như vậy, tôi nghĩ đó là mô hình thiết kế phần mềm tốt nhất cho ExtremeProgrammer ... nhưng tôi biết gì?

• FP là mô-đun theo chiều của chức năng, trong đó ObjectOrientsProgramming là mô-đun theo chiều của các thành phần khác nhau.

• Khả năng có bánh của bạn và ăn nó. Hãy tưởng tượng bạn có một thông báo xử lý hệ thống OO phức tạp - mọi thành phần có thể thay đổi trạng thái tùy thuộc vào tin nhắn và sau đó chuyển tiếp tin nhắn đến một số đối tượng mà nó có liên kết. Sẽ không quá tuyệt để có thể dễ dàng khôi phục mọi thay đổi nếu một số đối tượng nằm sâu trong hệ thống phân cấp cuộc gọi quyết định tin nhắn bị sai sót? Làm thế nào về việc có một lịch sử của các tiểu bang khác nhau?

• Nhiều nhiệm vụ vệ sinh được thực hiện cho bạn: giải cấu trúc cấu trúc dữ liệu (PatternMatching), lưu trữ các ràng buộc biến (LexicalScope có bao đóng), gõ mạnh (TypeInference), GarbageCollection, phân bổ lưu trữ, cho dù sử dụng trực tiếp theo hộp (con trỏ đến giá trị) ) đại diện ...

• Đa luồng an toàn! Các cấu trúc dữ liệu không thay đổi không phải tuân theo các điều kiện chạy dữ liệu và do đó không phải bảo vệ bằng các khóa. Nếu bạn luôn phân bổ các đối tượng mới, thay vì thao túng triệt để các đối tượng hiện có, khóa có thể bị ẩn trong hệ thống phân bổ và GarbageCollection.

Ngoài Haskell này có những ưu điểm riêng như:

• Rõ ràng, cú pháp trực quan lấy cảm hứng từ ký hiệu toán học.
• Liệt kê danh sách để tạo một danh sách dựa trên danh sách hiện có.
• Biểu thức Lambda: tạo hàm mà không cho chúng tên rõ ràng. Vì vậy, nó dễ dàng hơn để xử lý các công thức lớn.
• Haskell là hoàn toàn tham chiếu minh bạch . Bất kỳ mã nào sử dụng I / O phải được đánh dấu như vậy. Bằng cách này, nó khuyến khích bạn tách mã bằng các tác dụng phụ (ví dụ: đặt văn bản trên màn hình) khỏi mã mà không cần (tính toán).
• Đánh giá lười biếng là một tính năng thực sự tốt đẹp:
  • Ngay cả khi một cái gì đó thường gây ra lỗi, nó vẫn sẽ hoạt động miễn là bạn không sử dụng kết quả. Ví dụ: bạn có thể đặt 1 / 0làm mục đầu tiên của danh sách và nó sẽ vẫn hoạt động nếu bạn chỉ sử dụng mục thứ hai.
  • Việc viết các chương trình tìm kiếm như bộ giải sudoku này sẽ dễ dàng hơn vì nó không tải mọi kết hợp cùng một lúc mà nó chỉ tạo ra chúng khi nó đi cùng. Bạn có thể làm điều này bằng các ngôn ngữ khác, nhưng chỉ có Haskell làm điều này theo mặc định .

Bạn có thể kiểm tra các liên kết sau:

• https://c2.com/cgi/wiki?AdvantagesOfFeftalProgramming
• https://docs.microsoft.com/archive/bloss/wesdyer/why-feftal-programming-is-important-in-a-mixed-en môi trường
• https://web.archive.org/web/20160626145828/http://blog.kickino.org/archives/2007/05/22/T22_34_16/
• https://usless-factor.blogspot.com/2007/05/ nhược điểm-of-feftal-programming.html

Tôi nghĩ mọi người trong bài viết này đang thiếu điểm quan trọng nhất đối với bất kỳ ai chưa bao giờ sử dụng ngôn ngữ lập trình chức năng: mở rộng tâm trí của bạn. Nếu bạn chưa quen với lập trình chức năng thì Haskell sẽ khiến bạn suy nghĩ theo những cách bạn chưa từng nghĩ trước đây. Kết quả là chương trình của bạn trong các lĩnh vực khác và các ngôn ngữ khác sẽ được cải thiện. Bao nhiêu? Khó định lượng.

Có một câu trả lời tốt cho những gì một ngôn ngữ có mục đích chung như Haskell là tốt cho: viết chương trình nói chung.

Đối với những gì nó được sử dụng trong thực tế, tôi có ba cách tiếp cận để thiết lập rằng:

• Một đám mây thẻ của thư viện Haskell và các khu vực ứng dụng , được tính theo tần số trên Hackage.

Chỉ ra rằng nó tốt cho đồ họa, mạng, lập trình hệ thống, cấu trúc dữ liệu, cơ sở dữ liệu, phát triển, xử lý văn bản ...

• Các lĩnh vực được sử dụng trong công nghiệp - rất nhiều DSL, ứng dụng web, thiết kế trình biên dịch, kết nối mạng, phân tích, lập trình hệ thống, ...

Và cuối cùng, ý kiến ​​của tôi về những gì nó thực sự mạnh mẽ:

• Các vấn đề về tính chính xác, ngôn ngữ cụ thể của miền và lập trình song song và đồng thời

Tôi hy vọng điều đó mang lại cho bạn cảm giác về câu hỏi của bạn rộng đến mức nào, nếu nó được trả lời với bất kỳ sự cụ thể nào.

Một ví dụ về Haskell đang hoạt động là xmonad , một "trình quản lý cửa sổ đặc trưng với ít hơn 1200 dòng mã".

Từ Wiki Haskell :

Haskell có phạm vi sử dụng đa dạng về mặt thương mại, từ hàng không vũ trụ và quốc phòng, đến tài chính, cho đến các công ty khởi nghiệp web, các công ty thiết kế phần cứng và các nhà sản xuất máy cắt cỏ. Trang này thu thập các tài nguyên về sử dụng công nghiệp của Haskell.

Theo Wikipedia, ngôn ngữ Haskell được tạo ra do nhu cầu hợp nhất các ngôn ngữ chức năng hiện có thành ngôn ngữ chung có thể được sử dụng cho nghiên cứu trong tương lai trong thiết kế ngôn ngữ chức năng.

Rõ ràng dựa trên thông tin có sẵn rằng nó đã vượt xa mục đích ban đầu của nó và được sử dụng cho nhiều hơn là nghiên cứu. Bây giờ nó được coi là một ngôn ngữ lập trình chức năng mục đích chung.

Nếu bạn vẫn tự hỏi: "Tại sao tôi nên sử dụng nó?", Sau đó đọc Tại sao nên sử dụng nó? phần Giới thiệu Wiki của Haskell.

Haskell là một ngôn ngữ lập trình mục đích chung. Nó có thể được sử dụng cho bất cứ điều gì bạn sử dụng bất kỳ ngôn ngữ khác để làm. Bạn không bị giới hạn bởi bất cứ điều gì ngoại trừ trí tưởng tượng của riêng bạn. Đối với những gì nó phù hợp cho? Chà, khá nhiều thứ. Có một vài nhiệm vụ trong đó một ngôn ngữ chức năng không vượt trội.

Và vâng, tôi là Rayne từ Dreamincode. :)

Tôi cũng muốn đề cập rằng, trong trường hợp bạn chưa đọc trang Wikipedia, lập trình chức năng là một mô hình giống như lập trình hướng đối tượng là một mô hình. Chỉ trong trường hợp bạn không biết. Haskell cũng có chức năng theo nghĩa là nó hoạt động; nó hoạt động khá tốt ở đó

Chỉ vì một ngôn ngữ không phải là ngôn ngữ hướng đối tượng không có nghĩa là ngôn ngữ bị giới hạn bởi bất cứ điều gì. Haskell là một ngôn ngữ lập trình có mục đích chung và cũng có mục đích chung như Java.

Tôi có một điều thú vị, facebook đã tạo ra một công cụ tự động để viết lại mã PHP. Họ phân tích nguồn thành một cây cú pháp trừu tượng, thực hiện một số biến đổi:

if ($f == false) -> if (false == $f)

Tôi không biết tại sao, nhưng đó dường như là phong cách đặc biệt của họ và sau đó họ in nó ra.

https://github.com/facebook/lex-pass

Chúng tôi sử dụng haskell để tạo các ngôn ngữ cụ thể cho tên miền nhỏ. Số lượng lớn xử lý dữ liệu. Phát triển web. Nhện web. Ứng dụng thử nghiệm. Viết kịch bản quản trị hệ thống. Kịch bản cuối cùng, mà giao tiếp với các bên khác. Các tập lệnh giám sát (chúng tôi có DSL hoạt động độc đáo cùng với munin, giúp viết mã màn hình chính xác cho các ứng dụng của bạn dễ dàng hơn nhiều).

Tất cả các loại công cụ thực sự. Nó chỉ là một ngôn ngữ có mục đích chung hàng ngày với một số tính năng rất mạnh mẽ và hữu ích, nếu bạn hơi nghiêng về mặt toán học.

Từ Haskell :

Haskell là một ngôn ngữ lập trình chức năng hoàn toàn tiêu chuẩn hóa, đa mục đích , với ngữ nghĩa không nghiêm ngặt và gõ tĩnh mạnh mẽ. Nó được đặt theo tên của nhà logic học Haskell Curry.

Về cơ bản Haskell có thể được sử dụng để tạo ra khá nhiều thứ bạn thường tạo bằng các ngôn ngữ có mục đích chung khác (ví dụ: C #, Java, C, C ++, v.v.).

Ví dụ: để phát triển các ứng dụng web HTML5 tương tác, thời gian thực. Xem Elm , trình biên dịch được triển khai trong Haskell và cú pháp mượn rất nhiều từ Haskell.

Đây là một nguồn khá tốt để biết thông tin về Haskell và công dụng của nó:

Phát hành và tăng trưởng Haskell mã nguồn mở