File data.ml defines a number of types: tuples records variants For each of these, I want to automatically define a corresponding type in data.rs (notice extension: Rust file). My current plan is to use @@deriving . In particular, to hijack ppxlib/ppx_deriving_accessors.ml at main · ocaml-ppx/p…

Update: Solved in GitHub - zeroexcuses/learn_camlp5 (actual work by @Chet_Murthy ; typos my fault ).

Not sure if ppx or code generator approach is better for your specific use case, but if you want to try a codegen approach, you can use dune rules to automatically run the codegen program to generate/update the needed files. I’m sure there are many interesting examples of this in the wild, but if y…

Thanks for the rune / rules suggestion. I don’t know if this is the right way to think about this, but I’m converging towards: are you generating OCaml code that needs to be inlined? => @@deriving are you generating non-OCaml code to be used later? => codegen, add a rule to dune === Assum…

Did not realize (1) you are the author of ocaml python bindgen, and (2) bin + lib is only 1.6k LOC; I think I can make this work.

(Yes, I’m the pyml_bindgen author…Maybe i should have put the disclaimer, haha.) You’re right though, the code is not that long, and not really tricky or clever. And in fact, it could probably be better/simpler/shorter even than it is now, as it started as something much smaller and then accumulat…

[image] mooreryan: (Yes, I’m the pyml_bindgen author…Maybe i should have put the disclaimer, haha.) This is great! I’ve copied over bin/ and lib/ from your project. I’m now looking at examples/ and trying to find the one closest to my needs, i.e. input = *.ml, output = *.rs However, if I’m …

EDIT: I’m looking at ocaml_python_bindgen/examples at main · mooreryan/ocaml_python_bindgen · GitHub and somehow not finding an example where input = *.ml files output = *.py I feel like I’m missing something obvious.

So the main input is a subset of things allowed in OCaml value specifications, ie, these . You can see where these are passed in to the codegen program in the dune rule right here . Here is the file generated. So it goes OCaml value specs => OCaml code with pyml bindings. So in your case (again if…

Let me just drop a couple of links with some interesting perspectives that may be of interest: Using ppx for code generation Ppx_sexp_conv for code generation? Generation of OCaml code

[image] mooreryan: So it goes OCaml value specs => OCaml code with pyml bindings. Thank you for clarifying this. I completely misunderstood this point. [image] mooreryan: So the main input is a subset of things allowed in OCaml value specifications, ie, these . You can see where these ar…

So the file you linked ( this one ) is the code generated by the pyml_bindgen program. [image] zeroexcuses: The focus here seems to be: “generate OCaml bindings to an existing Python library”. ^ That’s correct. It generates the bindings by reading ocaml value specifications. Note that I just…

Is ppx @@deriving the right solution for "data.ml" -> "data.rs"

Learning

mooreryan February 21, 2023, 6:40am 9

Let me just drop a couple of links with some interesting perspectives that may be of interest:

Using ppx for code generation
Ppx_sexp_conv for code generation?
Generation of OCaml code

Topic		Replies	Views
Ppx deriving enum Learning	17	1148	July 19, 2023
Ppxlib: Getting the original definition of `typ_constr` like `type_declaration` from `core_type` of `ptyp_constr` Learning ppx , learning , ppxlib , ast , opam-compiler	9	261	August 16, 2024
Major OCaml pain points Ecosystem language-design	33	3588	January 16, 2020
The future of ppx Community ppx	19	15156	April 17, 2020
A PPX Rewriter approach to ocaml-migrate-parsetree Ecosystem ppx	7	1266	September 9, 2020

Is ppx @@deriving the right solution for "data.ml" -> "data.rs"

Related topics