The No-Code Generation is arriving

Re:The No-Code Generation is arriving by ghayes on Tuesday October 27, 2020 @03:36PM (#24910943)

I like to think of the square root of x function:

    r such that r * r = x

That’s a specification that gives you no knowledge how to solve the problem. You can definitely have precise specifications that do not directly correlate to machine instructions.

[ Parent | on HN ]

Re:The No-Code Generation is arriving by a1369209993 on Tuesday October 27, 2020 @03:42PM (#24910992)

And:

  print "Hello, World!"

gives no knowledge how to put text on the screen. Conversely, there's no reason a standard library couldn't include:

  fn (*) :: Num -> Num -> Num
  fn (a * b) = [machine code goes here]
  un (_ * d) n = n/d
  un (d * _) n = n/d
  un (_ * _) n = sqrt(n)

or similar.

[ Parent | on HN ]

Re:The No-Code Generation is arriving by earleybird on Tuesday October 27, 2020 @03:50PM (#24911067)

Well then, "all you need to do" is convert your non constructive proof into a constructive one - et, voila :-)

[ Parent | on HN ]

Re:The No-Code Generation is arriving by astrobe_ on Tuesday October 27, 2020 @05:08PM (#24911921)

I like this answer because it says it will require someone with specific knowledge and specific training doing a specific job anyway...

Also "anyway" a specification is always incomplete. It's part of the programmers' job to fill the gaps with something sensible, and when they have no idea what to do, to point out that some corner case was overlooked.

This is where programmers sometimes start to feel like Lieutenant Columbo: at first everyone is nice, but people become more and more irritated as the pesky cop asks more and more embarrassing questions.

[ Parent | on HN ]

Re:The No-Code Generation is arriving by ineedasername on Tuesday October 27, 2020 @08:59PM (#24913824)

at first everyone is nice, but people become more and more irritated as the pesky cop asks more and more embarrassing questions.

You just summed up about 20% of my job

[ Parent | on HN ]

Re:The No-Code Generation is arriving by bryal on Wednesday October 28, 2020 @06:43AM (#24917272)

Isn't that basically how you'd write it in Prolog?

[ Parent | on HN ]