Posted Sep 28, 2013 7:03 UTC (Sat) by epa (subscriber, #39769)
[Link]
In ML, fn declares an anonymous function, which can be thought of as a simple macro expansion (and so cannot call itself). fun is the 'fixed point constructor' or in non-pointy-eared terms, a way to construct a recursive function.