samuelgoto/proposal-optional-types

Issues

• Advanced types

  #18 opened 3 years ago by Dan503
  1

• Reviewers

  #17 opened 6 years ago by krazyjakee
  2

• Syntactical control knobs for variance, nullability, structural vs nominal, etc

  #15 opened 7 years ago by samuelgoto
  0

• Summarized Discussion Notes

  #16 opened 7 years ago by DanielRosenwasser
  7

• Syntax for specialized calls of generic constructors and functions

  #14 opened 7 years ago by samwgoldman
  0

• Do we need to explicitly annotate classes implementing interfaces?

  #5 opened 7 years ago by samuelgoto
  0

• Should arrays be covariant?

  #13 opened 7 years ago by samuelgoto
  0

• Type Inference?

  #12 opened 7 years ago by samuelgoto
  0

• Runtime vs. ahead of time errors?

  #11 opened 7 years ago by samuelgoto
  0

• Are errors ever reported?

  #10 opened 7 years ago by samuelgoto
  0

• Should types be Nullable by default or not?

  #9 opened 7 years ago by samuelgoto
  0

• Should classes be nominally or structurally typed?

  #4 opened 7 years ago by samuelgoto
  1

• Are types available in a flat namespace?

  #8 opened 7 years ago by samuelgoto
  1

• To what extent do typecheckers look into dynamically generated types/classes?

  #7 opened 7 years ago by samuelgoto
  0

• Known Parsing challenges?

  #6 opened 7 years ago by samuelgoto
  0

• Should methods be covariant?

  #3 opened 7 years ago by samuelgoto
  0