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

một hệ thống kiểu là một tập hợp các quy tắc gán một thuộc tính được gọi là một kiểu cho các cấu trúc khác nhau, ví dụ như các biến, biểu thức, hàm hoặc mô-đun mà một chương trình máy tính được cấu thành.

10
Chúng ta có nên xác định loại cho tất cả mọi thứ?
Gần đây tôi gặp vấn đề với khả năng đọc mã của tôi. Tôi đã có một chức năng đã thực hiện một thao tác và trả về một chuỗi đại diện cho ID của hoạt động này để tham khảo trong tương lai (giống như OpenFile trong Windows trả …
141 type-systems 
16
Làm thế nào để tôi lưu trữ các giá trị không xác định được và các vùng bị thiếu trong một biến, trong khi vẫn giữ được sự khác biệt giữa
Hãy coi đây là một câu hỏi "hàn lâm". Thỉnh thoảng tôi đã tự hỏi về việc tránh các NULL và đây là một ví dụ mà tôi không thể đưa ra một giải pháp thỏa đáng. Giả sử tôi lưu trữ các phép đo trong trường hợp phép đo …
14
Khi nào kiểm tra loại OK?
Giả sử một ngôn ngữ với một số loại an toàn vốn có (ví dụ: không phải JavaScript): Đưa ra một phương thức chấp nhận a SuperType, chúng tôi biết rằng trong hầu hết các trường hợp, trong đó chúng tôi có thể bị cám dỗ thực hiện kiểm tra …
6
Tại sao loại suy luận hữu ích?
Tôi đọc mã theo cách thường xuyên hơn tôi viết mã và tôi cho rằng hầu hết các lập trình viên làm việc trên phần mềm công nghiệp đều làm việc này. Ưu điểm của suy luận kiểu tôi giả sử là ít chi tiết và ít viết mã hơn. …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.