Determining control-flow and types in scripting languages | Hacker News Reader