Category Theory for Programmers (2014) [pdf]

Re:Category Theory for Programmers (2014) [pdf] by philzook on Tuesday December 24, 2019 @09:45PM (#21876414)

Check out Program Design by Calculation and The Algebra of Programming. Category theory and related formalisms do have a strong case to being a formal theory for designing/calculating programs

http://www4.di.uminho.pt/~jno/ps/pdbc.pdf https://themattchan.com/docs/algprog.pdf

[ Parent | on HN ]

Re:Category Theory for Programmers (2014) [pdf] by crimsonalucard on Wednesday December 25, 2019 @03:05AM (#21877523)

Super interested in this and thanks for posting. Your first link is dead though. Do you have an alternative?

[ Parent | on HN ]

Re:Category Theory for Programmers (2014) [pdf] by feanaro on Wednesday December 25, 2019 @05:43AM (#21877979)

http://web.archive.org/web/20190519200157/http://www4.di.umi...

[ Parent | on HN ]

Re:Category Theory for Programmers (2014) [pdf] by philzook on Wednesday December 25, 2019 @10:34AM (#21878855)

Yes, thanks for this. It appears that maybe the entire university's website has changed location? So maybe a more official link will come back up soon

[ Parent | on HN ]