-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add devdocs on types #11185
Add devdocs on types #11185
Conversation
[ci skip]
jl_ (generic function with 1 method) | ||
|
||
julia> jl_(start(methods(candid))) | ||
Method(sig=Tuple{Array{#T<:Any, N<:Any}, #T<:Any}, va=false, isstaged=false, tvars=#T<:Any, func=#<function>, invokes=nothing, next=nothing) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does anyone know how to prevent these #
from being interpreted as comment-characters?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Disable the syntax highlighting for that block?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Unicode equivalent?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does \#
work?
------------------------------------------------------- | ||
|
||
It's perhaps easiest to conceive of Julia's type system in terms of | ||
sets. A concerete type corresponds to a single entity in the space of |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
concrete
Thanks for the feedback, everyone. Unicode FF03 (but not 0023) works for the hash symbol. |
Minor formatting fixes. [ci skip] Also turns code blocks into doctests where possible.
Minor formatting fixes. [ci skip] Also turns code blocks into doctests where possible.
Minor formatting fixes. [ci skip] Also turns code blocks into doctests where possible.
Inspired by trying to get a better handle on how types are handled internally (in the course of working on #10911).
@yuyichao, these are the promised docs on TypeVars and related topics.