sml

9Nhiệt

1Trả lời

Làm thế nào để bạn in bên trong một tuyên bố trường hợp trong SML?

Tôi mới bắt đầu với SML và tôi đang cố sửa đổi một số mã để tôi hiểu nó đang làm gì (tôi không thể tìm được trình gỡ rối SML/NJ tốt, nhưng đó là một câu hỏi riêng). fun type_check e theta env non_gens

6Nhiệt

3Trả lời

sự khác biệt giữa infix, infixr, infixl

Tôi đọc một cuốn sách sử dụng thông tin, infixr và infixl trong các chương trình mẫu. Tôi tự hỏi sự khác biệt là gì. Tôi đoán rằng infixr thực hiện hoạt động từ phải sang trái và ngược lại.

47Nhiệt

9Trả lời

Giải thích mẫu phù hợp vs chuyển đổi

Tôi đã cố gắng giải thích sự khác biệt giữa báo cáo chuyển đổi và đối sánh mẫu (F #) với một vài người nhưng tôi thực sự không thể giải thích tốt ... hầu hết thời gian họ chỉ nhìn tôi và nói "vậy tại

20Nhiệt

2Trả lời

Các giới hạn của suy luận kiểu là gì?

Giới hạn của suy luận kiểu là gì? Những hệ thống kiểu nào không có thuật toán suy luận chung?

17Nhiệt

2Trả lời

Nhận xét dòng trong tiêu chuẩn ML

Tôi đang học ML, với phương ngữ SML/NJ. Những gì tôi đang cố gắng tìm ra là nếu có một nhà điều hành bình luận dòng. Tôi tìm thấy toán tử bình luận khối, (* ... *), nhưng tôi thực sự bỏ lỡ các bình lu

5Nhiệt

5Trả lời

Sử dụng ML trong các ứng dụng "Thế giới thực"

Tôi thực sự thích học ML tại trường đại học. Tôi tìm thấy lập trình chức năng thường là một cách thanh lịch mới mẻ để viết các thuật toán nhất định. Tôi đã nghe nói về F # và chơi xung quanh với điều

9Nhiệt

2Trả lời

GUI cho tiêu chuẩn ML?

Tôi bắt đầu học ML chuẩn gần đây vì tò mò. Vì vậy, những gì tôi biết là có một trình biên dịch hiệu quả (MLton) cho phép chúng ta tự do sử dụng trừu tượng mà không đáng lo ngại về hiệu suất. Sẽ hoàn h

15Nhiệt

3Trả lời

cà ri chức năng ẩn danh trong SML

tôi có chức năng dưới đây và nó hoạt động: (fn x => x * 2) 2; nhưng điều này không làm việc: (fn x y => x + y) 2 3; bất cứ ai có thể cho tôi biết tại sao? Hoặc cho tôi một số gợi ý để làm cho nó h

86Nhiệt

3Trả lời

Sự khác nhau giữa SML và OCaml là gì?

Điều gì đặt hai phương ngữ ML khác nhau?