type-systems

7Nhiệt

1Trả lời

Disallow kết hợp của những đặc điểm cụ thể

Given: trait Foo trait Bar { this: Foo => } trait NoBar { this: Foo => } Có cách nào một thể lừa hệ thống kiểu vào không cho phép: new Foo with Bar with NoBar {}

scala type-systems 2012-12-23

---

9Nhiệt

3Trả lời

Ngôn ngữ C# ngăn chặn các generics bị covarient như thế nào trừ khi chúng không chứa các phương thức yêu cầu T làm đầu vào?

Tôi đã đọc về những thay đổi mà .NET4.5 sẽ mang lại, và trên this bài đăng trên blog tôi tình cờ gặp một điều mà tôi không biết cũng không hiểu. Khi nói về việc thực hiện các bộ sưu tập readonly, Immo

c# .net-4.5 type-systems 2012-06-18

---

6Nhiệt

1Trả lời

quy tắc kiểu mặc định tổng quát

Haskell's type-defaulting rules mặc một kiểu biến một với các ràng buộc (C1 một, ..., Cn a) nếu: Loại biến một xuất hiện trong không ràng buộc khác Tất cả các lớp Ci là tiêu chuẩn. Ít nhất một trong c

haskell type-systems 2013-07-24

---

7Nhiệt

2Trả lời

Scala: Đặt hàng contravariance

Có bất kỳ lý do nào tại sao đặc điểm của Scala là Ordering không phải là contravariant? Một ví dụ thúc đẩy sau. Giả sử tôi muốn thực hiện chèn được sắp xếp. Tôi có thể có một chức năng với chữ ký def

scala generics types contravariance type-systems 2013-04-17

---

8Nhiệt

3Trả lời

ngôn ngữ hoàn toàn được suy ra là gì? và hạn chế của ngôn ngữ đó?

Theo như tôi biết, bất kỳ ngôn ngữ lập trình nào không yêu cầu viết chú thích kiểu trong nguồn khi viết một hàm hoặc mô-đun và nếu đoạn mã đó là "đúng kiểu", trình biên dịch sẽ suy ra các kiểu và biên

types programming-languages functional-programming type-inference type-systems 2012-05-05

---

9Nhiệt

2Trả lời

Hệ thống kiểu Python - Đối tượng vs Loại

Tôi mới sử dụng Python. Tôi đã quen thuộc với Java, C/C++ và OCaml. Tôi hiểu Lambda Calculus và Lý thuyết Loại tiểu học vì một khóa học Ngôn ngữ lập trình tôi học tại Đại học. vũ trang với bối cảnh nà

python class types type-systems 2012-11-23

---

9Nhiệt

2Trả lời

Tên liên kết trong chữ ký loại sử dụng DataKind

Vì vậy, cuối cùng tôi đã tìm thấy một tác vụ mà tôi có thể sử dụng phần mở rộng DataKinds mới (sử dụng ghc 7.4.1). Đây là Vec Tôi đang sử dụng: data Nat = Z | S Nat deriving (Eq, Show) data Vec :: N

haskell syntax type-systems 2012-06-28

---

6Nhiệt

1Trả lời

Tại sao (a, a) không phải là một functor?

thể trùng lặp: Making (a, a) a Functor tôi đã viết thực hiện sau đây của quicksort: import Data.List (partition) quicksort [] = [] quicksort (x:xs) = let (smaller, notSmaller) = partition (<

haskell typeclass functor type-systems pair 2012-10-06

---

6Nhiệt

1Trả lời

Không thể lập bản đồ trên HList

Tôi đã cố gắng giải quyết this problem với hình dạng không có hình dạng. Tuy nhiên tôi vì lý do nào đó không thể lập bản đồ trên HList. Tôi sẽ để cho mã nói cho chính nó. import shapeless._ import HL

scala type-systems shapeless 2012-07-11

---

6Nhiệt

1Trả lời

Tin nhắn tương đương với các loại phương thức phụ thuộc

Nhờ có this bài đăng Tôi nhận được đầu về các loại phương thức phụ thuộc. Tôi có cấu trúc tương tự như sau trait Environment{ type Population <: PopulationBase protected trait PopulationBase

scala akka type-systems 2012-05-26

---