Derivatives of Containers claims to look for the ‘container which is its own derivative’; in other words, a type analogue of ex. They arrive at (approximated in ASCII and the notation used in my previous post): T[X] = Forall(n : N) Xn / Autn This is a little much for me, since I don’t understand [...]
After reading Differention of Datastructures, I think I finally understand what is meant by “types as functions”, and immediately I can see one direction in which to go from what is presented there. If we take integration to be the logical inverse of differentiation (which is defined in the article as ‘removal of an element [...]
I’ve noticed that when reading rather deeply-nested functional code in Haskell, the process taking place in reading the code seems to resemble trying to decipher APL more than anything else. This seems to be because functions which operate over lists are easily concatenated (possibly using the $ operator), because they operate on lists in their [...]
Why? I was bored, and it didn’t seem to have been done before, so here’s some Future action in C#. The Code using System; using System.IO; using System.Reflection; using System.Threading; public class Future<T> { public delegate R FutureDelegate<R>(); public Future (FutureDelegate<T> del) { Del = del; Result = del.BeginInvoke(null,null); } private FutureDelegate<T> Del; private [...]
