Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Wyvern

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.

Back
Hire Wyvern Experts

Enter your email to get started.