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

[Paulo Pinto]

On Sunday, 28 July 2019 at 04:58:40 UTC, Ike wrote:
> Coding is logic and within logic there are valid and invalid 
> ways combine smaller code blocks.
>
> [...]

Have a look at Idris and F*.