search

isovector / reasonablypolymorphic.com

⏳ my math blog
http://reasonablypolymorphic.com
BSD 3-Clause "New" or "Revised" License
23 stars 11 forks source link

blog/algebra-driven-design/index #44

Open utterances-bot opened 9 months ago

utterances-bot commented 9 months ago

Algebra-Driven Design :: Reasonably Polymorphic

https://reasonablypolymorphic.com/blog/algebra-driven-design/index.html

sorki commented 9 months ago

This link to https://algebradriven.design/ is broken, see https://leanpub.com/algebra-driven-design

GeoffreyWarne commented 4 months ago

Just read the preview of this book as given in the link above ^^^...

This looks very exciting. As a layman, I am always looking for good books that explain the logic of programming. Functional programming is a paradigm that appeals to human understanding. Defying design patterns typical of other paradigms, FP gets its explanatory transparency from equational reasoning that is transferable to thinking outside of programming. This book seems to be unique in bridging logic and design principles.

In a world where computers are writing code automatically, I think that it is important for programming to make sense for human beings. The author seems to share this sentiment and to have made an important contribution to that end.