Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today. Learn more →
Top 7 OCaml programming-language Projects
Why not use https://reasonml.github.io/ instead? Or just use Typescript?
A statically-typed, functional typesetting systemProject mention: Sile: A Modern Rewrite of TeX | news.ycombinator.com | 2022-11-03
SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has OCaml-like syntax, is for defining functions and commands. SATySFi enables you to write documents markuped with flexible commands of your own making. In addition, its informative type error reporting will be a good help to your writing.
The main problem is that a lot of the documentation is in japanese.
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Programming language for literate programming law specificationProject mention: Catala – Programming language for literate programming law specification | news.ycombinator.com | 2023-02-10
Bamboo see https://github.com/cornellblockchain/bamboo (by pirapira)Project mention: A look into formal verification of smart contracts using Certora | dev.to | 2022-12-02
Understanding a smart contract as a finite-state machine (obligatory mention to Yoichi's bamboo, my favorite smart contract programming language that never happened) allows us to define clear rules on:
WIP stack language that uses regex for control flow
A WIP programming language inspired by ML and powered by LLVMProject mention: November 2022 monthly "What are you working on?" thread | /r/ProgrammingLanguages | 2022-11-03
Since the last time I posted, I finished implementing pattern matching for schmu. To make matching on multiple columns less confusing I also added a tuple syntax to the language (finally), which are treated as anonymous records in codegen. Since then, I'm trying to overhaul my memory management, as my RAII-like solution only worked for linear code. In my first big departure from OCaml semantics, I decided to implement mutable value semantics. The paper linked in the Val language introduction makes a strong case for value semantics and after watching a couple of talks by Dave Abrahams, I wanted to try see how it feels. By making mutability be transitive and explicit, it also fixes one of the (few) gripes I have with OCaml that an array can never be really const as it is a reference type (it's possible to enforce constness with modules, but that's not exactly lightweight, syntax wise). Implementing mutable value semantics was pretty straight forward on the typing side, but I'm still not completely done with the codegen. This is due to 1. Assumptions about immutability I made in a lot of places are now wrong, and I had to completely change the way I pass values to functions. 2. I had to implement reference counted arrays, which was more work than I thought it would be. There are still edge-cases coming up in testing from time to time. Yesterday I finally managed it work for tail recursion, yay! I'm looking forward to getting rid of unneeded reference count updates in the future, by moving them to compile time, at least for linear code, lobster style. That's also an excuse to read that Perceus paper again. For the rest of November, I want to enhance my module system a bit. In particular, I want to add signatures and allow locally abstract types. I hope to have this in place before December to do the Advent of Code in my language.
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
OCaml programming-language related posts
VN Compiler. Why using Fable is too difficult. (Pt. 1)
1 project | /r/fsharp | 14 May 2023
My Thoughts on OCaml
11 projects | news.ycombinator.com | 25 Apr 2023
The Io Language
8 projects | news.ycombinator.com | 18 Mar 2023
1 project | /r/reasonml | 15 Feb 2023
Catala – Programming language for literate programming law specification
1 project | news.ycombinator.com | 10 Feb 2023
Code source du calcul de la taxe foncière
1 project | /r/france | 3 Feb 2023
Looking for a language to visualize logic relationships
2 projects | /r/ProgrammingLanguages | 2 Jan 2023
A note from our sponsor - SonarLint
www.sonarlint.org | 6 Jun 2023
What are some of the best open-source programming-language projects in OCaml? This list will help you: