corpus.blog
54,302 blogs · 4,481,250 posts Claim your blog
Record · corpus.blog/posts/01a0dea4-33ef-703b-9a04-a09d4b7e4da9

Are your Functions Total?

adamdrake.com · published 7 September 2015

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at adamdrake.com Wayback capture
1blogs citing
First cited
21 Oct 2018
Most recent
21 Oct 2018
Rank this month
not ranked
Links from this post
11
Words captured
1,300

Cited by

Blog
In the post
Date
danieljharvey.github.io
Why The Hell Should I Care About Total Functions? Read at the source ↗
21 Oct 2018

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Total_functional_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Halting_problem
en.wikipedia.org
https://en.wikipedia.org/wiki/Turing_completeness
en.wikipedia.org
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
en.wikipedia.org
https://wiki.haskell.org
wiki.haskell.org
https://wiki.haskell.org/Avoiding_partial_functions
wiki.haskell.org
https://en.wikipedia.org/wiki/Refinement_(computing
en.wikipedia.org
https://en.wikipedia.org/wiki/Liskov_substitution_principle
en.wikipedia.org
https://en.wikipedia.org/wiki/SOLID_(object-oriented_design
en.wikipedia.org
https://en.wikipedia.org/wiki/Primitive_recursive_function
en.wikipedia.org
https://hackage.haskell.org/package/base-4.8.1.0/docs/src/GHC.Base.html
hackage.haskell.org