~/talk

Introducing the Bindoj library, a datatype-centric generative programming libr...

on YouTube 18m
Talkat OCaml 2022 · on Friday, 2022-09-16· [developer-experience]

speakers

name:Haochen M. Kotoi-Xie
links:none on file
name:Hirotetsu Hongo
links:none on file
name:Yuta Sato
links:none on file
name:Shinya Yamaguchi
links:none on file

resources

video:https://youtu.be/2TM-8lYQctM
slides:none on file

summary

Bindoj claims to be a datatype-centric generative programming toolkit for OCaml that represents type descriptions as values and emits working artifacts. It encodes type-description as OCaml values and produces OCaml type defs, TypeScript types (flat-tagged ADTs), JSON codecs, JSON Schema and generates OCaml, TypeScript, JSON codecs and OpenAPI 3.0. It also provides an API directory -> server bridge and typed client generator; the project is alpha but used in a production deployment soon and is adding session types and more target languages.

AI-written summary · about

chapters (8)

  1. 0:00Bindoj library intro
  2. 2:05High-level overview
  3. 3:56Type description examples
  4. 7:12API directory & RPC
  5. 11:30Use cases & languages
  6. 12:58Concrete project scenario
  7. 14:46Design choices & plans
  8. 16:39Current status & next steps

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.