Hướng dẫn sử dụng

Gradual Typing Using Union Typing With Records

Loại tài liệu: Tài liệu số - Artical

Thông tin trách nhiệm: Pulido, Karla Ramírez; Ortega-Arjona, Jorge Luis; Huesca, Lourdes del Carmen González

Nhà Xuất Bản: Elsevier

Năm Xuất Bản: 2020

Chia sẻ
(Tải app tại đây để đọc sách)

Tóm tắt

Dynamic typed languages are characterized by their expressiveness and flexibility to develop prototypes, while static typed languages allow early detection of errors and the optimization of source code. Gradual typing languages allow programmers to make use of both approaches, static and dynamic typing, and thus, obtaining the advantages that both represent. The objective here is to revisit the static part of the approach to a gradual interpretation of union types based on the design of Gradual Union Types through an extension with the record data-structure. This contributes to understand the abstraction and reasoning behind Gradual Typing in order to have useful future extensions for other data-structures.

Ngôn ngữ:en
Thông tin trách nhiệm:Pulido, Karla Ramírez; Ortega-Arjona, Jorge Luis; Huesca, Lourdes del Carmen González
Thông tin nhan đề:Gradual Typing Using Union Typing With Records
Nhà Xuất Bản:Elsevier
Loại hình:Artical
Bản quyền:© 2020 The Author(s). Published by Elsevier B.V
Mô tả vật lý:16 p.
Năm Xuất Bản:2020

(Sử dụng ứng dụng VNU- LIC quét QRCode này để mượn tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "VNU LIC”)

  • Chủ đề
TÀI NGUYÊN KHÁC