Uncategorized
19 July 2007 | 2 Comments
Since XSLT is basically a pattern-matching functional programming language, we should be able to use it to compute. I’m going to use it to implement one of the most basic functions: Peano-style addition. First of all we have to have an idea of what the numbers look like. We want to simulate this in XSL: [...]
Tagged in Cool, Functional programming, Haskell, Mathematics, XML, XSLT
Uncategorized
17 July 2007 | 0 Comments
Suppose we have a functor. Let’s call it “My Functor”, because that’s a nice friendly name. I’ll call it for short. Now, a functor is—according to higher sources—something which takes any type to a type . Let’s see how we can accomplish that with our functor, using Haskell code: data MyFunctor a = Construct a [...]
Tagged in Functional programming, Haskell, Mathematics, Types
Uncategorized
25 May 2007 | 0 Comments
Why is this such an insidious error in Java? (An opinion piece!) A Comparison Firstly, I’ll show a short comparison between some Java code and some code from a language that doesn’t have NullPointerExceptions, but does have something that allows you to accomplish anything you might want to do with null pointers. This Java code: [...]
Tagged in Broken, C#, Critique, Development, Haskell, Java, Programming, Thought, Types
Uncategorized
18 April 2007 | 0 Comments
After reading a recent post on Good Math, Bad Math concerning surreal numbers, I got to thinking about how to model these in Haskell. I came up with the following formulation: data Surreal = Zero | Plus Surreal | Minus Surreal … which also seems very similar to the usual construction for natural numbers: data [...]
Tagged in Haskell, Mathematics, Thought