https://actorforth.org/
ActorForth: a strongly-typed, actor-native, stack-based language for the BEAM
ActorForth is a self-hosted, strongly-typed, concatenative language on the Erlang BEAM VM. Actors are primitives. Types enforce correctness-by-construction....
strongly typed