Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml

Haochen M. Kotoi-Xie (Kotoi-Xie Consultancy, Inc.) Hirotetsu Hongo (Kotoi-Xie Consultancy, Inc.) Yuta Sato (Kotoi-Xie Consultancy, Inc.) Shinya Yamaguchi (Kotoi-Xie Consultancy, Inc.)

We propose to give a talk at the OCaml Users and Developers Workshop 2022, about our to-be-open-sourced project Bindoj being developed at KXC (Kotoi-Xie Consultancy, Inc.) Bindoj is a generative programming tooling library written in OCaml that centering around descriptions of datatypes which are mainly used in business / application logics.