Có thể thực hiện các loại phụ thuộc trong vợt đánh máy?

9

Có thể sử dụng các loại phụ thuộc trong triển khai Vợt đánh máy hiện có không? (tức là họ có tồn tại trong đó không?)

Có hợp lý không khi thực hiện Hệ thống các loại phụ thuộc bằng cách sử dụng vợt đánh máy?

— mắt diều hâu
nguồn

3

Tôi nghĩ rằng bạn cần phải làm rõ câu hỏi này một chút: bạn có hỏi liệu các loại phụ thuộc tồn tại trong Vợt hay thời tiết có thể thêm chúng không? Nếu đó là cái trước, thì không (theo định nghĩa hợp lý nhất của các loại phụ thuộc), và nếu đó là cái sau, thì có.

— cody

1

Như cody lưu ý, câu hỏi này không rõ ràng, và tùy thuộc vào ý bạn, câu trả lời là không có gì rất thú vị hoặc không có rất thú vị. Xin hãy xác nhận câu hỏi này để chúng tôi biết bạn đang hỏi gì.

— Gilles 'SO- ngừng trở nên xấu xa'

4

Các loại phụ thuộc trong vợt đang được Andrew Kent tại Đại học Indiana nghiên cứu.

Có một bộ slide . Có một cuộc nói chuyện .

Điều đáng quan tâm, điều này cũng có khả năng tác động đến Typed Clojure , được mô hình hóa mạnh mẽ trên Typed Vợt.

— mắt diều hâu
nguồn

1

Liên kết slide hiện trả về 404. Liên kết này hoạt động: github.com/pnwamk/talks/raw/ Kẻ

— Sage Mitchell

-1

Tôi nghĩ rằng để "làm các loại phụ thuộc" bằng cách sử dụng hợp đồng là có thể. Kiểm tra https://docs.racket-lang.org/guide/contuces-struct.html và tìm kiếm "Kiểm tra thuộc tính của cấu trúc dữ liệu".

Bạn có thể tranh luận, rằng điều này khá mô phỏng hiệu ứng, hơn là có nó như một phần của ngôn ngữ. Tuy nhiên, ở đâu đó bạn sẽ cần phải viết mã, thông báo cho trình thông dịch / trình biên dịch những phụ thuộc đó là gì và trong Vợt bạn có thể làm điều đó với các hợp đồng.

— Zelphir Kaltstahl
nguồn

Tôi hài lòng với ý tưởng rằng các macro trong vợt đang 'mở rộng trình biên dịch'

— hawkeye

@hawkeye Bạn có thể cung cấp câu trả lời cho câu hỏi này khi triển khai các loại phụ thuộc với macro không? (Tôi không nghi ngờ điều đó là có thể.)

— Zelphir Kaltstahl

Đối số về việc các macro có mở rộng trình biên dịch hay không là ở đây: stackoverflow.com/a/268091/15441 và bạn có thể đặt bất kỳ đoạn mã nào vào macro - vì vậy mã được sử dụng cho các loại phụ thuộc có thể được đưa vào macro. Đó là điểm tôi đang làm.

— hawkeye