Kỹ thuật phần mềm static-typing

20

Tôi bắt đầu viết mã bằng Python chủ yếu ở nơi không có loại an toàn, sau đó chuyển sang C # và Java ở đó. Tôi thấy rằng tôi có thể làm việc nhanh hơn một chút và ít đau đầu hơn với Python, nhưng một lần nữa, các …

108 data-types dynamic-typing static-typing type-safety

7

Chức năng nào mà gõ động cho phép? [đóng cửa]

Tôi đã sử dụng python được vài ngày và tôi nghĩ rằng tôi hiểu sự khác biệt giữa kiểu gõ động và tĩnh. Những gì tôi không hiểu là trong hoàn cảnh nào nó sẽ được ưa thích. Nó linh hoạt và dễ đọc, nhưng với chi phí kiểm tra …

91 dynamic-typing static-typing

5

Có một mối tương quan giữa quy mô của dự án và sự nghiêm ngặt của ngôn ngữ?

Giải thích sự khác biệt giữa sự nghiêm ngặt của ngôn ngữ và mô thức đối với một đồng nghiệp của tôi, cuối cùng tôi đã khẳng định rằng: Các ngôn ngữ khoan dung, như ngôn ngữ động và thông dịch, được sử dụng tốt nhất cho các nguyên mẫu …

72 programming-languages dynamic-typing language-choice static-typing static-analysis

7

Các nghiên cứu ngôn ngữ gõ động và tĩnh [đóng]

Có tồn tại các nghiên cứu được thực hiện về hiệu quả của các ngôn ngữ gõ tĩnh và động? Đặc biệt: Đo lường năng suất lập trình viên Tỷ lệ khuyết tật Cũng bao gồm các tác động của việc kiểm tra đơn vị có được sử dụng hay …

69 productivity comparison type-systems dynamic-typing static-typing

4

Hệ thống loại của Haskell có chính thức tương đương với Java không? [đóng cửa]

Tôi nhận ra một số điều dễ hơn / khó hơn trong một ngôn ngữ so với ngôn ngữ khác, nhưng tôi chỉ quan tâm đến các tính năng liên quan đến loại có thể có trong một ngôn ngữ và không thể / không liên quan ở ngôn ngữ …

66 java haskell type-systems static-typing

14

Có phải là một ý tưởng tồi khi trả về các loại dữ liệu khác nhau từ một chức năng trong một ngôn ngữ được gõ động?

Ngôn ngữ chính của tôi được gõ tĩnh (Java). Trong Java, bạn phải trả về một loại duy nhất từ mọi phương thức. Ví dụ: bạn không thể có một phương thức trả về một cách có Stringđiều kiện hoặc trả về một cách có điều kiện Integer. Nhưng trong …

65 javascript dynamic-typing static-typing

10

Tại sao các ngôn ngữ OOP tĩnh chính mạnh mẽ ngăn chặn kế thừa nguyên thủy?

Tại sao điều này là OK và chủ yếu là mong đợi: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... trong khi điều này không ổn và không ai phàn nàn: concrete type Name : string …

53 type-systems static-typing strong-typing

1

Tại sao thế giới .Net dường như nắm lấy các chuỗi ma thuật thay vì các lựa chọn thay thế được gõ tĩnh?

Vì vậy, tôi làm việc trong .Net. Tôi thực hiện các dự án nguồn mở trong .Net. Một trong những vấn đề lớn nhất của tôi với nó không phải là cần thiết với .Net, nhưng với cộng đồng và các khuôn khổ xung quanh nó. Dường như ở khắp …

47 c# .net asp.net-mvc static-typing xaml

11

Tại sao PHP có giao diện?

Tôi nhận thấy rằng kể từ PHP5, các giao diện đã được thêm vào ngôn ngữ. Tuy nhiên, do PHP được gõ quá lỏng lẻo, nên dường như hầu hết các lợi ích của việc sử dụng giao diện đều bị mất. Tại sao điều này được bao gồm trong …

35 php object-oriented interfaces static-typing duck-typing

9

Các ngôn ngữ đánh máy năng động có xứng đáng với tất cả những lời chỉ trích? [đóng cửa]

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

3

Có một lợi thế thực sự cho các ngôn ngữ năng động? [đóng cửa]

Đầu tiên tôi muốn nói Java là ngôn ngữ duy nhất tôi từng sử dụng, vì vậy xin miễn cho sự thiếu hiểu biết của tôi về chủ đề này. Các ngôn ngữ được nhập động cho phép bạn đặt bất kỳ giá trị nào vào bất kỳ biến nào. …

29 languages dynamic-typing static-typing

7

Có phải ký hiệu tiếng Anh là một cách giải quyết cho các ngôn ngữ với kiểu gõ tĩnh không đủ biểu cảm? [đóng cửa]

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

4

Sự khác biệt về kiến trúc giữa ngôn ngữ động và ngôn ngữ tĩnh

Có sự khác biệt lớn về kiến trúc khi thiết kế các ứng dụng sẽ được xây dựng trên các ngôn ngữ tĩnh (như C # hoặc Java) và các ngôn ngữ động (như Ruby hoặc Python) không? Những khả năng thiết kế nào có thể là một lựa chọn …

22 design architecture dynamic-typing static-typing

2

Loại kiểm tra và đệ quy (Viết bộ kết hợp Y bằng Haskell / Ocaml)

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

5

Sử dụng các lớp tĩnh làm không gian tên

Câu hỏi này đã được di chuyển từ Stack Overflow bởi vì nó có thể được trả lời trên Exchange Engineering Stack Exchange. Di cư 8 năm trước . Tôi đã thấy các nhà phát triển khác sử dụng các lớp tĩnh làm không gian tên public static class CategoryA …

21 c# c++ object-oriented static-typing namespace

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