typed-racket

6Nhiệt

1Trả lời

Tôi muốn thực thi kiểu dữ liệu cho đầu vào cho một hàm trong vợt. Ví dụ, trong hàm này tôi muốn mong đợi các số nguyên và đưa ra một lỗi nếu ai đó nhập vào một chuỗi. Có cách nào tiêu chuẩn để thực th

15Nhiệt

1Trả lời

Điểm tương đồng và khác biệt giữa các tính năng nhập trong Viền chữ và các tính năng kiểu giống như trong Clojure là gì?

Clojure có một số tính năng thú vị để thể hiện các loại bao gồm nhưng không giới hạn ở deftype, defprotocol, reify và extend. Điểm tương đồng và khác biệt giữa các tính năng nhập trong Viền chữ và các

5Nhiệt

1Trả lời

Làm cách nào để viết các hàm bậc cao hơn có chức năng đa hình như các đối số trong Typed Racket?

Ví dụ, làm thế nào tôi có thể viết một phiên bản map mà sẽ làm việc với các chức năng đa hình trong typed vợt? Tôi sử dụng một id chức năng đơn giản định nghĩa là: (: id : (All (A) A -> A)) (define (

11Nhiệt

1Trả lời

Làm cách nào để tôi có thể sử dụng vị từ `jsexpr? 'Của JSON bằng vợt chữ?

Tôi đang cố gắng sử dụng gói json trong Viền đã nhập, nhưng tôi đang gặp một số sự cố khi xử lý cách nhập thuộc tính jsexpr?. Nỗ lực đầu tiên của tôi chỉ đơn giản là sử dụng #:opaque. (require/typed j

5Nhiệt

2Trả lời

Làm cách nào để tối ưu hóa đoạn mã Racket này?

Tôi muốn tính tổng của 1 + 1/2 + 1/3 + ... + 1/100000000 (sử dụng phao kép). Với SBCL, mã này chạy nhanh như trong C: (loop for i fixnum from 1 to 100000000 sum (/ 1.0d0 i) double-float) Làm thế nào

5Nhiệt

1Trả lời

Đại diện cho hàm EOF -> False, A -> A ∀ A ≠ EOF trong vợt đã nhập?

Tôi cố gắng để xác định loại chú thích cho các chức năng sau đây trong Typed vợt: (define (neof x) (if (eof-object? x) #f x)) Rời nó bỏ chú thích cho các loại: (Any -> Any) Sử dụng loại này t