Can a programming language be written that makes it impossible to write invalid code and be expressive?

[Abdulhaq]

On Sunday, 28 July 2019 at 09:09:37 UTC, XavierAP wrote:
> On Sunday, 28 July 2019 at 04:58:40 UTC, Ike wrote:
>>
>> I guess we just haven't arrived at this programmers utopia yet?
>
> Could we have a programming language that writes its own 
> programs, so that no more programmers are needed? In theory 
> maybe; but someone will have to write it :)

This was done in 1980 🙂

https://teblog.typepad.com/david_tebbutt/2007/07/the-last-one-pe.html