search

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
10.91k stars 581 forks source link

9.5.2 Powers of One: what about the bottom? #146

Open urkud opened 5 years ago

urkud commented 5 years ago

You're talking about the bottom in 9.5.1 Zeroth Power, but don't discuss it in the next section, while it seems to make a difference here: besides the unit function, we have many partially defined functions, e.g.,

f :: Int -> ()
f 0 = undefined
f _ = ()