🌐 US-Proxy
class="logged-out env-production page-responsive" style="word-wrap: break-word;" >
Skip to content

The term "typechecks" is confusingly used as an adjective #96130

Closed
Closed
The term "typechecks" is confusingly used as an adjective#96130
Labels
docsDocumentation in the Doc dirtopic-typing

Description

@ketozhang
ketozhang
opened on Aug 19, 2022

Documentation

Arguably to new eyes, you can mistaken "typecheck" to be a verb meaning "to do type checking". I understand this term came from the C function TypeCheck that returns a boolean.

Metadata

Metadata

Assignees

No one assigned

    Labels

    docsDocumentation in the Doc dirtopic-typing

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions