OCaml vs twinBASIC

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.

It steers you towards a functional style, but doesn't bother you with purity and "monads everywhere" like other languages, such as Haskell.

Strong focus on *nix systems, lacking native support for MS Windows
Lacks native support for Windows systems.

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.

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.

The syntax is consistent, some syntaxic sugar but at a reasonable level, so reading code of others isn't too much confusing.

The merlin editor tool provides all you need to develop OCaml in your favourite editor.

Any code that runs in VB6 will run in twinBASIC (once v1 is released). Code that runs in VBA will also run in twinBASIC, though you need to account for any dependencies on the host application's object model (e.g., the Excel or Access Application object).

The lack of a runtime dependency makes twinBASIC applications very lightweight and portable. Additionally, compiled executables only include necessary code from any referenced libraries. The classic "Hello, World" program compiles down to an 8 KB .exe with no external dependencies.

Can be used to extend VBA functionality by compiling standard and ActiveX DLLs in both 32 and 64bit.

64bit compilation is supported, as well as 32bit.

At last there is a replacement for Microsoft VB6 - and for VBA too - twinBASIC programming.