There are two kid of specs, formal spec, and "Product requirements / technical designs" Technical design docs are higher level than code, they are impricise bu

There are two kid of specs, formal spec, and "Product requirements / technical designs" Technical design docs are higher level than code, they are impricise but highlight an architectural direction. Blanks need to be filled in. AI Shines here. Formal specs == code Some language shine in being very close to a formal spec. Yes functional languages. But lets first discuss which kind of spec we talk about.