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

Có lẽ nguồn chính của các vấn đề về hiệu năng trong Haskell là khi một chương trình vô tình xây dựng một khối sâu không giới hạn - điều này gây ra cả rò rỉ bộ nhớ và khả năng tràn ngăn xếp khi đánh giá. Ví dụ cổ …

10 type-theory  functional-programming  program-verification 

Chúng tôi biết rằng sự bình đẳng beta của các thuật ngữ lambda được gõ đơn giản là có thể quyết định. Cho M, N: →, liệu có thể quyết định được cho tất cả X MX _β≃β≃β≃_β NX không?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Tôi đã đọc một chút về các cấu trúc dữ liệu sau: Thử thách Hash lý tưởng của Bagwell Bảng băm động của Larson Cây đỏ-đen Cây Patricia ... Và tôi chắc chắn có rất nhiều người khác ở ngoài đó. Tôi đã thấy rất ít theo cách mà mỗi …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego là ngôn ngữ chuyển đổi lập trình / Viết lại DSL. Anthony Sloane đã thực hiện một số công việc làm một thực hiện chạy trên Scala . Các giới hạn lý thuyết của Stratego như một ngôn ngữ chức năng là gì? (bất kể thực hiện). Người ta …

10 functional-programming 

Có bất kỳ hệ thống tương tự như tính toán lambda đang bình thường hóa mạnh mẽ, mà không cần phải thêm một hệ thống loại trên nó không?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Thai nhi, nếu bạn chưa nghe về nó, có thể đọc ở đây . Nó sử dụng một hệ thống 'ma trận gọi' và 'biểu đồ cuộc gọi' để tìm tất cả 'hành vi đệ quy' của các cuộc gọi đệ quy trong một hàm. Để chỉ ra rằng một …

9 lo.logic  computability  functional-programming 

Theo như tôi biết, một hàm Haskell với các ràng buộc của lớp loại được biên dịch bên trong thành một hàm với các đối số bổ sung nhận từ điển với các cài đặt cần thiết của từng lớp loại cụ thể. Có bất kỳ khả năng nào khác …

9 pl.programming-languages  functional-programming  compilers  type-systems 

Tôi đang tìm kiếm một khái niệm trong lý thuyết loại mà tôi chắc chắn có thể đã được khám phá, nhưng không biết tên đằng sau. Chúng ta hãy xem xét một ngôn ngữ giống như ML với các loại sản phẩm và tổng và hệ thống loại giống …

8 type-theory  functional-programming 

Hầu hết các tài nguyên liên quan đến các khái niệm phân loại trong lập trình mô tả các đơn nguyên, nhưng tôi chưa bao giờ thấy một mô tả phân loại của các máy biến áp đơn nguyên. Làm thế nào các máy biến áp đơn nguyên có thể …

8 type-theory  functional-programming  ct.category-theory  haskell  monad 

Tôi đã tìm thấy ứng dụng web này cho phép bạn tạo một định lý miễn phí cho một loại nhất định. Các định lý được tạo định lượng qua các loại và quan hệ trên các loại này. Những định lý (công thức) là những định lý về lý …

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Gần đây, tôi đã chơi xung quanh với những hồi tưởng , chủ yếu là từ bài báo kinh điển của Abramsky Retracing Một số con đường trong Đại số quá trình . Chúng khá lắt léo (về cơ bản là các giải pháp cho phương trình miền ) và …

8 reference-request  pl.programming-languages  functional-programming 

Trong khi viết chương trình Petri Net, tôi đã phải đối mặt với sự lựa chọn về cấu trúc dữ liệu để biểu diễn biểu đồ. Danh sách điều chỉnh (tức là liệt kê liệt kê các cung vào và ra khỏi các vị trí hoặc chuyển tiếp riêng lẻ) …

8 ds.data-structures  functional-programming  sparse-matrix