algebraic-data-types

16Nhiệt

2Trả lời

Tại sao các kiểu dữ liệu quy nạp cấm các kiểu như `dữ liệu Xấu a = C (Xấu a -> a)` trong đó kiểu đệ quy xảy ra trước ->?

Hướng dẫn sử dụng Agda trên Inductive Data Types and Pattern Matching tiểu bang: Để đảm bảo bình thường, xuất hiện quy nạp phải xuất hiện ở các vị trí dương. Ví dụ, các kiểu dữ liệu sau đây không được

haskell recursive-datastructures algebraic-data-types y-combinator agda 2012-09-29

---

15Nhiệt

2Trả lời

Độ mềm/độ chặt giữa dữ liệu và kiểu mới

Tôi đang cố gắng hiểu tại sao hai đoạn này tạo ra các kết quả khác nhau dưới cái gọi là "phân tích độ nghiêm ngặt của người nghèo". Ví dụ đầu tiên sử dụng data (giả sử một trường hợp applicative đúng)

haskell lazy-evaluation algebraic-data-types newtype 2012-11-26

---

20Nhiệt

1Trả lời

Cách tốt nhất để xác định các loại dữ liệu đại số bằng Python là gì?

Tôi biết rằng Python KHÔNG phải là Haskell hoặc Ocaml, nhưng đó là cách tốt nhất để xác định các loại dữ liệu đại số trong Python (2 hoặc 3)? Cảm ơn!

python algebraic-data-types 2013-04-28

---

6Nhiệt

1Trả lời

Các loại biến thể và kiểu phụ được đặt hàng trong OCaml

Tôi hiện đang cố gắng thực hiện một số chế biến tay mahjong trong OCaml và ngay từ đầu tôi đang phải đối mặt với một cái gì đó gây lỗi cho tôi. Tôi sẽ cung cấp cho bạn các ví dụ dựa trên thẻ vì tôi kh

haskell compare ocaml algebraic-data-types 2013-06-18

---

13Nhiệt

1Trả lời

Có thể tạo và thực thi mã Rust khi chạy không?

Sử dụng C, trong thời gian chạy, tôi có thể: Tạo mã nguồn của một hàm, Gọi ra gcc để biên dịch nó vào một .so (Linux) (hoặc sử dụng llvm, vv) , Tải .so và Gọi hàm. Điều tương tự cũng có thể xảy ra tro

c rust algebraic-data-types 2013-01-22

---

8Nhiệt

2Trả lời

Đặt tên bí danh kiểu dữ liệu Haskell

Tôi đã viết mô-đun Vector toán học trong Haskell. Vì vậy, tôi bắt đầu với: data Vector a = Vector !a !a !a deriving (Eq, Show) Fine-này cho phép tôi sử dụng bất kỳ loại dữ liệu số tôi muốn. Vấn đề l

haskell types naming-conventions algebraic-data-types type-alias 2012-07-08

---

7Nhiệt

2Trả lời

Có cơ sở dữ liệu Haskell sử dụng các kiểu dữ liệu đại số không?

Tôi đang lập trình một huấn luyện viên từ vựng trong Haskell trong thời gian rảnh rỗi của tôi. Tôi có một tập tin với dòng chữ nơi mục được mô hình hóa như các kiểu dữ liệu đại số, mà trông giống như

database haskell algebraic-data-types 2013-08-19

---

14Nhiệt

1Trả lời

Cách giải nén các trường nghiêm ngặt đi cùng với đa hình?

{-# UNPACK #-} pragma yêu cầu trình biên dịch loại bỏ các nhà thầu dự phòng. Trích dẫn Haskell wiki: Ví dụ, đưa ra này: data T = T {-# UNPACK #-} !(Int,Float) GHC sẽ đại diện cho loại T như thế này:

optimization haskell ghc strict algebraic-data-types 2012-10-27

---

17Nhiệt

1Trả lời

Loại đại số và ký hiệu mũi tên lên Knuth

Đọc qua this question và this blog post giúp tôi suy nghĩ thêm về đại số loại và cụ thể cách lạm dụng nó. Về cơ bản, 1) Chúng ta có thể nghĩ đến loại Either A B như bổ sung: A+B 2) Chúng ta có thể ngh

haskell types functional-programming algebraic-data-types 2012-11-01

---

9Nhiệt

4Trả lời

Khởi tạo kiểu dữ liệu đại số từ danh sách

Tôi là một lập trình viên Haskell khá mới và tôi đang cố gắng tìm ra cách để có được một số giá trị thành một kiểu dữ liệu đại số. Tôi có một loại bản ghi dữ liệu: data OrbitElements = OrbitElements {

list haskell algebraic-data-types 2013-03-31

---