[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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