Haskell Programming Language - Learn Functional Programming 9.4

Về Haskell Programming Language - Learn Functional Programming

Ngôn ngữ lập trình Haskell cổ điển cho iPad, iPhone và iPod touch. Ngôn ngữ lập trình là một công cụ hoàn hảo để học tập, tính toán toán học phức tạp, giải trí và nhiều nhiệm vụ hữu ích khác. Ứng dụng này đặc biệt hữu ích cho việc học ngôn ngữ lập trình Haskell. Bạn phải mua biên dịch bên trong ứng dụng. Cần có kết nối Internet. - Công cụ lập trình tuyệt vời trên AppStore. - Ngôn ngữ lập trình của bạn cho iOS thật tuyệt vời! * TÍNH NĂNG * - Biên dịch và chạy chương trình của bạn. - Đầu vào văn bản trước khi chạy chương trình và đầu ra văn bản. - Trình chỉnh sửa mã nguồn nâng cao với tô sáng cú pháp, số dòng, chủ đề màu và bàn phím bổ sung. - Tham khảo ngôn ngữ trực tuyến và một số mẫu chương trình. * GIỚI HẠN * - Kết nối Internet là cần thiết để biên dịch và chạy một chương trình. - Đồ họa, mạng, hệ thống tập tin và đầu vào thời gian thực không được hỗ trợ. - Thời gian chạy tối đa của một chương trình là 15 giây. Cảm ơn bạn đã sử dụng ứng dụng! ====================================== Haskell là một ngôn ngữ lập trình hoàn toàn tiện dụng, tiêu chuẩn hóa, với ngữ nghĩa không nghiêm ngặt và đánh máy tĩnh mạnh mẽ. Nó được đặt theo tên logician Haskell Curry. Trong Haskell, "một hàm là một công dân hạng nhất" của ngôn ngữ lập trình. Là một ngôn ngữ lập trình chức năng, cấu trúc điều khiển chính là hàm. Sau khi phát hành Miranda của Research Software Ltd, vào năm 1985, sự quan tâm đến các ngôn ngữ chức năng lười biếng đã tăng lên: vào năm 1987, hơn một chục ngôn ngữ lập trình không nghiêm ngặt, hoàn toàn chức năng tồn tại. Trong số này, Miranda là phần mềm được sử dụng rộng rãi nhất, nhưng là phần mềm độc quyền. Tại hội nghị về ngôn ngữ lập trình chức năng và kiến trúc máy tính ở Portland, Oregon, một cuộc họp đã được tổ chức trong đó những người tham gia đã tạo thành một sự đồng thuận mạnh mẽ rằng một ủy ban nên được thành lập để xác định một tiêu chuẩn mở cho các ngôn ngữ như vậy. Mục đích của ủy ban là để củng cố các ngôn ngữ chức năng hiện có thành một ngôn ngữ phổ biến mà sẽ phục vụ như là một cơ sở cho nghiên cứu trong tương lai trong thiết kế ngôn ngữ chức năng. Haskell có tính năng đánh giá lười biếng, khớp mẫu, hiểu danh sách, loại lớp và đa hình loại. Nó là một ngôn ngữ hoàn toàn chức năng, có nghĩa là nói chung, các chức năng trong Haskell không có tác dụng phụ. Đó là một cấu trúc riêng biệt để đại diện cho các tác dụng phụ, trực giao với loại chức năng. Một chức năng tinh khiết có thể trả về một tác dụng phụ mà sau đó được thực hiện, mô hình hóa các chức năng không tinh khiết của các ngôn ngữ khác. Haskell có một hệ thống loại tĩnh mạnh dựa trên suy luận kiểu Hindley Milner. Sự đổi mới chính của Haskell trong lĩnh vực này là thêm các lớp loại, ban đầu được hình thành như một cách có nguyên tắc để thêm quá tải cho ngôn ngữ, nhưng kể từ đó đã tìm thấy nhiều ứng dụng hơn. Việc xây dựng mà đại diện cho tác dụng phụ là một ví dụ về một monad. Monads là một khuôn khổ chung có thể mô hình hóa các loại tính toán khác nhau, bao gồm xử lý lỗi, không xác định, phân tích cú pháp và bộ nhớ giao dịch phần mềm. Monads được định nghĩa là các kiểu dữ liệu thông thường, nhưng Haskell cung cấp một số đường cú pháp để sử dụng. Ngôn ngữ có một đặc điểm kỹ thuật mở, xuất bản, và nhiều triển khai tồn tại. Có một cộng đồng hoạt động xung quanh ngôn ngữ, và hơn 5400 thư viện mã nguồn mở của bên thứ ba và các công cụ có sẵn trong kho lưu trữ gói trực tuyến Hackage. Việc thực hiện chính của Haskell, GHC, là cả một trình biên dịch mã nguồn gốc và thông dịch viên chạy trên hầu hết các nền tảng. GHC được ghi nhận cho việc thực hiện hiệu suất cao của đồng thời và song song, và để có một hệ thống loại phong phú kết hợp những đổi mới gần đây như các loại dữ liệu đại số tổng quát và các họ loại.