Hacker News Reader

Correct me if I'm wrong but it seems you mean "statically typed" instead of "strongly typed".

PHP is weakly typed. Common Lisp, Clojure, Haskell and OCaml are strongly typed.

PHP is dynamically typed, Haskell and OCaml are statically typed.

That said I would like to learn more about these statically typed functional languages.

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.”

Reply on news.ycombinator.com