OCaml Reviews and Details

Social recommendations and mentions

• About Me - An Outreachy Blog

  Hi, I am Tambe Salome, and I am an Outreachy Intern! In this blog, I will be talking about my journey as a software developer and how I found myself as an Outreachy intern in the OCaml organization. - Source: dev.to / 8 months ago

• Rue: Higher level than Rust, lower level than Go

  > Mostly, I am not really trying to compete with C/C++/Rust on speed, but I'm not going to add a GC either. So I'm somewhere in there. Out of curiosity, how would you compare the goals of Rue with something like D[0] or one of the ML-based languages such as OCaml[1]? 0 - https://dlang.org/ 1 - https://ocaml.org/. - Source: Hacker News / 8 months ago

• Comparing images with AVX

  It was originally written in OCaml and recently it was rewritten in zig for better SIMD support. - Source: dev.to / 10 months ago

• TypeScript's Lack of Naming Types and Type Conversion in Angular

  Elm, ReScript, F#, Ocaml, Scala… it’s just normal to name your types, then use them places. In fact, you’ll often create the types _before_ the code, even if you’re not really practicing DDD (Domain Driven Design). Yes, you’ll do many after the fact when doing functions, or you start testing things and decide to change your design, and make new types. Either way, it’s just “the norm”. You then do the other norms... - Source: dev.to / almost 2 years ago

• ReScript has come a long way, maybe it's time to switch from TypeScript?

  Ocaml is still a wonderful language if you want to look into it, and Reason is still going strong as an alternate syntax for OCaml. With either OCaml or Reason you can compile to native code, or use the continuation of BuckleScript now called Melange. - Source: dev.to / over 2 years ago

• 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 / almost 3 years 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 / about 3 years 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: about 3 years 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: over 3 years ago

• So Hows the Hackathon Going?

  Easier than haskell and easier for writing compilers: https://ocaml.org/. Source: over 3 years 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: over 3 years 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 / over 3 years 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 3 years 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 3 years 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: almost 4 years 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: almost 4 years 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: almost 4 years ago

• Scala isn't fun anymore

  Yeah that's what we have languages with type inference for:. Source: almost 4 years 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 / about 4 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 / about 4 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 / over 4 years ago