Re: What do you think about the use of category theory for specifications?

[zans....@xxxxxxxxxxxxxx]

Do you think so? My understanding was that functional languages would be easier to specify than imperative ones as programs written in a functional style are pretty close to how mathematical functions are written. 

On Wednesday, October 14, 2015 at 12:11:01 PM UTC+1, fl wrote:
>  
> > sparsed
>  
> According to the Oxford English Dictionary, "to sparse" is no longer used since the 17th century.
> (It should.) The adjective "sparse" is a bit too restrictive. So "scattered" seems better. 
>  
> -- 
> FL