type annotation for kernel-only attributes / Kernel() ? #76
Labels
No Milestone
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: M-Labs/nac3#76
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Current proposal for handling the various kinds of attributes:
M-Labs/nac3-spec#5 (comment) (and comments below it)
Question:
For kernel-only attributes (
y
in the example), should we just annotate the type (int
in the example) or wrap inKernel
(useKernel(int)
in the example)?The advantage to using
Kernel()
would be that regular CPython type annotations are still supported (with no unusual effects), and also things are more explicit. But it is more typing for the user.This should not be hard to implement anyway.
If nobody else has an opinion on this, let's do
Kernel[]
.pca006132 referenced this issue2022-01-03 15:34:55 +08:00