All of programming reduces to natural numbers
Hask mod iso <=> Set mod iso <=> Nat
Via Curry-Howard, all computable programs can be expressed as proofs on sets. Sets mod isomorphism are just the natural numbers. All refactorings that preserve cardinality are provably isomorphic transformations.
Written by Brian Zeligson
Related protips
Have a fresh tip? Share with Coderwall community!
Post
Post a tip
Best
#Programming
Authors
Sponsored by #native_company# — Learn More
#native_title#
#native_desc#