Cấu trúc cơ bản của chương trình Haskell

Question

Nhiều hướng dẫn Haskell mà tôi đã xem xét tập trung gần như hoàn toàn trên cú pháp với phạm vi phủ sóng rất ít về cách cấu trúc chương trình.

Ví dụ ...

Dưới đây là một phác thảo trần xương của một ứng dụng C++:

#include <iostream> 
using namespace std; 

int addition (int a, int b) 
{ 
    int r; 
    r=a+b; 
    return (r); 
} 

int main() 
{ 
    int z; 
    z = addition (5,3); 
    cout << "The result is " << z; 
    return 0; 
} 

Khi tôi lần đầu tiên bắt đầu học C++, ví dụ như thế này đã giúp tôi vô cùng trong việc học cách lắp ráp riêng thành các chương trình làm việc. Có lẽ tôi đang tìm kiếm ở những nơi sai, nhưng tôi đã không thể tìm thấy bất kỳ ví dụ như vậy là trực tiếp và đơn giản cho Haskell.

Tôi đã biết NHIỀU cú pháp Haskell. Tôi có thể viết danh sách đệ quy, và thao tác chuỗi, số nguyên, và liệt kê ra wazoo.

Tóm tắt: Tôi chỉ muốn biết hai chương trình con và biến thay đổi trông như thế nào trong Haskell. Nếu tôi có thể có được một số hiểu biết cơ bản về cách cấu trúc một chương trình Haskell, cuối cùng tôi có thể đặt tất cả cú pháp mà tôi đã học được để sử dụng một số.

Answer 1

Cấu trúc của chương trình Haskell cực kỳ đơn giản. Bạn có một chức năng main mà không IO, và đó là về nó. Vì vậy, những điều cơ bản:

module Main where 

addition a b = a + b 

main :: IO() 
main = do let z = addition 5 3 
      putStrLn $ "The result is: " ++ show z 

Bây giờ bạn có thể biên dịch này vào một chương trình đơn giản sử dụng một cái gì đó như:

ghc --make Main.hs -o program 

và nó sẽ tạo ra một thực thi gọi là chương trình.

Nói chung, các chương trình được cấu trúc như hầu hết các hàm thuần túy thực hiện tính toán thực tế cùng với các phần rời rạc của mã giao dịch với IO. (Tất nhiên là có ngoại lệ cho điều này, nhưng ý tưởng chung về viết nhiều mã thuần nhất có thể là khá phổ quát.)

Vì hầu hết mọi thứ được biểu diễn dưới dạng một hàm thuần túy, bạn không truyền các biến giữa chúng các hàm giao tiếp bằng cách truyền các đối số.

Phần mã của bạn IO được neo trong main. Trong hầu hết các trường hợp, tất cả IO của bạn sẽ đi qua chính; ngay cả khi bạn viết riêng các hành động IO và đặt tên cho chúng, chúng cuối cùng sẽ được thực hiện bắt đầu từ main.

Một "nhóm chức năng" trong Haskell được gọi là "mô-đun". Bạn có thể có nhiều mô-đun, mỗi mô-đun trong tệp riêng của mình:

module Blarg (exportedFunction) where 

helper a b = ... -- this will *not* be exported 
exportedFunction a b = helper a b -- this *will* be exported 

Chỉ các số nhận dạng trong dấu ngoặc đơn thực sự sẽ được xuất; phần còn lại bị ẩn. Nếu bạn không bao gồm dấu ngoặc đơn, mọi thứ sẽ được xuất theo mặc định.

Lưu tệp này dưới dạng Blarg.hs.Bây giờ bạn có thể nhập nó trong Main:

import Blarg 

Một cách hữu ích để nhóm chức năng là where:

complicatedFunction a b c = helper 0 
    where helper count = ... 

Bằng cách này helper là chỉ trong phạm vi cho complicatedFunction và cũng có quyền truy cập vào a, b và c từ complicatedFunction.