Câu hỏi được gắn thẻ «type-systems»

Tôi đã đọc một vài bài viết trên Internet về lựa chọn ngôn ngữ lập trình trong doanh nghiệp. Gần đây, nhiều ngôn ngữ gõ động đã được phổ biến, ví dụ như Ruby, Python, PHP và Erlang. Nhưng nhiều doanh nghiệp vẫn ở lại với các ngôn ngữ gõ …

35 programming-languages  dynamic-typing  static-typing  type-systems 

Tôi có hai chương trình nhỏ này: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } trong đó báo cáo …

33 java  c  type-systems 

Tôi đang học Haskell với mục đích tìm hiểu lập trình chức năng, với mong muốn tôi sẽ áp dụng cái nhìn sâu sắc mà tôi có được bằng các ngôn ngữ khác (chủ yếu là Groovy, Python, JavaScript.) Tôi chọn Haskell vì tôi có ấn tượng rằng nó rất …

33 functional-programming  haskell  language-features  type-systems 

Tôi đã đọc một câu hỏi liên quan Có bất kỳ mẫu thiết kế nào không cần thiết trong các ngôn ngữ động như Python không? và ghi nhớ câu nói này trên Wikiquote.org Điều tuyệt vời về cách gõ động là nó cho phép bạn thể hiện bất cứ …

30 design-patterns  python  type-systems  dynamic-typing 

Việc giới thiệu ký hiệu lambda mới (xem ví dụ bài viết này ) trong Java 8 sẽ yêu cầu một số loại suy luận? Nếu vậy, hệ thống kiểu mới sẽ tác động đến toàn bộ ngôn ngữ Java như thế nào?

30 java  type-systems  lambda  java8 

Tôi biết đây là một câu hỏi rất rộng, mơ hồ và có thể là triết học. Ở một mức độ nào đó, từ khóa quan trọng nhất trong câu hỏi - hệ thống loại "mạnh" - chính nó, là không xác định . Vì vậy, hãy để tôi cố …

29 java  haskell  scala  type-systems  rust 

Dường như tất cả các ngôn ngữ lập trình mới hoặc ít nhất là những ngôn ngữ đã trở thành loại suy luận sử dụng phổ biến. Ngay cả Javascript cũng có kiểu và suy luận kiểu mặc dù các cách triển khai khác nhau (Acscript, typecript, v.v.). Nó có …

29 programming-languages  type-systems 

Người ta thường chấp nhận rằng các tổng quát Java đã thất bại theo một số cách quan trọng. Sự kết hợp của các ký tự đại diện và giới hạn dẫn đến một số mã nghiêm trọng không thể đọc được. Tuy nhiên, khi tôi nhìn vào các ngôn …

29 type-systems  generics 

Trong bài viết của Eric Lippert Có gì với ký hiệu Hungary? , ông nói rằng mục đích của Ký hiệu Hungary (loại tốt) là để mở rộng khái niệm "loại" để bao gồm thông tin ngữ nghĩa bên cạnh thông tin đại diện lưu trữ. Một ví dụ đơn …

28 naming  type-systems  static-typing  hungarian 

Khi thiết kế và implenting một ngôn ngữ lập trình hướng đối tượng, tại một số một thời điểm phải thực hiện một sự lựa chọn về việc thực hiện các loại cơ bản (như int, float, doublehoặc tương đương) như các lớp học hay cái gì khác. Rõ ràng, …

27 object-oriented  language-design  compiler  type-systems 

Tôi hơi bối rối về sự khác biệt giữa các hệ thống loại danh nghĩa và cấu trúc. Ai đó có thể vui lòng giải thích chúng khác nhau như thế nào? Từ những gì tôi hiểu: Danh nghĩa: Khả năng tương thích loại dựa trên tên loại. Cấu trúc: …

24 type-systems 

Lưu ý: Khi tôi sử dụng "phức tạp" trong tiêu đề, tôi có nghĩa là biểu thức có nhiều toán tử và toán hạng. Không phải là bản thân biểu thức là phức tạp. Gần đây tôi đã làm việc trên một trình biên dịch đơn giản để lắp ráp …

23 language-agnostic  compiler  type-systems  type 

Tôi đã đọc rằng Hindley-Milner không hoạt động với các hệ thống loại có các lớp con và có các tính năng hệ thống loại khác cũng không hoạt động tốt với nó. Go hiện chỉ có loại suy luận rất hạn chế trong :=toán tử. Nhưng Go không có …

22 haskell  type-systems  go 

Có một số lý do lý thuyết cho điều đó (như việc kiểm tra kiểu hoặc suy luận kiểu sẽ trở nên không thể giải quyết được), hoặc lý do thực tế (quá khó để thực hiện đúng)? Hiện tại, chúng ta có thể gói mọi thứ vào newtypenhư newtype …

22 haskell  abstraction  type-systems  lambda 

Khi giải thích bộ kết hợp Y trong ngữ cảnh của Haskell, người ta thường lưu ý rằng việc triển khai thẳng sẽ không kiểm tra kiểu trong Haskell vì loại đệ quy của nó. Ví dụ: từ Rosettacode : The obvious definition of the Y combinator in Haskell canot …

21 haskell  type-systems  static-typing  ocaml