Cách viết một chương trình đơn giản trong Haskell (có hình ảnh)

Mục lục:

Cách viết một chương trình đơn giản trong Haskell (có hình ảnh)
Cách viết một chương trình đơn giản trong Haskell (có hình ảnh)

Video: Cách viết một chương trình đơn giản trong Haskell (có hình ảnh)

Video: Cách viết một chương trình đơn giản trong Haskell (có hình ảnh)
Video: Lập Trình Phần Mềm Máy Tính Python Cơ Bản Tự Học Cho Người Mới Bắt Đầu | Đồng Hồ Đếm Ngược Python 2024, Tháng tư
Anonim

Bạn đã bao giờ muốn nhảy vào lập trình với Haskell nhưng không biết bắt đầu từ đâu? Chà, bạn không cần phải tìm thêm nữa! WikiHow này sẽ trình bày cách lấy mã Haskell chạy trên hệ thống Windows 10 của bạn. Haskell là một ngôn ngữ lập trình được gõ tĩnh, hoàn toàn là chức năng. Để biết thêm thông tin và tài nguyên về Haskell, hãy xem trang tài liệu Haskell, wiki Haskell và wikibook Haskell.

Các bước

Phần 1/2: Cài đặt Chocolatey và chuỗi công cụ Haskell

Các bước này sẽ trình bày cách chạy Chcolaty trên Windows và cách sử dụng Chocolatey để tải chuỗi công cụ Haskell xuống. Chocolatey là trình quản lý gói cấp máy được xây dựng dành riêng cho Microsoft Windows. Quan trọng hơn, Chocolatey là phương pháp được Haskell.org đề xuất để cài đặt các thành phần cần thiết trên nền tảng Windows. Bạn sẽ sử dụng phiên bản mã nguồn mở của Chocolatey. Để biết thêm thông tin, hãy xem Tại sao Chocolatey ?, Cài đặt các khóa học Chocolatey và Chocolatey.

Chú thích 2020 06 28 143258
Chú thích 2020 06 28 143258

Bước 1. Biết kiến trúc hệ thống của bạn

Mở trình xem thông tin hệ thống cơ bản. Nó nằm trong bảng điều khiển tại

Bảng điều khiển> Hệ thống và Bảo mật> Hệ thống

. Trên bảng thông tin hệ thống, bạn sẽ thấy thông tin quan trọng về hệ thống Windows của mình. Bên dưới Hệ thống, bạn sẽ thấy Loại hệ thống. Ngay bên phải của nhãn đó, nó sẽ hiển thị cho bạn kiến trúc hệ thống. (ví dụ: 32-bit hoặc 64-bit)

Chú thích 2020 06 28 143139
Chú thích 2020 06 28 143139

Bước 2. Cài đặt Powershell

Bạn sẽ sử dụng Powershell trong bước sau để cài đặt Chocolately. Nhấp vào đây để chuyển đến bản phát hành mới nhất của Powershell 7 trên Github. Có rất nhiều phiên bản khác nhau trên trang này, nhưng bạn chỉ nên tập trung vào những phiên bản tương thích với Windows. Chúng sẽ trông gần giống với

PowerShell-7.x.y-win-ARCH.msi

ở đâu

x.y

là sự lật đổ - mà bạn có thể bỏ qua vì chúng đều giống nhau - và

ARCH

là x64 hoặc x86 (lần lượt là 64-bit và 32-bit). Bạn sẽ muốn tải xuống một cái phù hợp với kiến trúc hệ thống của bạn. Ví dụ: nếu phiên bản mới nhất là 7.0.2 và máy của bạn đang chạy kiến trúc 32-bit (x86), bạn nên tải xuống

PowerShell-7.0.2-win-x86.msi

. Tương tự như vậy, đối với kiến trúc 64-bit, tệp sẽ có x64 thay cho x86.

Chú thích 2020 06 28 150733
Chú thích 2020 06 28 150733

Bước 3. Chạy trình cài đặt sau khi tải xong

Bạn không cần phải bận tâm đến cấu hình; tuy nhiên, hãy nhớ kiểm tra tùy chọn tiện ích bổ sung trình đơn ngữ cảnh "Mở Tại đây". Điều này sẽ giúp mở Powershell đến một thư mục cụ thể dễ dàng và nhanh chóng hơn.

Bước 4. Tải xuống Windows Terminal từ Microsoft Store

Về cơ bản, đây là một trình bao bọc cho Powershell hiện đại hóa giao diện của Powershell trong khi cải thiện hiệu quả và thêm một số chức năng bao gồm tích hợp các trình bao khác. Nhấp vào đây để chuyển đến trang tải xuống Windows Terminal.

Chú thích 2020 06 28 152228
Chú thích 2020 06 28 152228

Bước 5. Cài đặt Chocolatey

Để bắt đầu, hãy chạy Windows Terminal với tư cách Quản trị viên. Nếu bạn không chạy với tư cách Quản trị viên, Chocolatey sẽ không cài đặt được vì bạn cần các đặc quyền nâng cao. Đương nhiên, nó theo sau bất kỳ lúc nào bạn muốn chạy Chocolatey, bạn phải có các đặc quyền nâng cao (tức là bạn phải có lời nhắc chạy với tư cách Quản trị viên).

Chú thích 2020 06 28 153004 2
Chú thích 2020 06 28 153004 2

Bước 6. Nhập các lệnh dưới đây theo thứ tự tuần tự

Để tham khảo, tôi đã đưa ra một ví dụ trong bức ảnh trên.

Set-ExecutionPolicy RemoteSigned

Set-ExecutionPolicy Bypass -Scope Process -Force; iwr https://chocolatey.org/install.ps1 -UseBasicParsing | iex

Bước 7. Khởi động lại Windows Terminal hoặc chạy lệnh

refreshv

để cập nhật

$ Env: Đường dẫn

với cài đặt mới

choco

.

Bạn có thể kiểm tra điều này bằng cách chạy

choco --version

. Nếu bạn không gặp lỗi, thì mọi thứ vẫn bình thường. Để biết thêm thông tin về cài đặt Chocolatey, vui lòng truy cập Cài đặt Chocolatey

Chú thích 2020 07 01 011730 2
Chú thích 2020 07 01 011730 2

Bước 8. Cài đặt các công cụ Haskell

Như đã lưu ý trên trang web của Haskell, bạn phải cài đặt

haskell-dev

gói qua Chocolatey. Trước khi chạy

choco

đảm bảo rằng bạn đã khởi động lại Windows Termal hoặc chạy lệnh

refreshv

vậy nên

choco

sẽ ở trong

$ Env: Đường dẫn

. Sử dụng lời nhắc nâng cao, hãy chạy lệnh sau

choco cài đặt haskell-dev -y

Chú thích 2020 07 01 011730 3
Chú thích 2020 07 01 011730 3

Bước 9. Chạy lệnh refreshv

Một lần

haskell-dev

cài đặt xong, chạy

refreshv

và kiểm tra xem chúng có nằm trong đường dẫn của bạn hay không. Bạn có thể làm điều này bằng cách chạy

ghc --version

để kiểm tra trình biên dịch.

Phần 2/2: Tạo chương trình Haskell đầu tiên của bạn

Bước 1. Mở một tài liệu trống mới

Bạn có thể sử dụng bất kỳ trình soạn thảo văn bản nào bạn muốn (ví dụ: vscode, atom, sublime, v.v.). Mở trình soạn thảo văn bản mà bạn chọn với một tài liệu trống. Bạn sẽ lưu tài liệu này dưới dạng

xin chào.hs

. Các

.hs

phần mở rộng được sử dụng để xác định các tệp chứa mã nguồn Haskell.

Bước 2. Tạo biến đầu tiên trong Haskell

Bạn cần xác định một biến được gọi là chính. Trình biên dịch haskell sẽ tìm kiếm điều này khi bạn biên dịch mã nguồn của mình.

chính:: IO ()

  1. Các

    ::

  2. toán tử có thể được đọc là "có loại".
  3. Vì vậy, bạn có thể đọc dòng mã trên dưới dạng

    chủ chốt

    "có loại"

    IO ()

  4. Các

    IO ()

    loại là một cái gì đó được gọi là

    Đơn nguyên

    . Tôi sẽ không đi sâu vào chi tiết nhưng bạn có thể đọc thêm trên Haskell wiki về monads.

    Bước 3. Cung cấp một giá trị

    Các

    IO ()

    Đơn nguyên được sử dụng cho Đầu vào / Đầu ra. Vì vậy, bây giờ bạn đã có biến

    chủ chốt

    bạn chỉ cần cung cấp cho nó một số giá trị.

    main:: IO () main = putStrLn "Xin chào cả thế giới!"

    1. putStrLn

      là một hàm có kiểu là

      Chuỗi -> IO ()

    2. .
    3. Điều đó thoạt nhìn có vẻ khó hiểu, nhưng nó khá đơn giản. Hãy nghĩ về

      ->

      dưới dạng ánh xạ từ loại này sang loại khác. Đó là,

      putStrLn

    4. hàm ánh xạ một chuỗi thành một đơn nguyên.
    5. Về cơ bản, chức năng

      putStrLn

      nhận một giá trị của loại

      Dây

      và trả về một giá trị kiểu

      IO ()

    6. .
    7. Đây là lý do tại sao việc đánh máy sẽ được kiểm tra khi bạn chỉ định

      chủ chốt

      với giá trị của

      putStrLn "Xin chào, thế giới!"

      Chú thích 2020 06 28 233337
      Chú thích 2020 06 28 233337

      Bước 4. Biên dịch chương trình

      Xin chúc mừng, bạn vừa viết chương trình haskell đầu tiên của mình. Tất cả những gì bạn phải làm bây giờ là biên dịch nó. Mở Windows Terminal và điều hướng đến thư mục bạn đã lưu

      xin chào.hs

      tập tin. Bạn có thể sử dụng tùy chọn menu ngữ cảnh "Mở ở đây" nếu bạn đã chọn tùy chọn đó khi cài đặt Powershell 7. Khi đó, bạn có thể bắt đầu quá trình biên dịch bằng lệnh sau:

      ghc xin chào.hs -o xin chào

      1. Biên dịch lấy mã nguồn

        xin chào.hs

      2. như đầu vào
      3. sử dụng

        -o

        cờ bạn có thể chuyển tên của những gì bạn muốn tệp thực thi đầu ra. Trong trường hợp này, nó là

        xin chào

      4. Để chạy chương trình sau khi chạy

        . / hello.exe

      5. lưu ý: Điều quan trọng là phải có

        .\

        ở đằng trước

        hello.exe

Đề xuất: