Beautiful functional programming

[wiz]

@bolt12

(emphasis added by me) even mean?

Because Hask isn’t a true category and you’d get ridiculed for talking about it like that

@bolt12

Also why does for FP is enough to have CCC in mind but for imperative programming you have to rely on separation logic?

There’s a thread about that

Why imperative code is worse than functional code

Continuing the discussion from Beautiful functional programming: @tomjaguarpaw asks the question why people think imperative code is worse than functional code. I think that is an interesting discussion topic. First of all, I personally wouldn’t really say functional, but instead denotative. My inspiration for striving for denotative code comes from the podcast and ZuriHac presentation of @conal. He can explain it much better than me in a short discourse post: [Conal Elliott on "…

/jk