OCaml Reviews and details

Social recommendations and mentions

• Bringing more sweetness to ruby with sorbet types 🍦

  If you have been in the Ruby community for the past couple of years, it's possible that you're not a super fan of types or that this concept never passed through your mind, and that's totally cool. I myself love the dynamic and meta-programming nature of Ruby, and honestly, by the time of this article's writing, we aren't on the level of OCaml for type checking and inference, but still, there are a couple of nice... - Source: dev.to / 7 months ago

• Notes about the ongoing Perl logo discussion

  An amazing example is Ocaml lang logo / mascot. It might be useful to talk with them to know what was the process behind this work. The About page camel head on Perl dot org header is also a pretty good example of simplification, but it's not a logo, just a friendly illustration, as the O'Reilly camel is. Another notable logo for this animal is the well known tobacco industry company, but don't get me started on... - Source: dev.to / 10 months ago

• What can Category Theory do?

  Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool. Source: 10 months ago

• Key takeways from OpenAI CEO's 3-hour Senate testimony, where he called for AI models to be licensed by US govt. Full breakdown inside.

  NEAT is a fascinating algorithm. I've been interested in it ever since SethBling made a video about it playing Mario and this series of experiments about a variant of NEAT that evolves in real-time rather than by-generation. I'm finally getting to be just good enough of a programmer that I am actually considering writing my own (probably in OCaml because there's an unfortunate lack of NEAT implementations in... Source: 11 months ago

• So Hows the Hackathon Going?

  Easier than haskell and easier for writing compilers: https://ocaml.org/. Source: 12 months ago

• Interesting ocaml mention in buck2 by fb

  Meta/Facebook are long time OCaml users, their logo is on the OCaml website. Their static analysis tool and its predecessor are both written in OCaml. Source: about 1 year ago

• The Io Language

  A code snippet showing a simple program right on the home page and "selling" whatever features makes it special would go a long way. It's quite off-putting to have to delve deep into a guide in order to get a feel for a language. Some examples done right: https://lfe.io https://elixir-lang.org https://imba.io https://ocaml.org. - Source: Hacker News / about 1 year ago

• What are the biggest reasons newcomers give up on OCaml?

  Allow me to bestow upon the OCaml community my fantastic new library that provides an "industrial-strength" implementation of positive integers in a language that is wonderful because it is so strongly statically typed:. Source: over 1 year ago

• What are the biggest reasons newcomers give up on OCaml?

  It's still a good library. iirc, the new ocaml.org website is built with it. Source: over 1 year ago

• learning ocaml in a week?

  Start cramming as much of the textbook into your brain as you can. If it were easy to learn in a week then everyone would do that. This has some good references. They don't hold your hand. If you want to look at this, you can probably get away with just reading "The Core Language" and "The Core Library", but don't expect it to be easy. Source: over 1 year ago

• Tezos protocol’s programming language is called OCaml. How many people here actually know how to code in OCaml?

  Lol you just copied and pasted from ocaml.org. Source: over 1 year ago

• I find that I don't want to use any other programming language now that I'm becoming proficient in Rust. Is this common?

  Well it’s general purpose, although it has a larger environment than rust and relies on a GC, so it won’t really work for making stuff for bare metal. It’s quite performant though, looks quite nice and is pretty readable and it has first class functional paradigm support. You can take a look at some code and who uses it at ocaml.org. Source: over 1 year ago

• Scala isn't fun anymore

  Yeah that's what we have languages with type inference for:. Source: over 1 year ago

• Implementing the Perceus reference counting GC

  Reference counting (RC) has rather been a minor party to the other garbage collection (GC) algorithms in functional programming in the last decades as, for example, OCaml and Haskell use non-RC GC. However, several recent papers, such as Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming and Perceus: Garbage Free Reference Counting with Reuse, showed the efficiency of highly... - Source: dev.to / almost 2 years ago

• Rust Is Hard, Or: The Misery of Mainstream Programming

  OCaml[1] is what you are looking for. You also might want to look at Roc[2], even though that's not released yet. 1. https://ocaml.org/. - Source: Hacker News / almost 2 years ago

• Parsing Lambda Error Logs in ReScript & Python

  ReScript code is just like F# or OCAML; it doesn’t have a function parse phase like JavaScript, so we have to define our functions and types first before we can use them. That’s fine, but makes explaining the code backwards (meaning you start at the bottom of the file and work your way up), so we’ll start at our lambda handler and explain each part, regardless of where it’s defined. - Source: dev.to / almost 2 years ago

• Found in my own code from less than a week ago. I don't know what I was thinking...

  The second snippet is not a particularly good example of it since I was doing things in a not-so-great way, but it's OCaml in both. It's an expression-based functional programming language that looks a lot like a whitespace sensitive one without actually needing to be whitespace sensitive and is normally pretty nice to both read and write. Source: almost 2 years ago

• New OCaml Website

  I am sure that ocaml.org team will be happy to have feedback on https://ocaml.org/play . As far as I know the playground is very new. Source: almost 2 years ago

• Is OCaml the "Go" of Functional Programming Languages?

  I'm a go developer who started learning ocaml roughly a year ago and I've fallen in love with it. I'be tried a couple of fp languages before. They've never clicked with me but ocaml did. I don't blame the other languages tho as it's because of the excellent course cs3110 by Michael Clarkson why it finally clicked. Ocaml still has a lot of sharp edges especially in terms of tooling, up to date "best practices"... Source: almost 2 years ago

• TypeScript vs. ReScript vs. F# - a simple comparison of syntax

  That's because both ReScript and F# were derived from OCaml, so they also have the powerful Hindley-Milner (H-M) type inference. H-M type inference is also sound, which means you can rely on it (it prevents all type errors it claims to prevent, and doesn't give false negatives, so you can trust that all type checked programs will be correct). That's something you can't take for granted in TypeScript, even with the... - Source: dev.to / about 2 years ago

• Common Lisp

  > A good example of what I like might be the OCaml homepage https://lisp-lang.org/ That should be https://ocaml.org/ of course :). - Source: Hacker News / over 2 years ago