Is it an explicit design goal to not allow type-level functions/computation in Swift?

[Jens]

@Lantua

Having generic associatedtype would already be enough

I realize I've been wanting to do / asking about this for four years now : P.