Hacker News new | ask | show | jobs
by mpweiher 3315 days ago
The "documentation for humans" effect is also the only effect that has had at least some empirical validation[1]. Interestingly, it is not necessary to have the type names/annotations actually statically checked.

[1] https://sites.google.com/site/stefanhanenberg/

[EDIT] Clarified which effect

1 comments

> That's also the only effect that has had at least some validation scientifically

Which effect, sorry? I can't identify the referent of "That".

Sorry, fixed. They also studied "time to completion" and "correctness" for a new task, and for those the dynamic languages did better.
Thanks. After commenting I read the first paper in the page you linked. The one about trying to give an advantage to dynamic languages (Groovy vs Java), and measuring time-to-completion, for 4 tasks.

Turns out a static language has a time advantage when using an API, but a dynamic one has an advantage when writing code (that nobody will reuse).