This is a multi-paradigm, memory-safe, monomorphic, strongly typed language with ad-hoc polymorphism.
interpreter functional-programming ocaml garbage-collection memory-safety polymorphism object-oriented-programming high-level imperative-programming multiparadigm new-language modern-language
-
Updated
Nov 22, 2025 - OCaml