I meant strongly typed. My previous post works just as well with for example Python 3 or Erlang code with type annotations enforced by static analysis.

I was trying to make point that simple nature of REST protocol makes it possible to write webapps ‘guaranteed’ to be correct, at least server-side.

"type annotations enforced by static analysis"

Isn't that the definition of static typing?

I suppose. However, I didn't specify that in terms of static/dynamic typing because I don't find that definition very useful.

On the hindsight the better term to use was probably just “type safety.”