V (programming language)
Nim (programming language)
Go Programming Language
D (Programming Language)
Crystal (programming language)
Zig
C++
IronPython
OCaml
Rust
GoCD
Elixir
NIM
JavaScript
Python
Poly/ML
We recommend LibHunt OCaml for discovery and comparisons of trending OCaml projects.
V (programming language)Based on our record, V (programming language) should be more popular than OCaml. It has been mentiond 74 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.
> For me the biggest gap in programming languages is a rust like language with a garbage collector, instead of a borrow checker. https://vlang.io. - Source: Hacker News / about 2 months ago
I think V [1] is what Go should’ve been. Simple, compiles fast, integrated language tooling, in fact quite similar to Go, but without all the dumb design decisions. Unlike Go, it has sum types, enums, immutable-by-default variables, option/result types, various other goodies and the syntax for for loops actually makes sense. It’s a shame that the compiler is quite buggy, but hopefully that’s going to improve. [1]... - Source: Hacker News / 4 months ago
Mantis is a type-safe web framework written in V that emphasizes explicit, magic-free code. - Source: dev.to / 5 months ago
For development, V offers both an interpreter and watch mode, combining the convenience of scripting languages with the type safety and performance of compiled languages. It even includes built-in channel-compatible concurrency - truly the best of both worlds. - Source: dev.to / 5 months ago
What is quite interesting (after looking at their documentation), is that V lang[1] has all that is mentioned: `?`[2], `or`[2], sum types[4], and can return multiple values[5]. [1]: https://vlang.io/ [2]: https://github.com/vlang/v/blob/master/doc/docs.md#optionresult-types-and-error-handling [4]: - Source: Hacker News / 6 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
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 / 12 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
Nim (programming language) - The Nim programming language is a concise, fast programming language that compiles to C, C++ and JavaScript.
Rust - A safe, concurrent, practical language
Go Programming Language - Go, also called golang, is a programming language initially developed at Google in 2007 by Robert...
GoCD - Open source continuous delivery tool allows for advanced workflow modeling and dependencies management.
D (Programming Language) - D is a language with C-like syntax and static typing.
Elixir - Dynamic, functional language designed for building scalable and maintainable applications