3 ms·
If you want to see how crazy this can get, know that you can actually take the derivative of a type (with respect to another type), and this yields useful infor
by flebron 14y ago
If you want to see how crazy this can get, know that you can actually take the derivative of a type (with respect to another type), and this yields useful information.
See McBride's paper http://strictlypositive.org/diff.pdf http://strictlypositive.org/diff.pdf , or this guy who is discovering it by himself: http://stackoverflow.com/questions/9190352/abusing-the-algebra-of-algebraic-data-types-why-does-this-work http://stackoverflow.com/questions/9190352/abusing-the-algeb...
- cwzwarich 14y agoThis interpretation of the derivative of a formal power series was known in combinatorics long before people were studying algebraic data types in programming, so I am surprised that McBride presents it as novel.
- crntaylor 14y ago"This guy who is discovering it by himself" is me (the OP) about a year ago! Derivatives of types to come in part II or III (or just watch the talk on YouTube: http://www.youtube.com/watch?v=YScIPA8RbVE http://www.youtube.com/watch?v=YScIPA8RbVE)
- kd0amg 14y agoAlso reminds me of http://www.cs.indiana.edu/~sabry/papers/rational.pdf http://www.cs.indiana.edu/~sabry/papers/rational.pdf