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

Giả sử tôi muốn viết một thư viện liên quan đến vectơ và ma trận. Có thể nướng các kích thước thành các loại, để các hoạt động của kích thước không tương thích tạo ra lỗi tại thời gian biên dịch không? Ví dụ, tôi muốn chữ ký của …

20 haskell  type-systems  type-safety 

Gần đây tôi đã tự hỏi tại sao từ khóa autođược chọn trong C ++ 11 để đánh dấu một biến có loại phải được trình biên dịch suy ra, như trong auto x = 1; Kể từ khi var dường như phổ biến hơn trong các ngôn ngữ lập …

20 c++  c++11  type-systems 

Vì hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi hy vọng câu trả lời sẽ được hỗ trợ bởi các sự kiện, tài liệu tham khảo hoặc chuyên môn, nhưng câu hỏi này có thể sẽ thu hút tranh …

20 programming-languages  language-features  type-systems  data-types 

Tôi đã quan tâm đến các loại duy nhất như là một thay thế cho các đơn nguyên trong các ngôn ngữ chức năng thuần túy trong một thời gian; thật không may, đây là một lĩnh vực bí truyền của nghiên cứu CS và các tài nguyên trực tuyến …

19 programming-languages  functional-programming  type-systems  parallelism 

Càng tìm hiểu về các mô hình lập trình khác nhau, chẳng hạn như lập trình chức năng, tôi càng bắt đầu đặt câu hỏi về sự khôn ngoan của các khái niệm OOP như kế thừa và đa hình. Lần đầu tiên tôi học về sự kế thừa và …

18 java  c++  python  object-oriented  type-systems 

Trong một dự án gần đây tôi đang thực hiện, tôi đã phải sử dụng rất nhiều chức năng giống như thế này: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int …

17 c++  type-systems  data-types  type-safety 

Lưu ý ban đầu: Câu hỏi này đã bị đóng sau vài lần chỉnh sửa vì tôi thiếu thuật ngữ thích hợp để nêu chính xác những gì tôi đang tìm kiếm. Sam Tobin-Hochstadt sau đó đã đăng một bình luận khiến tôi nhận ra chính xác đó là gì: …

17 language-agnostic  type-systems  return-type 

Tôi khá chắc chắn rằng mọi người đều quen thuộc với các phương thức chung của biểu mẫu: T DoSomething<T>(T item) Hàm này còn được gọi là đa hình tham số (PP), cụ thể là PP cấp 1 . Giả sử phương thức này có thể được biểu diễn bằng …

16 programming-languages  functional-programming  type-systems  generics 

Nếu bạn có một enum chỉ có các giá trị (không có phương thức nào có thể làm trong Java) và enum này là một phần của định nghĩa nghiệp vụ của hệ thống, bạn có nên viết đơn vị kiểm tra cho nó không? Tôi đã nghĩ rằng chúng …

15 unit-testing  testing  type-systems  enum 

Trong các ngôn ngữ hướng đối tượng hỗ trợ các tham số loại chung (còn được gọi là mẫu lớp và đa hình tham số, mặc dù tất nhiên mỗi tên mang ý nghĩa khác nhau), thường có thể chỉ định ràng buộc kiểu trên tham số loại, do đó …

15 object-oriented  type-systems  generics 

Tôi vừa xem bài nói chuyện này của Daniel Spiewak , nơi anh ấy nói về những lợi thế của việc gõ cấu trúc so với cách gõ danh nghĩa Java của Scala . Một ví dụ cho sự khác biệt này sẽ là mã Java sau public interface Foo …

15 java  scala  type-systems  static-typing 

Tôi vừa hoàn thành việc học hỏi bạn vào một ngày khác, và tôi đang cố gắng hiểu ý nghĩa của Hạn chế đơn hình, như được mô tả bởi Haskell Wiki . Tôi nghĩ rằng tôi hiểu làm thế nào MR có thể ngăn chặn các đánh giá lặp …

14 optimization  haskell  type-systems 

Trong một câu trả lời cho một câu hỏi trước đó , một cuộc tranh luận nhỏ đã bắt đầu về thuật ngữ chính xác cho các cấu trúc nhất định. Như tôi đã không tìm thấy một câu hỏi (trừ này hay rằng , đó không hẳn là điều …

14 type-systems  data-types  type-theory 

Một số ngôn ngữ cho phép cho các lớp học và chức năng với các thông số loại (như List<T>nơi Tcó thể là một kiểu bất kỳ). Ví dụ: bạn có thể có một chức năng như: List<S> Function<S, T>(List<T> list) Tuy nhiên, một số ngôn ngữ cho phép khái …

13 programming-languages  type-systems  generics 

Haskell có một khái niệm về các chức năng chung của Cameron, có một số điểm tương đồng rõ ràng với lisp phổ biến không có kinh nghiệm với Haskell cũng như với lisp thông thường, tôi có thể rất gần đúng ở đây. Điều này có nghĩa là người …

13 haskell  type-systems  common-lisp