type-safety

7Nhiệt

3Trả lời

Haskell: Loại an toàn với các giá trị Boolean logic khác nhau

phép nói rằng tôi đã có đoạn mã sau type IsTall = Bool type IsAlive = Bool is_short_alive_person is_tall is_alive = (not is_tall) && is_alive Này, sau này, tôi đã có những điều sau a :: IsAlive

32Nhiệt

5Trả lời

Mô hình hóa an toàn dữ liệu quan hệ trong Haskell

Tôi thấy rất phổ biến khi muốn mô hình hóa dữ liệu quan hệ trong các chương trình chức năng của mình. Ví dụ, khi phát triển một trang web tôi có thể muốn có cấu trúc dữ liệu sau đây để lưu trữ thông t

6Nhiệt

3Trả lời

Loại mã của tôi có an toàn không?

Tôi khá chắc chắn đây là loại an toàn, nhưng chỉ muốn kiểm tra như Eclipse đang yêu cầu tôi đặt một chú thích @SuppressWarnings("unchecked"). Map<String, IFace> faces; public <T extends IFace> T get

7Nhiệt

2Trả lời

An toàn loại an toàn()

Vì phạm vi kiểm tra (đơn vị) của tôi vẫn còn khá thấp, thật không may, tôi phải tìm nhiều lỗi theo cách khó. Vì vậy, trong quá trình tái cấu trúc, tôi phụ thuộc rất nhiều vào việc kiểm tra kiểu của tr

6Nhiệt

1Trả lời

variadic danh sách constructor, làm thế nào để mặc định đúng loại và nhận an toàn kiểu

Đây là những gì tôi đã có: {-# LANGUAGE MultiParamTypeClasses , FlexibleInstances #-} class ListResultMult r a where lstM :: a -> [a] -> r listM :: ListResultMult r a => a -> r listM

9Nhiệt

5Trả lời

Làm thế nào để thêm ArrayList <String> vào JSON Array - giữ an toàn kiểu trong tâm trí

Eclipse hiển thị cảnh báo an toàn kiểu và tôi đã thử gần như mọi thứ để loại bỏ nó (dĩ nhiên là nó sẽ là một lựa chọn). Bạn có biết cách tôi phải thay đổi mã của mình để không có cảnh báo an toàn loại

14Nhiệt

5Trả lời

Loại giá trị .NET nguyên thủy chống kiểu thông qua các cấu trúc tùy chỉnh: Có đáng để nỗ lực không?

Tôi đang đùa giỡn với ý tưởng tạo các kiểu giá trị .NET nguyên thủy hơn loại an toàn hơn và nhiều hơn nữa "tự tạo tài liệu" bằng cách gói chúng trong tùy chỉnh struct s. Tuy nhiên, tôi tự hỏi nếu nó t

6Nhiệt

3Trả lời

C++ so với C# loại an toàn

Tôi đã đọc qua các câu hỏi với hầu hết các phiếu từ thẻ history và đi qua https://stackoverflow.com/q/4377512/627005, trong đó câu trả lời được chấp nhận nói rằng C có "loại an toàn tối thiểu", C++ có

5Nhiệt

3Trả lời

Nhập tên lớp an toàn vào một phương thức

Tôi cần tên lớp trong một phương thức, ví dụ X. Trong khi đó, tôi không muốn mất an toàn loại và tôi sẽ không cho phép các nhà phát triển khác vượt qua chuỗi (tên lớp) cho phương thức. Something như t

14Nhiệt

6Trả lời

typesafe typedef trong C++

Tôi muốn sử dụng một cái gì đó như typedef trong các chương trình C++ của tôi để tăng cường an toàn loại. Như một ví dụ, giả sử tôi có hai chức năng void function1(unsigned idOfType1); void function2