About V, the language Volt is written in

Re:About V, the language Volt is written in by jonhohle on Wednesday February 06, 2019 @10:35PM (#19102786)

    > This is an idea I got that isn't really implemented
    > in any language I know of.

Is this different than an arg declared as a const reference in C++. Or since fields are still mutable, like `final` arguments in Java?

[ Parent | on HN ]

Re:About V, the language Volt is written in by amedvednikov on Wednesday February 06, 2019 @10:41PM (#19102817)

I think yes, it's like declaring every single argument as const.

[ Parent | on HN ]

Re:About V, the language Volt is written in by bakul on Thursday February 07, 2019 @04:42PM (#19108869)

Algol68 had this property. Consider

  STRUCT (INT x, y) z = (1, 2)

Here z is a const struct. If you wanted a variable, you'd have to say

  STRUCT (INT x, y) z;
  z := (1, 2)

or equivalently

  REF STRUCT (INT x, y) z = LOC STRUCT (INT x, y) := (1, 2)

Basically a variable has a REF mode.

[ Parent | on HN ]