[CTYP-115] core library annotation Created: 07/Mar/14 Updated: 09/Mar/14 Resolved: 09/Mar/14
|Reporter:||Di Xu||Assignee:||Ambrose Bonnaire-Sergeant|
add some core library annotation to get familiar with the whole process of development
|Comment by Ambrose Bonnaire-Sergeant [ 07/Mar/14 8:01 AM ]|
You can use macros to generate var annotations; see how clojure.core/count does it.
Read only Agents should be: (Agent2 Nothing Any).
|Comment by Di Xu [ 07/Mar/14 9:36 AM ]|
Then, what should await1 be annotated? [(Agent2 Nothing Any) -> (Agent2 Nothing Any)]? But result type should be writable.
|Comment by Ambrose Bonnaire-Sergeant [ 08/Mar/14 8:45 AM ]|
Is await1 even a public function? Weird, it has no docstring.
I think it should be:
(All [w r] [(Agent2 w r) -> (Agent2 w r)])
|Comment by Di Xu [ 08/Mar/14 8:13 PM ]|
Ah, I forget about polymorphic function, sorry.
|Comment by Ambrose Bonnaire-Sergeant [ 09/Mar/14 11:11 AM ]|