Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Wyvern is a statically typed programming language with support for typestate-oriented programming. The typestate system in Wyvern allows developers to define and enforce stateful behaviors at the level of types. This helps prevent certain kinds of programmer errors by capturing complex state machine structures directly in the type system's expressivity, eliminating whole classes of runtime logic error through compilation-time enforcement. Designed as an extension to Java that compiles down into vanilla Java, it can also work with JavaScript or Python on the client side without requiring browser plugins.

Hire Wyvern Experts

Enter your email to get started.