Anything declarative is pretty much going to be unreadable to the average coder, who equates readability with "able to follow the Fortran-like step-by-step recipe of what the computer is being told to do or calculate".
If you've had a 30 year career writing imperative, OOP and functional code, with zero declarative experience (logic programming and that sort of thing), it's not magically going to be readable to you. You have to, ... ahem! ... backtrack a bit, and go down a different learning path.
It's somewhat telling that the Lisp shared an A score in the "Executable Specification" area with Haskell and that Proteus.
The subjective panel could tell that there is a wonderful executable specification there; they just didn't quite grok its notation or semantics. :)
Or maybe they did grok it: they started with an A+, and then docked points down to a B for all the meddlesome parentheses. :)
If you've had a 30 year career writing imperative, OOP and functional code, with zero declarative experience (logic programming and that sort of thing), it's not magically going to be readable to you. You have to, ... ahem! ... backtrack a bit, and go down a different learning path.
It's somewhat telling that the Lisp shared an A score in the "Executable Specification" area with Haskell and that Proteus.
The subjective panel could tell that there is a wonderful executable specification there; they just didn't quite grok its notation or semantics. :)
Or maybe they did grok it: they started with an A+, and then docked points down to a B for all the meddlesome parentheses. :)