3 ms·
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
by rickmode 16y ago
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.
- deno 16y agoI 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.
- philwelch 16y ago"type annotations enforced by static analysis" Isn't that the definition of static typing?
- deno 16y agoI 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.”