types

10Nhiệt

2Trả lời

Các nhược điểm cho ScopedTypeVariables, nếu có? Tại sao nó không được bật theo mặc định? Liệu nó dẫn đến suy luận tồi tệ hơn? Có trường hợp cạnh nào không? Việc triển khai GHC có khó khăn hơn không?

5Nhiệt

1Trả lời

Xác định trường hợp đơn vị scalaz cho danh sách không có hình dạng

Tôi đã cố gắng xác định Monad (scalaz) cho shapeless HList thông qua point và bind triển khai. Vấn đề đầu tiên là đặc điểm HList không phải là kiểu hàm dựng, nhưng có thể được giải quyết bằng kiểu lam

19Nhiệt

4Trả lời

Haskell, nhân Int và nổi trong vòng một hàm

Tại sao nó rằng trong ghci Tôi có thể nhập: 5.0 * (3 - 1) > 10.0 Nhưng nếu tôi cố gắng và tạo ra một chức năng trong một tập tin .hs và tải nó tại: test :: Float -> Int -> Int -> Float test a b c

5Nhiệt

1Trả lời

Cách sử dụng Loại :: Đường dẫn :: Nhỏ với Moo

Câu hỏi đầu tiên của tôi trên trang này, tôi đến nhanh chóng. Tôi là một nhà phát triển, tôi chủ yếu sử dụng Python và Perl. Tôi đam mê và tôi thực sự thích sự phát triển. Câu hỏi đầu tiên của tôi là

6Nhiệt

2Trả lời

Không thể nhập khi đối số chấp nhận Bộ sưu tập <X<?>>

Sự cố này xuất phát từ việc nhập hàm tạo của javax.validation.ConstraintViolationException. Nó chấp nhận Set<ConstraintViolation<?>> làm đối số. Trong khi rất dễ dàng để có được một tập hợp các Constr

5Nhiệt

4Trả lời

Nối tiếp có thể mở rộng trong Haskell

Tôi đang cố gắng tạo tuần tự hóa/deserialization bằng cách đọc và hiển thị (không phải là vấn đề), nhưng có thể mở rộng theo nghĩa là dữ liệu có thể được mở rộng (nhưng không bị thu hẹp) . Giả sử tôi

6Nhiệt

1Trả lời

Cách xác định loại ID mạnh trong C++ 11?

Cách xác định loại ID mạnh trong C++ 11? Đó là posible để thực hiện bí danh của các loại nguyên nhưng nhận được cảnh báo từ trình biên dịch khi bạn kết hợp các loại? ví dụ: using monsterID = int; usi

5Nhiệt

2Trả lời

Tại sao mã này không biên dịch?

Tôi đang viết một phương pháp để tạo ra một DataTable lấy làm nguồn dữ liệu chung cho IEnumerable. Tôi cố gắng để thiết lập một giá trị mặc định trên các lĩnh vực nếu theres không có giá trị, với mã d

8Nhiệt

1Trả lời

Các loại ngoại lệ trong Scala

Ít gây nhầm lẫn về các loại hiện có. này làm việc cho tôi: def valueOf(c: Class[_], name: String) { type C = Class[T] forSome {type T <: Enum[T]} Enum.valueOf(c.asInstanceOf[C], name) } n

5Nhiệt

3Trả lời

Gõ một chuỗi C++ theo nghĩa đen

Hết sức tò mò, tôi tự hỏi loại thực sự cơ bản của chuỗi ký tự C++ là gì. Tùy thuộc vào những gì tôi quan sát, tôi nhận được các kết quả khác nhau. Xét nghiệm typeid như sau: std::cout << typeid("test"