Based on our record, Racket Lang should be more popular than OCaml. It has been mentiond 95 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 / 11 months 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
Racket! https://racket-lang.org/ “Whenever an engineer changes one of these programs, we run all the programs through our custom model checker (written in Racket + Rosette)”. - Source: Hacker News / 6 months ago
Friedman's books are all great. All of them. But they don't work for everybody. If you can be relaxed and think of the interaction as play, they're very good. If you're feeling more of a "serious business" mindset, it can be hard to get in the groove of his style. There are a lot of jokes about food and encouragement to take breaks. If you can get into the learning as play mindset, I'd strongly encourage taking... - Source: Hacker News / 7 months ago
- pipe operator It compiles to either erlang or JavaScript, so I was able to jump right into building something fun with a new language. >I previously gave Clojure a try, that was a pretty good fit, but the JVM / ecosystem put me off. I felt similarly w/ leiningen (too much boilerplate) but was lisp-curious still so gave racket (https://racket-lang.org/) a try and appreciated the batteries included philosophy of... - Source: Hacker News / 8 months ago
Biased recommendation: Try racket https://racket-lang.org/ It's not pure functional, but the preferred style is to use mostly functional constructs. (But you can cheat when it get's too difficult or you need some extra speed.) (And you can download packages like Qi that enable a new language inside Racket that has more support for functional style.) (Most Schemes have a similar mostly-functional style, so you can... - Source: Hacker News / 9 months ago
Racket—the Language-Oriented Programming Language—version 8.12 is now available from https://racket-lang.org See https://racket.discourse.group/t/racket-v8-12-is-now-available/2709 for the release announcement and highlights. Thank you to the many people who contributed to this release! Feedback Welcome. - Source: Hacker News / about 1 year ago
Rust - A safe, concurrent, practical language
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.
GoCD - Open source continuous delivery tool allows for advanced workflow modeling and dependencies management.
Guile - Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system.
Elixir - Dynamic, functional language designed for building scalable and maintainable applications
NIM - GB64.COM is the home of The Gamebase Collection of C64 games.