ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Sun 12 Oct 2025 15:00 - 15:30 at Seminar Room 2 - Session 2 Chair(s): Szumi Xie

When developing a new programming language, having a large corpus of both correct and incorrect programs allows language designers to test and explore the capabilities of their new language. However, bootstrapping such a corpus of incorrect programs is time consuming and arduous. We therefore explore how to reuse code from more mature languages to generate a corpus of ill-typed code for newer ones. We have developed a compiler to Hazel, an emerging language with typed holes, from the more mature OCaml ecosystem. We find it practical to generate a comprehensive corpus of ill-typed programs for Hazel development, and discuss future larger scale efforts towards bridging ecosystems.

Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract) (tyde_2025_hazel_of_ocaml.pdf)671KiB

Sun 12 Oct

Displayed time zone: Perth change

14:00 - 15:30
Session 2TyDe at Seminar Room 2
Chair(s): Szumi Xie Eötvös Loránd University (ELTE)
14:00
30m
Talk
Gradual Metaprogramming
TyDe
Tianyu Chen Indiana University, Darshal Shetty Indiana University, Jeremy G. Siek Indiana University, Chao-Hong Chen Meta, Weixi Ma Meta, Arnaud Venet Meta, Rocky Liu Meta
Link to publication DOI Pre-print
14:30
30m
Talk
Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search
TyDe
Satoshi Takimoto Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo
DOI
15:00
30m
Talk
Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract)
TyDe
Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK
File Attached