Databases
StackOverflow2013
Postsdbo
POMixing OCaml and C: is it worth the pain?
 

Note that there are some explanatory texts on larger screens.

plurals
  1. POMixing OCaml and C: is it worth the pain?
    primarykey
    data
    text
    <p>I am faced with the task of building a new component to be integrated into a large existing C codebase. The component is essentially a kind of compiler, and will be complicated enough that I would like to write it in OCaml (for reasons along the lines of those given <a href="https://stackoverflow.com/questions/2906064/why-is-writing-a-compiler-in-a-functional-language-easier">here</a>). I know that OCaml-C interaction is possible (as per the <a href="http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html" rel="nofollow noreferrer">manual</a> and this <a href="http://www.linux-nantes.org/~fmonnier/OCaml/ocaml-wrapping-c.php" rel="nofollow noreferrer">tutorial</a>), but it looks somewhat painful.</p> <p>What I'd like to know is whether others here have attempted large-scale integration of OCaml and C code, what were some of the unexpected gotchas they found, and whether at the end of the day they concluded that they would have been better off just writing the new code in C.</p> <p>Note, I'm <em>not</em> trying to start a debate about the merits of functional versus imperative programming: let's just say we assume that OCaml happens to be the right tool for the job I have in mind, and the potential difficulty in integration is the only issue. I also don't have the option of rewriting the rest of the codebase.</p> <p>To give a little more detail about the task: the component I need to implement is a certain kind of query optimizer that incorporates some research ideas my group at UC Davis is working on, and will be integrated into PostgreSQL so that we can run experiments. (A query optimizer is, essentially, a compiler.) The component would be invoked from C code, would function mostly independently but would make a certain number of calls to other PostgreSQL components to retrieve things like system catalog information, and would construct a complex C data structure (representing a physical query plan) as output.</p> <p>Apologies for the somewhat open-ended question, but I'm hoping the community might be able to save me a little trouble :)</p> <p>Thanks,</p> <p>TJ</p>
    singulars
    1. PO
      singulars
      1. PTAnswer
    1. This table or related slice is empty.
    1. PTQuestion
    1. USCommunity
    1. UStjgreen
    plurals
    1. PL
      singulars
      1. LTLinked
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    2. PO
      singulars
      1. PTAnswer
    3. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. POMixing OCaml and C: is it worth the pain?
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. POMixing OCaml and C: is it worth the pain?
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. POMixing OCaml and C: is it worth the pain?
      1. This table or related slice is empty.
      1. VTUpMod
    1. COOut of curiosity, what ocaml type are you expecting C have to unpack?
      singulars
      1. POMixing OCaml and C: is it worth the pain?
      1. USnlucaroni
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload