• Haskell Wikibook: Recursion

  Here are my answers for the Recursion chapter of the Haskell Wikibook:

  1. Type the factorial function into a Haskell source file and load it into GHCi.
  2. Try examples like factorial 5 and factorial 1000.^[3]^
     • What about factorial (-1)? Why does this happen?

  Calling factorial (-1) will never stop because …

  read more

• Haskell wikibook: Type basics II

  Here are my answers for the chapter called Next Steps:

  We cheated a little when moving from the second version of pts to the third one: they do not do exactly the same thing. Can you spot what the difference is?

  pts :: Int -> Int
  pts 1 = 10
  pts 2 = 6 …

  read more

• Learning Haskell from the Wikibook

  I thought I should learn Haskell as I'm clueless about functional programming and haven't used a statically types language for ages. Anyway, I'm learning it from the Haskell Wikibook. Throughout they give exercises and here are my  answers so far:

  • Explain how GHCi evaluates quadruple 5.

  The quadruple function is …

  read more

• The Prang Travails Continue

  I think I'm getting a bit burnt out, and I'm supposed to be on holiday. The Prang business has become a burden. Should I give up or continue? Continue!

  For some reason I thought I wouldn't have to look at section 7 of the RELAX NG specification. Of course I …

  read more

• Prang Travails

  My travails with Prang continue. It looks like we can now simplify the RELAX NG schema. The work remaining is:

  • Correctly recognizing invalid RELAX NG schemas
  • Implementing the 'prang' command
  • Finish off docs

  Feeling tired. If I said exhausted I would be exaggerating. Maybe I'll finishing this today?

  read more

• A Breakthrough With Prang

  On Friday I was in despair, but then I made a breakthrough. I tracked down where I had made a mistake in the translation, and that means that Prang passed a few more tests. More than that, the technique for finding the problem worked with the next problem, so I've …

  read more

• The Tear Stained Prang

  I'm in the midst of Prang and it's still not going well. I've retreated from trying to understand the algorithm, and am now trying to just translate it into Python. A bit like Searle's Chinese Room. I know there must be a mistake in my translation somewhere because my translation …

  read more

• Various Things At Hack Night

  I'm at Bristol Hack Night at Momentum and I'm going to carry on with Odio. Okay, so I've got a test where the desired ODS files is zipped up to create a single file with the .ods extension. Then the actual file is compared against it, and if they match …

  read more

• Odio?

  Maybe I should change the name from ODFIO to Odio? Easier to pronounce. Okay I'll do it. It's done and now it's Odio. Right, now to actually produce something that's useful.

  read more

• Prang

  Having got Odio to a reasonable state, the next step is to incorporate a RELAX NG validator into it, to make sure the output of Odio is always a valid ODF document. I couldn't find a Python RELAX NG validator, so I've embarked on Prang.

  Armed with the RELAX NG …

  read more

« Page 2 / 4 »