Quick Search
Browse
Pages
Blog
Labels
Attachments
Mail
Advanced
What’s New
Space Directory
Feed Builder
Keyboard Shortcuts
Confluence Gadgets
Log In
Sign Up
Dashboard
Clojure Design
Copy Page
You are not logged in. Any changes you make will be marked as
anonymous
. You may want to
Log In
if you already have an account. You can also
Sign Up
for a new account.
This page is being edited by
.
Paragraph
Paragraph
Heading 1
Heading 2
Heading 3
Heading 4
Heading 5
Heading 6
Preformatted
Quote
Bold
Italic
Underline
Colour
More colours
Strikethrough
Subscript
Superscript
Monospace
Clear Formatting
Bullet list
Numbered list
Outdent
Indent
Align left
Align center
Align right
Link
Table
Insert
Insert Content
Image
Link
Attachment
Symbol
Emoticon
Wiki Markup
Horizontal rule
tinymce.confluence.insert_menu.macro_desc
Info
JIRA Issue
Status
Gallery
Tasklist
Table of Contents
Other Macros
Undo
Redo
Keyboard Shortcuts Help
<h1>Problem</h1><p><span style="color: rgb(51,51,51);font-size: 13.0px;line-height: 17.0px;font-weight: normal;">Not convenient communicating to analysis</span></p><ul><li>Only specific reader metadata survives analysis<ul><li>Usually related to compilation or debugging</li><li>:tag, :line, :static</li><li>Can only attach in specific contexts<ul><li>parameters</li><li>local bindings</li></ul></li></ul></li><li>Makes it difficult communicating to tools that utilise the results of analysis</li><li>Example: attaching metadata to function calls<br /><ul><li>^{:my-m 1} (float? 1)</li><li>:my-m is irretrievable from analysis</li><li>Problem: cannot expect to attach metadata to macro calls or inlining functions.</li></ul></li><li>Any other examples?</li><li>Use case: annotating polymorphic function calls with type arguments in Typed Clojure<ul><li>^{:inst [Integer Integer]} (my-poly arg1 arg2)</li></ul></li></ul>
Attachments
Labels
Location
< Edit
Preview >
Loading…
Save
Cancel
Next hint
search
attachments
weblink
advanced