Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Of, pertaining to, or producing
coinduction
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
co- + inductive
Support
Help support Wordnik (and make this page ad-free) by adopting the word coinductive.
Examples
-
We can't use the constructor definition anymore; coinductive types are all about projections.
Planet Haskell 2009
-
It is also possible to construct coinductive types.
Planet Haskell 2009
-
One oddity was that Agda does not automatically unfold coinductive definitions, and a solution was to manually unfold them when we need.
Planet Haskell 2008
-
That is, f x defines an coinductive object whose observation shall be the same as that of
Planet Haskell 2008
-
previous post I talked about encoding general recursion in Agda using a coinductive monad.
Planet Haskell 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.