|
|
|
|
|
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 |
|
Which effect, sorry? I can't identify the referent of "That".