you are viewing a single comment's thread
view the rest of the comments
[–] 128 points 2 years ago (21 children)

It would be nice if it was possible to describe perfectly what a program is supposed to do.

  • source
  • hideshow 21 child comments
  • [–] 86 points 2 years ago (6 children)

    Someone should invent some kind of database of syntax, like a... code

  • source
  • parent
  • hideshow 6 child comments
  • [–] 40 points 2 years ago (5 children)

    But it would need to be reliable with a syntax, like some kind of grammar.

  • source
  • parent
  • hideshow 5 child comments
  • [–] 27 points 2 years ago (2 children)

    That's great, but then how do we know that the grammar matches what we want to do - with some sort of test?

  • source
  • parent
  • hideshow 2 child comments
  • [–] 19 points 2 years ago* (4 children)

    What, like some kind of design requirements?

    Heresy!

  • source
  • parent
  • hideshow 4 child comments
  • [–] 8 points 2 years ago (3 children)

    Design requirements are too ambiguous.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 9 points 2 years ago (5 children)
  • [–] 8 points 2 years ago (2 children)

    I think our man meant in terms of real-world situations

  • source
  • parent
  • hideshow 2 child comments