Hacker News Reader

The intended question is: is python statically typed? Strictly speaking, it depends on what you call a type. If you think of all possible values (integers, strings etc.) as being of a single type, then python is statically typed. However, most people wouldn't think of the values that way.

View on HN

yes

https://en.wikipedia.org/wiki/Lambda_calculus#Typed_lambda_c... ``From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.''

Where should I start reading to understand lambda calculus?

I like this one http://worrydream.com/AlligatorEggs/

> The intended question is: is python statically typed?

Erlang isn't statically typed, yet you can't do what the OP shows.

Aren't you begging the question?

No. I'm pointing out an inconsistency in GP's interpretation.

Unless I'm missing something, it's only an inconsistency if you assume Erlang is not statically typed, which is why I said you seem to be begging the question. Erlang (and indeed any dynamic language) could be viewed as statically typed in the not-particularly-useful way amelius was describing.

Reply on news.ycombinator.com