Incremental development is fun. I've just added support for branching as required to implement the disjunction and implication rules of my propositional calculus and it's been quite interesting to see just how easy a functional programming language makes with sort of exploratory approach to design and development.
Once I've got this up and running (all I need to do is add a check for contradiction), I'll refactor it to be a little neater, write a parser and generator that supports all of the features and get an initial, pre-alpha, demonstration version posted.
Hopefully that'll be in the next two or three days.
Subscribe to:
Post Comments (Atom)
2 comments:
Let me just say that I'm really keen to see the code when you're ready release it. It looks like it will be lots of fun for someone like me. (I hope you'll be OK with people hacking it to their own logical ends...)
I would certainly hate for all this effort (admittedly not too much at this point in time) to go to waste if no-body were to use it.
I'll be releasing it (along with whatever documents I produce) under an open source license (probably a Creative Commons or BSD-like license).
Post a Comment