Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

core library annotation

Description

add some core library annotation to get familiar with the whole process of development

Environment

None

Attachments

1

Activity

Show:

Ambrose Bonnaire-Sergeant March 9, 2014 at 5:11 PM

xudifsd March 9, 2014 at 2:13 AM

Ah, I forget about polymorphic function, sorry.

Ambrose Bonnaire-Sergeant March 8, 2014 at 2:45 PM

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)])

xudifsd March 7, 2014 at 3:36 PM

Then, what should await1 be annotated? [(Agent2 Nothing Any) -> (Agent2 Nothing Any)]? But result type should be writable.

Ambrose Bonnaire-Sergeant March 7, 2014 at 2:01 PM

You can use macros to generate var annotations; see how clojure.core/count does it.

Read only Agents should be: (Agent2 Nothing Any).

Completed

Details

Assignee

Reporter

Patch

Code

Priority

Created March 7, 2014 at 1:35 PM
Updated March 9, 2014 at 5:11 PM
Resolved March 9, 2014 at 5:11 PM