Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: assignment operator

Bottom of Page

1 to 9 of 9

  1.  

  1. Page created, but author did not leave any comments.

    Anonymous

    v1, current

    • CommentRowNumber2.
    • CommentAuthorvarkor
    • CommentTimeOct 3rd 2022

    The page seems to describe a concept which is usually treated metatheoretically, i.e. definitional equality, in terms of assignment of mutable variables, such as in a programming language (which is what I assumed “assignment operator” would refer to). I find this presentation a little confusing.

    • CommentRowNumber3.
    • CommentAuthorGuest
    • CommentTimeOct 3rd 2022

    Probably because ≔\coloneqq is overloaded and used for both assignment of mutable variables in some programming languages and a shorthand for definitions in mathematics. The two are not the same because in mathematics most definitons are static: after defining the symbol ℚ\mathbb{Q} to be the rational numbers one can’t then go ahead and then define ℚ\mathbb{Q} to be the real numbers instead.

    • CommentRowNumber4.
    • CommentAuthorGuest
    • CommentTimeOct 3rd 2022

    @2, 3

    The use of ≔\coloneqq in mathematics and functional programming and in any other context where the variables are static is called single assignment or initialization.

    • CommentRowNumber5.
    • CommentAuthorGuest
    • CommentTimeOct 3rd 2022

    Wikipedia states that

    In functional programming, assignment is discouraged in favor of single assignment, also called initialization. Single assignment is an example of name binding and differs from assignment as described in this article in that it can only be done once, usually when the variable is created; no subsequent reassignment is allowed.

    I think it deserves its own page separate from assignment.

  6. Added details about assignment operators which do allow reassignment and assignment operators which do not.

    Anonymous

    diff, v3, current

  7. Adding link to wikipedia article

    https://en.wikipedia.org/wiki/Assignment_(computer_science)

    Anonymous

    diff, v3, current

  8. added redirects to page

    Anonymous

    diff, v4, current

  9. moved info about ≔\coloneqq in type theory over to definition article under section “single assignment operator”, since single assignment in type theory is really about definitions.

    Anonymous

    diff, v5, current

1 to 9 of 9

  1.