This tracks with how I've seen "normal" languages converge on similar, flawed imitations of better type systems through tools and repurposed syntax. Thank you for confirming.
Do you have any recommendations or warnings regarding general languages which reach in the opposite direction? Reason and F# are both examples: they attach pre-existing ecosystems and compile-for-$PLATFORM tools to OCaml-like typing.
OCaml itself is also intriguing for personal projects. However, I'm worried the "GPL" in its standard library's LGPL license might scare people despite both the linking exception and Jane Street's MIT alternative.
The F# Software Foundation website
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
3 projects | news.ycombinator.com | 12 Jun 2023
VN Compiler. Why using Fable is too difficult. (Pt. 1)
1 project | /r/fsharp | 14 May 2023
1 project | /r/reasonml | 15 Feb 2023
A language which is basically "Haskell with C-Style syntax"?
3 projects | /r/ProgrammingLanguages | 25 Jul 2022
functional programming and choosing the best fitting frontend framework (Vue 3 vs React)
1 project | /r/webdev | 1 Jul 2022