Generating a corpus of Hazel programs from ill-typed OCaml programs
summary
A compiler translates OCaml programs into Hazel, producing a large corpus of both well‑typed and ill‑typed Hazel code by reusing OCaml packages and an undergraduate keystroke dataset; it uses Merlin type queries to extract polymorphic types and PPX AST transforms to rewrite syntax, and leverages typed holes to fill unsupported constructs so translated programs still run in the Hazel web editor. Modules and real‑world build artifacts currently block many packages, but the approach proves practical and the data is on GitHub/Zenodo.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 2:11Programs from other languages
- 5:21Hazel features and holes
- 8:45OCaml to Hazel translation
- 12:24Use cases from ill-typed OCaml
- 15:54Transformation tools
- 17:39Hazel limitations
- 19:23Future research
- 21:21Q&A
related talks
43mOCaml at LexiFi
23mTargeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code
26mAn Invitation to OCaml
29mMetaOCaml Theory and Implementation
19mFlexible Structure Editing of Well-Typed Expressions
23mVellvm: Formalizing the Informal
40mType-safe Nanopasses: How to write a safe and modern compiler front-end
27mDecomposable Type Highlighting for Bidirectional Type and Cast Systems