aboutsummaryrefslogtreecommitdiff
path: root/doc/go_spec.html
AgeCommit message (Expand)Author
2022-04-19spec: clarify rules for type set construction of an interfaceRobert Griesemer
2022-04-04doc/go_spec.html: update type identity exampleJared Horvat
2022-04-02doc: add illegal octal over 255 exampleZach Collier
2022-03-31spec: clarify type term restriction for type parametersRobert Griesemer
2022-03-11spec: various minor clarificationsRobert Griesemer
2022-03-11spec: clean up intro and replace bolded text with proseRobert Griesemer
2022-03-10spec: remove note re: field accesses on type literalsRobert Griesemer
2022-03-10spec: more adjustments/correctionsRobert Griesemer
2022-03-10spec: remove notion of specific typesRobert Griesemer
2022-03-08spec: document that type inference doesn't apply to generic typesRobert Griesemer
2022-03-07spec: clarifications based on feedbackRobert Griesemer
2022-02-28spec: the -'s possessive suffix is English, not codeMatthew Dempsky
2022-02-14spec: highlight missing prose for easier review, fixed a few sectionsRobert Griesemer
2022-02-11spec: combine section on type parameters and type parameter listsRobert Griesemer
2022-02-11spec: add a section on implementing an interfaceRobert Griesemer
2022-02-11spec: describe processing of function arguments for type inference more preci...Robert Griesemer
2022-02-11doc: fix spelling error in link IDKevin Burke
2022-02-11spec: introduce notion of basic interface, misc. fine-tuningRobert Griesemer
2022-02-11spec: use the term "generic" rather than "(type-)parameterized"Robert Griesemer
2022-02-11spec: adjust rules to use core or specific types as necessaryRobert Griesemer
2022-02-10spec: move all sections describing type properties into one placeRobert Griesemer
2022-02-10spec: document numeric operations behavior for generic typesRobert Griesemer
2022-02-09spec: document behavior of generic type switch casesRobert Griesemer
2022-02-09spec: the type of a constant cannot be a type parameterRobert Griesemer
2022-02-09spec: use "core type" rather than "structural type"Robert Griesemer
2022-02-08spec: explicitly define integer, floating-point, and complex typesRobert Griesemer
2022-02-01spec: add section on comparable constraintRobert Griesemer
2022-01-28spec: add section on type inferenceRobert Griesemer
2022-01-26Revert "spec: document the underlying type of comparable"Robert Griesemer
2022-01-26spec: document the underlying type of comparableRobert Griesemer
2022-01-21spec: minor formatting and link cleanupsIan Lance Taylor
2022-01-19spec: add another example for an invalid shift caseRobert Griesemer
2022-01-12spec: adjust rules for specific types once moreRobert Griesemer
2022-01-07spec: be more precise with rules on specific typesRobert Griesemer
2021-12-17spec: describe constraint parsing ambiguity and work-around more preciselyRobert Griesemer
2021-12-17spec: clarify that comparable cannot be a union elementRobert Griesemer
2021-12-13spec: fix conversion rules (match implementation)Robert Griesemer
2021-11-29spec: adjust section on package unsafe for type parametersRobert Griesemer
2021-11-29spec: rules for index expressions, len, cap, with type parameter typesRobert Griesemer
2021-11-29spec: corrections to various sectionsRobert Griesemer
2021-11-27spec: fix link for instantiationssyumai
2021-11-24spec: type assertions and switches don't operate on type parametersRobert Griesemer
2021-11-24spec: adjust type identity rules for type parametersRobert Griesemer
2021-11-24spec: add section on instantiationRobert Griesemer
2021-11-24spec: adjust conversion rules for type parametersRobert Griesemer
2021-11-24spec: adjust assignability rules for type parametersRobert Griesemer
2021-11-24spec: adjust representability rules for type parametersRobert Griesemer
2021-11-24spec: add definition of "specific types" of an interfaceRobert Griesemer
2021-11-22spec: fix Swap example (correctly swap type arguments and parameters)Robert Griesemer
2021-11-22spec: add section on the structure of interfacesRobert Griesemer