When comparing OCaml vs V, the Slant community recommends V for most people. In the question“What are the best systems programming languages?” V is ranked 5th while OCaml is ranked 11th. The most important reason people chose V is:
V is easier than C and fast like C.
Specs
Ranked in these QuestionsQuestion Ranking
Pros
Pro Actively-developed functional programming language at the forefront of research
Functional programming is based on the lambda calculus. OCaml is in its functional parts almost pure lambda calculus, in a very practical manner: useful for many daily programming tasks. The acitve development makes improvements to the type system like generalized algebraic data types (GADT) or polymorphic variants, so when learning this language you get at once a down to earth usable compiler and advanced abstraction features.
Pro Encourages functional style
It steers you towards a functional style, but doesn't bother you with purity and "monads everywhere" like other languages, such as Haskell.
Pro No windows!
Strong focus on *nix systems, lacking native support for MS Windows
Lacks native support for Windows systems.
Pro Sophisticated and easy-to-use package manager
OPAM is a package manager for OCaml, which is really easy to use, just like npm. It creates a .opam folder in home directory.
The documentation is great as well, and you can switch between multiple versions of OCaml for each project. You can also package your project and publish it on OPAM repositories, even if the dependencies do not exists on OPAM.
Pro One of the best for writing compilers
OCaml is compiled to native binary, so it's amazingly fast. Being a member of ML-family languages, it has expressive syntax for trees, and has great LLVM support.
Pro Stable syntax
The syntax is consistent, some syntaxic sugar but at a reasonable level, so reading code of others isn't too much confusing.
Pro Strong editor integration
The merlin
editor tool provides all you need to develop OCaml in your favourite editor.
Pro Fast like C
V is easier than C and fast like C.
Pro C Interop
Can import C libraries, structs, and headers.
Pro Cross-platform
Compile to many OSes.
Pro Simplicity
V is simple and powerful.
Pro Can create multi-OS GUIs
Multi-OS GUI creation is more integrated into the language than others.
Pro Clear syntax
Highly understandable language.
Pro Sum types
V has Sum Types.
Pro Generics
V has generics.
Pro Closures
V has closures, which gives the user additional options and usefulness.
Pro Safety
V is very safe.
Pro Single paradigm
Follows the philosophy that there should be only one way to do something, as opposed to multi-paradigm languages like C++.
Pro Supports concurrency and channels
Can run functions concurrently that communicate over channels.
Pro Fast compile times
Compiles programs fast, less waiting around, so more productive and fun.
Pro Friendly and helpful community
Just check the V Discord channel or their GitHub Discussions and you will see by yourself.
Pro Inline assembly
Can add Assembly code.
Cons
Con Strong focus on *nix systems, lacking native support for MS Windows
Lacks native support for Windows systems.
Con Rapid changes in a language syntax/features
Since V language under a continuous development and core syntax and features will be "frozen" in a version 1.0.0, updating from older version of a language can cause a code rewrite of previously working program.
Con V 1.0 release was planned for December 2019
The first version of the language was publicly released in June of 2019, version 0.1.x. First beta version of the language was released June of 2022, version 0.3. x. Language has progressed faster than most. Welcomes contributors to join the project.
