Philip Wadler, một trong những người thiết kế chính ngôn ngữ lập trình Haskell, là nhân vật trung tâm trong nghiên cứu đằng sau @Cardano ($ADA). Haskell là nền tảng cốt lõi của blockchain, và Wadler đã tham gia phát triển các công cụ hợp đồng thông minh cho blockchain này thông qua @IOGroup.

Từ Haskell đến hợp đồng thông minh Cardano

Royal Society mô tả Wadler là một trong những người thiết kế chính Haskell, đồng thời ghi nhận đóng góp của ông cho hai đổi mới quan trọng nhất của ngôn ngữ này: lớp kiểu và monad. Đại học Edinburgh cho biết nghiên cứu của ông đã ảnh hưởng đến thiết kế của nhiều ngôn ngữ được sử dụng rộng rãi, bao gồm Java, Go, Swift và Haskell.

Tại Input Output Global (IOG), Wadler là đồng sáng tạo Plutus cùng với Manuel Chakravarty. IOG mô tả Plutus là ngôn ngữ lập trình hợp đồng thông minh của blockchain. Theo tiểu sử của ông trên trang Đại học Edinburgh, chức danh hiện tại của Wadler tại công ty là Nghiên cứu viên cao cấp chính.

Theo cùng bài viết của IOG, Wadler cũng đóng góp vào nghiên cứu của IOG về mô hình UTXO mở rộng, mô hình sổ cái được Cardano sử dụng.

Được Royal Society ghi nhận

Năm 2023, Wadler được bầu làm Hội viên của Royal Society. Trường Tin học thuộc Đại học Edinburgh lưu ý rằng ông gia nhập danh sách các hội viên tiền nhiệm, trong đó có Isaac Newton, Charles Darwin, Albert Einstein và Stephen Hawking. Lời ghi nhận của Royal Society nêu công lao của ông trong việc giới thiệu lớp kiểu và monad, cũng như góp phần đưa kiểu tổng quát vào Java.

Nghiên cứu gần đây về Plinth

Nghiên cứu gần đây của Wadler bao gồm Plinth, ngôn ngữ dùng để viết hợp đồng thông minh Cardano. Một bài báo năm 2025 được trình bày tại Hội nghị chuyên đề Haskell của ACM SIGPLAN, do Wadler và Chakravarty đồng tác giả, cho biết Plinth (trước đây là Plutus Tx) tái sử dụng một tập con cú pháp Haskell và đã được sử dụng trong thương mại từ năm 2021. Bài báo cho biết thêm rằng các chương trình Plutus chạy trên một máy có đặc tả hình thức bằng Agda, một công cụ hỗ trợ chứng minh, qua đó hỗ trợ việc xác minh rằng các hợp đồng hoạt động như dự định.

Theo các tác giả bài báo, sức hấp dẫn đối với nhà phát triển nằm ở chỗ các chương trình Plinth sử dụng cú pháp và kiểu chuẩn của Haskell. Bài báo cũng lưu ý rằng hiện có hơn nửa tá ngôn ngữ hợp đồng thông minh chỉ riêng trong Cardano.

Nguồn

Royal Society: Giáo sư Philip Wadler FRS
Đại học Edinburgh: Các nhà khoa học xuất sắc gia nhập Royal Society
Thư viện số ACM: Plinth, ngôn ngữ dựa trên Haskell được xây dựng bằng plugin