[bluegatty]

No, there's something missing.

We have very good abstractions for algorithms and especially functions.

Functions are an extremely good 'contract'.

With good functional programming you can totally 'let go' of the internals.

But classes and modules are not that - we don't have the abstractions.

We can't just let go of the AI designating all sorts of mechanics - unless - they are using really common patterns.

So without ways to really describe the patterns and without common patterns to rest on ... the AI can't really get there.

[threethirtytwo]

Fp is orthogonal to this. Speaking of which AI can do fp. You can let it off the leash and it can execute fp.