Explore >> Select a destination


You are here

qchu.wordpress.com
| | blog.sigfpe.com
5.3 parsecs away

Travel
| | [AI summary] The article explains profunctors in Haskell, their mathematical foundations, composition through coends, and their relationship to Arrows and tensors.
| | www.jeremykun.com
4.1 parsecs away

Travel
| | Last time we defined and gave some examples of rings. Recapping, a ring is a special kind of group with an additional multiplication operation that "plays nicely" with addition. The important thing to remember is that a ring is intended to remind us arithmetic with integers (though not too much: multiplication in a ring need not be commutative). We proved some basic properties, like zero being unique and negation being well-behaved.
| | mattbaker.blog
3.0 parsecs away

Travel
| | Test your intuition: is the following true or false? Assertion 1: If $latex A$ is a square matrix over a commutative ring $latex R$, the rows of $latex A$ are linearly independent over $latex R$ if and only if the columns of $latex A$ are linearly independent over $latex R$. (All rings in this post...
| | mmhaskell.com
26.2 parsecs away

Travel
| [AI summary] This article compares Functional Programming and Object Oriented Programming paradigms, discussing their key differences, strengths, weaknesses, and how Haskell fits into the functional paradigm.