PeCoWriMo day 3

Nov 03, 2010 19:12

Today I have
  • Submitted some more documentation patches for Idris.
  • Written a fragment of the Unix tool cat in Idris:
    eachLine : (String -> IO ()) -> File -> IO ();
    eachLine f file = do {
    finished <- feof file;
    if finished then return II -- II is the sole element of the unit type ()
    else do {
    line <- fread file ( Read more... )

computers, programming, pecowrimo, unix, beware the geek, idris

Leave a comment

Comments 2

PeCoWriMo ext_30864 November 5 2010, 09:54:54 UTC
Hey, I like PeCoWriMo. It's kind of a shame that every month isn't personal code writing month, but that's life.

I spent a bit of time playing with the Play web framework last night - an equivalent to Django or Rails for Java and Scala. I'm planning a hackday on Sunday.

Which framework are you going with? So many great choices these days.

Reply

Re: PeCoWriMo pozorvlak November 5 2010, 11:19:28 UTC
Unfortunately, the SEKRIT WEB PROJECT is of the form "we got this site made for us, it needs a few fixes, can you help?" Looks like the previous guys rolled their own PHP rather than using a framework. I'm not sure I should count it towards PeCoWriMo, to be honest. Still, more fun than fighting the binutils code :-(

Reply


Leave a comment

Up