OCaml
Rust
Poly/ML
Elixir
NIM
GoCD
MLton
JavaScript
Elm
Elixir
Kotlin
Clojure
F#
NIM
D (Programming Language)
C++
We recommend LibHunt OCaml for discovery and comparisons of trending OCaml projects.
We recommend LibHunt Elm for discovery and comparisons of trending Elm projects.
ElmBased on our record, Elm should be more popular than OCaml. It has been mentiond 123 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
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 / 7 months ago
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 / about 1 year ago
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 / over 1 year ago
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 / almost 2 years ago
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: almost 2 years ago
Use languages that don’t have side-effects; Elm for UI, and Roc for API/CLI. - Source: dev.to / about 1 month ago
Reactive programming itself is rarely found in pure form. It is often combined with other paradigms. This is how such mixes as Imperative Reactive Programming, Object-Oriented Reactive Programming and Functional Reactive Programming appeared. The latter is the most popular, and the Elm language is considered one of its main representatives. - Source: dev.to / about 1 month ago
I've drawn inspiration from Elm and the blog post Compiler Errors for Humans -- it is nearly a decade old and still inspiring to read. - Source: dev.to / about 2 months ago
When I see this it makes me want to run for ReasonML/ReScript/Elm/PureScript. Sum types (without payloads on the instances they are effectively enums) should not require a evening filling ceremonial dance event to define. https://reasonml.github.io/ https://rescript-lang.org/ https://elm-lang.org/ https://www.purescript.org/ (any I forgot?) It's nice that TS is a strict super set of JS... But that's about the only... - Source: Hacker News / 3 months ago
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 / 7 months ago
Rust - A safe, concurrent, practical language
Elixir - Dynamic, functional language designed for building scalable and maintainable applications
Poly/ML - The Poly/ML implementation of Standard ML – full multiprocessor support in the thread library and garbage collector, interactive debugger, fast compiler.
Kotlin - Statically typed Programming Language targeting JVM and JavaScript
Clojure - Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
NIM - GB64.COM is the home of The Gamebase Collection of C64 games.