programming-languages

33Nhiệt

1Trả lời

Nghiên cứu chuyên sâu về các loại hệ thống và lý thuyết loại

Tôi muốn hiểu lý thuyết thực tế đằng sau các loại thay vì chỉ tìm hiểu về thay đổi thực tế mới nhất được thực hiện bằng một số ngôn ngữ hiện có (ví dụ, không chỉ cách hệ thống kiểu Haskell hoặc Scala

9Nhiệt

4Trả lời

Khi "riêng tư" là phạm vi mặc định trong C# - liệu từ "riêng tư" có bị xóa khỏi chữ ký để có mã sạch hơn không?

Tôi đã nghe các lập trình viên khác nhau đề xuất không bao gồm từ "riêng tư" trong các khai báo, chữ ký phương thức, v.v. vì tư nhân là phạm vi mặc định khi không được chỉ định. Nó có thể làm cho mã s

11Nhiệt

4Trả lời

Trong Haskell, + là một hàm, (+ 2) là một hàm, (+ 2 3) là 5. Chính xác những gì đang diễn ra ở đó?

Làm thế nào điều này có thể, những gì đang diễn ra ở đó? Có tên này không? Ngôn ngữ nào khác có cùng hành vi này? Bất kỳ không có hệ thống đánh máy mạnh?

7Nhiệt

1Trả lời

Danh sách ngôn ngữ lập trình đã được xử lý là gì?

Tôi vừa học được từ một câu hỏi khác mà Haskell được gọi là ngôn ngữ lập trình đã bị quấy rối bởi vì nó áp dụng hàm currying theo mặc định. Các ngôn ngữ khác hiển thị hành vi này là gì?

24Nhiệt

3Trả lời

Điều gì có nghĩa là "Capture-tránh thay thế"?

Trong khi đọc phần tích phân Lambda trong Wiki, đi qua cụm từ Thay thế chụp thay thế. Ai đó có thể giải thích ý nghĩa của nó vì tôi không thể tìm thấy một định nghĩa từ bất cứ đâu. Cảm ơn PS Những gì

5Nhiệt

4Trả lời

Ngôn ngữ chỉ sử dụng Scala với các bộ giải nén quá tải?

Trong ít nhất một số ngôn ngữ gia đình ML, bạn có thể xác định các bản ghi mà bạn có thể thực hiện đối sánh mẫu, ví dụ: http://learnyouahaskell.com/making-our-own-types-and-typeclasses - ý tưởng cơ bả

10Nhiệt

3Trả lời

Ruby có một cái gì đó giống như sự hiểu biết danh sách của Python?

Python có một tính năng tuyệt vời: print([j**2 for j in [2, 3, 4, 5]]) # => [4, 9, 16, 25] Trong Ruby nó thậm chí còn đơn giản hơn: puts [2, 3, 4, 5].map{|j| j**2} nhưng nếu nó về lồng vòng Python

9Nhiệt

2Trả lời

Khi nào được ưu tiên không phân loại trên các trích dẫn đã nhập trong F #?

F # có cả hai mã được đánh máy và không được nhập mã và tôi tự hỏi các trường hợp sử dụng là nơi nào người ta chọn cái kia? Sự khác biệt chỉ là các báo giá thuận tiện và không được nhập sai và được nh

13Nhiệt

3Trả lời

Sự khác biệt giữa phản chiếu dựa trên gương và phản xạ truyền thống là gì?

Một số ngôn ngữ như Dart sử dụng phản chiếu dựa trên gương, do đó, trong thuật ngữ đơn giản, sự khác nhau giữa triển khai như vậy và sự phản chiếu truyền thống như bạn thấy trong C# hoặc Java. Cập nhậ

19Nhiệt

2Trả lời

Coffeescript Static Analysis/Static Typechecking - Roadblock

Tôi nghĩ Coffeescript là một ngôn ngữ tuyệt vời! Tôi đang tìm kiếm một số dự án/vấn đề/tính năng thêm Phân tích tĩnh vào Coffeescript. Tuy nhiên sau khi tìm kiếm một số tôi thấy rằng Coffeescript faq