Ocaml-jst Alternatives

ocaml-jst reviews and mentions

• Property-based testing in practice [pdf]
  2 projects | news.ycombinator.com | 2 Apr 2024

  Not just the standard library, but a whole ecosystem around it.

  And their own compiler. https://github.com/ocaml-flambda/ocaml-jst

• Oxidizing OCaml: Locality
  1 project | /r/ProgrammingLanguages | 27 May 2023

  This Github proposal is also worth reading

• Jane Street Tech Blog – Oxidizing OCaml: Locality
  4 projects | news.ycombinator.com | 27 May 2023

  From the post:

  > Even without explicit mode annotations, the compiler can statically determine which variables may escape their enclosing region. Such variables are assigned the global mode; all others are automatically inferred to be local.

  There's a little more info about mode inference in the proposal:

  https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/do...

  So arguments to "public functions" do require explicit annotations in order to be local, but otherwise the compiler is able to infer locality and this acts as a transparent optimization.

• Data Race Free OCaml
  1 project | news.ycombinator.com | 9 May 2023
• OCaml Data Race Freedom Proposal
  1 project | /r/ProgrammingLanguages | 17 Apr 2023
• A detailed proposal for a data-race-free OCaml (e.g. Rust's borrow-checker)
  1 project | /r/functionalprogramming | 17 Apr 2023
• Leo White's proposal for data-race-free OCaml with 'mode polymorphism' — i.e. Rust's borrow-checker
  1 project | /r/ProgrammingLanguages | 17 Apr 2023
  1 project | /r/ocaml | 17 Apr 2023
• Data races are bad (OCaml/Jane Street)
  1 project | news.ycombinator.com | 17 Apr 2023
• A note from our sponsor - WorkOS
  workos.com | 27 Apr 2024

  The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →