BETA is a statically typed language like Simula, Eiffel and C++, with most type checking done at compile-time.
BETA je silný typový jazyk, jako je např. Simula 67, Eiffel a C++, přičemž většina typové kontroly je prováděna v čase kompilace.