I am looking for a library to generate OCaml models from a database
I found this library for mysql: https://github.com/pat227/ocaml-db-model
(have not tested it)
but am searching if there is anything for postgre?
(if not, this is so essential that I would rather switch to using mysql than writing models by hand)
Hi @mudrz,
I donât know what youâre building but I just wanted to make you aware that the repo youâre linking to is licensed under GPL without a linking exception. This means that if you redistribute your application you must also make all your source code available. Just wanted to make sure you know before you start using it.
Indeed, and looks like itâs GPLv3, meaning it doesnât have the âTiVo loopholeâ, i.e. you have to make the source code available even if you provide the application as a service online, without distributing it to end users.
Youâre confusing with the AGPL, thatâs not the tivo loophole.
The Tivo loophole, which is blocked by GPL3, is âship a locked down device to users, so even though they can get source code itâs useless to themâ, ie there is âdistributing it to end usersâ.
Thanks for the correction.
hmm, thatâs a pretty important detail that I have missed;
hey @papatango is the library license intentional?
As to Postgresql, I actually had long meant to get around to supporting postgresql and just did very recently. Before I read your message, btw.
I consider these to be very rough around the edges, but the big fat middle of use cases are covered and I think most users would be satisfied. I know I am when I can skip writing tons of modules by hand. But of course, there is room for improvement. Some of the less commonly used data-types are not supported, for example. Building is a bit of a PIA but I have used dune successfully to create modules on the fly based on database tables. Extending modules (include module foo) is your friend for customizing modules in conjunction with the use of the (include subdirs unqualified) directive to dune in your project.
As to the license, yes I did intend to use that license. Why is that license a problem for you? What use case do you foresee that is precluded by it? Iâm no expert on licensing and I had never heard of the tivo loophole until I read this thread. I suppose I could review the licensing options available to me but Iâve only heard good things about GPLv3.
Btw, speaking of data types, I noticed you are using Bignum to map DECIMAL type; now that Jane Street has open sourced Bigdecimal, you may want to consider using that: OCaml needs an arbitrary-precision decimal type
Absolutely. I noticed that too recently. Thx.
Hi @papatango!
First of all thanks for sharing your work, greatly appreciated!
As to the license, yes I did intend to use that license. Why is that license a problem for you? What use case do you foresee that is precluded by it? Iâm no expert on licensing and I had never heard of the tivo loophole until I read this thread. I suppose I could review the licensing options available to me but Iâve only heard good things about GPLv3.
What follows here are my thoughts and opinions and by no means do you need to agree with them.
While I canât speak for @mudrz I can see a problem with a GPL licensed library from a companyâs perspective as including such a library would force them to release their entire application as open source. While there are companies who have successfully built businesses around open source software one could argue that it is a double-edged sword. In a hypothetical scenario where Iâm running my own business I would be very hesitant to open source my product before having built a solid customer base and even then I would be second guessing that decision. For more details around what potential issues one might run into when open sourcing their product I would suggest reading up on the struggle that Timescale and MongoDB went through.
From the main authorâs perspective I totally respect your right to do what you want with your software however Iâm assuming that since you decided to share it on Github that you would want others to use and take advantage of your efforts. From this point of view GPL might also be an issue since it will scare most (all?) companies away from using it. This might lead them to develop their own alternative and license it under LGPL, MIT or the Apache license which all are more business friendly while still forcing any modifications to be available.
I would strongly encourage you to not listen blindly to what I said above and instead read up on the matter yourself. Here are some resources to get you started:
Iâm going to end this post with a quote from the GPL:
The GNU General Public License does not permit incorporating your program
into proprietary programs. If your program is a subroutine library, you
may consider it more useful to permit linking proprietary applications with
the library. If this is what you want to do, use the GNU Lesser General
Public License instead of this License. But first, please read
https://www.gnu.org/licenses/why-not-lgpl.html.
Apologies in advance for taking this thread off-track, but:
In a hypothetical scenario where Iâm running my own business I would be very hesitant to open source my product before having built a solid customer base and even then I would be second guessing that decision. For more details around what potential issues one might run into when open sourcing their product I would suggest reading up on the struggle that Timescale and MongoDB went through.
If I understand correctly these companies went through these issues partly based on the fact that they originally had very permissive licenses. With the GPLv3, that would be less of a concern. In fact, Mongo even says, in the FAQ you linked to, that their new license is based on GPLv3.
From this point of view GPL might also be an issue since it will scare most (all?) companies away from using it.
This might actually be a desirable outcome 
Seriously though, if any company genuinely wants to use this library, they will do what any reasonable company would, and ask the author to sell them a commercial use license.
This might lead them to develop their own alternative and license it under LGPL, MIT or the Apache license which all are more business friendly while still forcing any modifications to be available.
Unfortunately for the OCaml community, till date we have not exactly seen companies busting down the door to publish libraries (with a few notable exceptions of course). It could even be argued that companies actually paying attention to and participating in the OCaml ecosystem could only be a good thing, and if the author of this library played any part in making that happen, I would just have to say, hats off to them!
hi Paul, thanks for these libraries!
And thanks to Robin for the summary and helpful links.
My concerns with GPL and potential user are (and feel free to ignore these of course 
):
I think these are some of the reasons why even the linked examples like jOOQ https://github.com/jOOQ/jOOQ/blob/main/LICENSE and Microsoftâs Entity Framework https://github.com/dotnet/efcore/blob/main/LICENSE.txt use Apache, JaneStreetâs libraries (including the linked BigDecimal library) use MIT.
My personal situation is that I am currently evaluating OCaml for use for web apps development (together with F# and TypeScript) and am gathering and checking if it has all the much needed bits and pieces. I am not running a business and the company I work for does not use OCaml. I am not an active contributor to OCaml libraries since I am not an active user of OCaml. But speaking from the perspective of someone that is considering joining the ecosystem - GPL licenses are a major blocker.
@yawaramin I think the issue with the limited selection of libraries in OCaml is not companies fearing to share their work, but the size of the community and GPL (and LGPL to a lesser extent) is certainly not the solution to that (especially if more permissive alternatives exist in the other communities)
these are my opinions of course, as someone that doesnât considers himself a part of the community yet, and they might be very different from others
Mudrz, I know that 
Note, I didnât say companies âfearâ to share their work, I said theyâre not exactly breaking down the doors to participate in the OCaml community. Companies in general are risk-averse and reluctant to adopt anything outside the mainstream.
All that to say, I think people using GPL or not for their small libraries is not going to influence these companies one way or the other.
Again, no expert here, but it seems to me that the GPL v3 license is the best license for my purposes. I understand why someone else might not want to be restricted by the GPL v3, however. I would recommend to said persons that they request a written commercial license if in fact they have a profitable use in mind. Throw me a bone. Or a job offer. Collaboration could be fun.
There might be a possible usage scenario where the license doesnât affect your entire project and makes all this moot. I did write these with command line use in mind, before compile-time, in other projects. So even though my project would be a dependency, you donât even have to link to anything and itâs a totally separate process. The output of my program is obviously not copyrighted but yours.
See:
https://www.gnu.org/licenses/gpl-faq.en.html
However, in many cases you can distribute the GPL-covered software alongside your proprietary system. To do this validly, you must make sure that the free and nonfree programs communicate at arms length, that they are not combined in a way that would make them effectively a single program.
See also:
A command line dependency does not restrict your choice of license or being closed source. Hopefully that is sufficient for your intended use.
thanks papatango, to clarify - I respect the choice of license, I just provide my perspective
In a company, that has new people joining, it is more practical to simply not use GPL libraries, than to train newcomers and worry about people using the libraries âat arms lengthâ
EDIT: since the licenses is a good discussion, I created a new topic LGPL licenses handling in OCaml
I donât quite understand this partâobviously it can, itâs source codeâmaybe you mean that linking in the same binary virally spreads the LGPL license to the rest of the binary? I donât think thatâs correct either, as the LGPL has the linking exception.
what I mean is that per the shared link - if it is statically linked the whole binary needs to fall under the same license; it could be a different situation for a web app since users canât âreplaceâ library versions anyways
@mudrz Interesting discussion on licenses. I have to read up on the LGPL. Perhaps we could compromise there after I do more research and reconsideration.
A web app, btw, doesnât sound like an application for which source code distribution is required even if subject to GPLv3 since the software itself in binary form is not being distributed to users, they merely interact with it.
I realize JOOQ and Jane Street use very permissive licenses, but ODB for C++ does not. Is ODB the standard for this task in the world of C++? (https://www.codesynthesis.com/products/odb/license.xhtml) Does anyone know? Or know why they use GPLv2, with lots of exceptions detailed on the page?