type-constraints

24Nhiệt

4Trả lời

Tại sao kết quả ràng buộc kiểu chung loại không có lỗi chuyển đổi tham chiếu ngầm định?

Tôi đã tạo ra một vài giao diện và các lớp học chung để làm việc với các cuộc hẹn chương trình nghị sự: interface IAppointment<T> where T : IAppointmentProperties { T Properties { get; set; } }

c# generics implicit-conversion type-constraints 2013-07-02

---

11Nhiệt

1Trả lời

Làm cách nào để kết hợp hai loại ràng buộc với một lôgic hoặc trong Haskell?

Trong Haskell, chúng tôi có khả năng kết hợp các ràng buộc trên các loại với một lôgic và. Hãy xem xét những điều sau type And (a :: Constraint) b = (a, b) hoặc phức tạp hơn class (a, b) => And a b

haskell typeclass type-constraints 2012-04-21

---

8Nhiệt

3Trả lời

Constrain loại tham số cho một loại cơ sở

tôi biết làm thế nào để buộc một tham số kiểu là một kiểu phụ loại khác: public interface IMapping<T2> { public void Serialize<T3>(T3 obj) where T3 : T2; } ... var mapping = MapManager

c# generics type-constraints 2013-09-03

---

9Nhiệt

2Trả lời

Các loại ràng buộc mặc định được bỏ qua

Tôi gặp phải sự cố lạ khi xác định ràng buộc mặc định. Nếu một ràng buộc là đơn vị, cá thể mặc định không được chọn. Trong tất cả các trường hợp khác, nó hoạt động như mong đợi. {-# LANGUAGE TypeFamil

haskell default type-constraints 2012-04-30

---

7Nhiệt

2Trả lời

Enum <? mở rộng giao diện>

Tôi đang cố gắng để có một bộ sưu tập của enums rằng mở rộng một giao diện chung, vì vậy cái gì đó như: interface Fooable { void someCommonMethod(); } enum E1 implements Fooable { // so

java interface enums type-constraints 2012-08-10

---

9Nhiệt

3Trả lời

Có thể hạn chế một tham số kiểu phương thức chung của C# như "có thể gán từ" tham số kiểu của lớp có chứa không?

tôi nghi ngờ câu trả lời là không, nhưng tôi muốn biết nếu nó có thể làm điều gì đó như thế này: public class MyGenericClass<TSomeClass> { public void MyGenericMethod<TSomeInterface>() // T

c# generics type-constraints 2012-06-29

---

5Nhiệt

2Trả lời

OCaml: loại ràng buộc trong chữ ký

Trong mã của tôi, tôi có một bối cảnh truy cập cơ sở dữ liệu cung cấp các hoạt động đọc/ghi sơ cấp, được gọi là CouchDB.ctx. Các mô-đun khác nhau trong ứng dụng của tôi sau đó mở rộng lớp đó với chức

types ocaml signature type-constraints 2012-05-14

---

7Nhiệt

1Trả lời

Ví dụ Functor cho GADT có ràng buộc kiểu

Hôm nay tôi muốn điều tra nếu có thể xây dựng kiểu dữ liệu theo cách sao cho nó không lưu trữ dữ liệu kiểu chữ ký của nó, nhưng đại diện khác của nó . Vì vậy, đây là nỗ lực của tôi về một GADT trong đ

haskell functor type-constraints 2013-06-17

---

5Nhiệt

1Trả lời

Tại sao một kiểm tra null gây ra một ràng buộc bình đẳng trong F #?

Nếu loại chung được so sánh với null (và chỉ với null), điều này làm cho trình biên dịch hạn chế loại cả hai là rỗng (là ok) và là tương đương. Tại sao lại là thứ hai? Có vẻ như chỉ cần so sánh với nu

f# type-constraints 2012-10-26

---

9Nhiệt

1Trả lời

Scala Generics Type Constraints

Tôi đang đọc Programming Scala ngay bây giờ. Tôi vừa xem qua chương về chuyển đổi kiểu ngầm, trong đó biểu tượng <% được giới thiệu. Ngoài ra còn có biểu tượng <: và biểu tượng <. Ai đó có thể tóm tắt

scala generics type-constraints 2013-04-01

---