8 lines
346 B
HTML
8 lines
346 B
HTML
|
<h2 id="κατα-morphism-missing-information">κατα-morphism: Missing Information</h2>
|
||
|
|
<p>Where is the missing information?</p>
|
||
|
|
<ul>
|
||
|
|
<li>Functor operator <code>fmap</code></li>
|
||
|
|
<li>Algebra representing the <code>(+1)</code> and also knowing the <code>0</code>.</li>
|
||
|
|
</ul>
|
||
|
|
<p>First example, make <code>length</code> on <code>[Char]</code></p>
|