If you enjoy having a language which enforces some constraints on you, you may enjoy languages of the ML family. Elm, for instances, enforces constraints such

If you enjoy having a language which enforces some constraints on you, you may enjoy languages of the ML family. Elm, for instances, enforces constraints such that the generated js never crashes your browser. Haskell has evolved a powerful system that lets you check web apis against their implementations, which can be pretty handy to enforce that clients should still be able to consume it.