http://blog.tmorris.net The weblog of Tony Morris Wed, 10 Mar 2010 02:36:21 +0000 http://backend.userland.com/rss092 en 28 July 2007 Ankle inversion sprain resulting in entrapment neuropathy of the superficial peroneal nerve 10 cm proximal to lateral malleolus. Continued athletic activity causes minor avulsions at the nerve root (L5/S1). 15 September 2008 Surgical ligament repair, inadvertently putting further traction on the trapped superficial peroneal nerve. Avulsion of the ... http://blog.tmorris.net/what-really-happened/ Because there is no such thing as a big application. There is only bigger or smaller. This is a central tenet of functional programming. "Big application" is a euphemism for "My idea of programming does not scale beyond this point." You don't realise how much information you give away when ... http://blog.tmorris.net/why-are-there-no-big-applications-written-using-functional-languages/ There is a function in Haskell's standard library called interact. It has this type interact :: (String -> String) -> IO (). Here is the same function in Java: import java.io.Console; interface Stringer { String convertString(String s); } class Interact { // interact :: (String -> String) -> IO () static void ... http://blog.tmorris.net/understanding-haskell-interact/ There seems to be quite a lot of misunderstanding of Linq. I am not sure how widespread this misunderstanding is, but if I can be persuaded that my selection sample extrapolates accurately, I might consider expanding on this fact: Linq has nothing to do with SQL or enumerable lists. Nothing and ... http://blog.tmorris.net/linq-has-nothing-to-do-with-sql-or-enumerable-lists/ interface Lam { Y apply(X x); } // http://en.wikipedia.org/wiki/SKI_combinator_calculus class SKI { public static Lam s() { return new Lam() { public Lam apply(final Lam f) { return new Lam() { ... http://blog.tmorris.net/ski-combinator-calculus-in-java/ A result of a discussion in the #scala IRC channel. Write a minimum function that works on Array[String] and List[Int]. (see error("todo")) trait Foldable[-F[_]] { def foldl[A, B](f: (A, B) => A, a: A, as: F[B]): A def reducel[A](f: (A, A) => A, as: F[A]): Option[A] = foldl[Option[A], A]((a1, a2) ... http://blog.tmorris.net/scala-exercise/ Includes a number of bug fixes and an immutable 2-3 finger tree for sequences supporting access to the ends in amortized O(1) time. http://blog.tmorris.net/functional-java-221/ // Simulate Higher-Order Functions. // A lambda function is any implementation of this interface. interface Lambda { Y apply(X x); } // What is a covariant functor? // It is any implementation of this interface. // All implementations must also satisfy: // * The law of identity // * The law of composition // ... http://blog.tmorris.net/higher-order-polymorphism-for-pseudo-java/ I have blocked the msnbot and yahoo! web spiders from indexing this site (and all others at this IP address). They choke up the network with distributed multiple connections. Pretty silly/primitive technique of indexing a web site. http://blog.tmorris.net/msnyahoo-web-spiders-blocked/ Today I was asked what Haskell's main feature is. The answer is its non-strict evaluation. Java is a strictly evaluated language. Consider this Java program: class C { static String i() { throw new Error("boo!"); } static int f(A a) { return ... http://blog.tmorris.net/what-is-haskells-primary-feature/