Jan Midtgaard
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Mastodon account: https://types.pl/@jmid
Congratulations Prof. Ron! 😃👏
July 2, 2025 at 8:47 AM
Congratulations Prof. Ron! 😃👏
Good stuff (of course there's property-based testing involved! 🤓) and a very nice collaboration with past @tarides.com summer interns and colleagues. The paper is even open access for your reading pleasure:
link.springer.com/chapter/10.1...
link.springer.com/chapter/10.1...
Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM
This paper introduces the QCheck-STM plugin for Ortac, a framework for dynamic verification of OCaml code. Ortac/QCheck-STM consumes OCaml module signatures annotated with behavioural specification co...
link.springer.com
May 8, 2025 at 8:39 AM
Good stuff (of course there's property-based testing involved! 🤓) and a very nice collaboration with past @tarides.com summer interns and colleagues. The paper is even open access for your reading pleasure:
link.springer.com/chapter/10.1...
link.springer.com/chapter/10.1...
Reposted by Jan Midtgaard
Just... have... to drop this... here.
March 24, 2025 at 1:34 AM
Just... have... to drop this... here.
github.com/ocaml/opam-r...
uses
github.com/ocaml/opam-r...
which uses
github.com/ocaml/opam-r...
which seem to be supported on Windows.
The status page is green for one of 4.14 or 5.3 on each.
Which OCaml version are you using - you didn't say?
uses
github.com/ocaml/opam-r...
which uses
github.com/ocaml/opam-r...
which seem to be supported on Windows.
The status page is green for one of 4.14 or 5.3 on each.
Which OCaml version are you using - you didn't say?
opam-repository/packages/caqti-driver-postgresql/caqti-driver-postgresql.2.1.2/opam at master · ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml. - ocaml/opam-repository
github.com
March 5, 2025 at 9:36 PM
github.com/ocaml/opam-r...
uses
github.com/ocaml/opam-r...
which uses
github.com/ocaml/opam-r...
which seem to be supported on Windows.
The status page is green for one of 4.14 or 5.3 on each.
Which OCaml version are you using - you didn't say?
uses
github.com/ocaml/opam-r...
which uses
github.com/ocaml/opam-r...
which seem to be supported on Windows.
The status page is green for one of 4.14 or 5.3 on each.
Which OCaml version are you using - you didn't say?
Which libraries is your (minimal) example using?
Are you perhaps using caqti-driver-postgresql?
Also, which versions of the libraries are you using?
Are you perhaps using caqti-driver-postgresql?
Also, which versions of the libraries are you using?
ocaml-caqti/caqti-driver-postgresql.opam at master · paurkedal/ocaml-caqti
Cooperative-threaded access to relational data. Contribute to paurkedal/ocaml-caqti development by creating an account on GitHub.
github.com
March 5, 2025 at 9:31 PM
Which libraries is your (minimal) example using?
Are you perhaps using caqti-driver-postgresql?
Also, which versions of the libraries are you using?
Are you perhaps using caqti-driver-postgresql?
Also, which versions of the libraries are you using?
Also: Beware that not all packages may work out of the box on Windows, as they tends to require C code and libraries at some point, and setting that up may require fiddling with conf-* files on the opam repository.
Caqti should however run on Windows, it seems from
windows.check.ci.dev
Caqti should however run on Windows, it seems from
windows.check.ci.dev
opam-health-check
windows.check.ci.dev
March 5, 2025 at 4:37 PM
Also: Beware that not all packages may work out of the box on Windows, as they tends to require C code and libraries at some point, and setting that up may require fiddling with conf-* files on the opam repository.
Caqti should however run on Windows, it seems from
windows.check.ci.dev
Caqti should however run on Windows, it seems from
windows.check.ci.dev
From the error message, it sounds like an error while trying to use postgresql with Caqti. If that's the case, I would try to cut out 'dream' and see if a simple 5-10-line OCaml program can connect with such a database through Caqti.
March 5, 2025 at 4:29 PM
From the error message, it sounds like an error while trying to use postgresql with Caqti. If that's the case, I would try to cut out 'dream' and see if a simple 5-10-line OCaml program can connect with such a database through Caqti.
OK. If I'm understanding the above page correctly, this means you got a MinGW installation of the compiler (it's the default).
It is handy to know, to understand the problem and when searching, e.g., Google or Discuss for someone else with a similar problem.
It is handy to know, to understand the problem and when searching, e.g., Google or Discuss for someone else with a similar problem.
March 5, 2025 at 4:19 PM
OK. If I'm understanding the above page correctly, this means you got a MinGW installation of the compiler (it's the default).
It is handy to know, to understand the problem and when searching, e.g., Google or Discuss for someone else with a similar problem.
It is handy to know, to understand the problem and when searching, e.g., Google or Discuss for someone else with a similar problem.
Yep 👍 How did you install OCaml under Windows?
ocaml.org/docs/ocaml-o... lists some of the variants I mentioned above.
ocaml.org/docs/ocaml-o... lists some of the variants I mentioned above.
OCaml on Windows · OCaml Documentation
Read about the state of OCaml on Windows and our roadmap to improve Windows support.
ocaml.org
March 4, 2025 at 8:28 PM
Yep 👍 How did you install OCaml under Windows?
ocaml.org/docs/ocaml-o... lists some of the variants I mentioned above.
ocaml.org/docs/ocaml-o... lists some of the variants I mentioned above.
For the latter I would probably use the `nm` tool on Linux.
March 4, 2025 at 7:12 PM
For the latter I would probably use the `nm` tool on Linux.