Hi Neil, Thanks for the pointer. From first skim-through at some PropLang library & example code, I'm not seeing much similarity between the two systems. GuiHaskell looks nifty. Cheers, - Conal On 12/13/06, Neil Mitchell <ndmitchell@gmail.com> wrote:
Hi,
Thanks for your comments, Steve. They're getting me closer to a clear explanation, which will be helpful in the paper I'm writing.
I was going to polish up PropLang before releasing it, but if you're writing a paper, and I go and release PropLang just after you've put the finishing touches on it, you'll hunt me down and kill me :)
As such, here is an announcement that PropLang exists, and is cool.
See the darcs repo: http://www.cs.york.ac.uk/fp/darcs/proplang/ - and hopefully see some documentation in the future :)
No arrows, but seems to have the same underlying idea.
The darcs repo has a text editor (it had another sample, I'm sure, but I can't see it!)
Some selected hilights:
-- CREATE VARIABLES
-- is a document open document <- newVar False
-- is a document modified modified <- newVar False
-- the filename of the document, if its been saved filename <- newVar Nothing
-- SET UP RELATIONS BETWEEN PROPERTIES txt!enabled =<= document new!enabled =< with1 document not saveas!enabled =< with2 document modified (&&) --save!enabled =< with2 document modified (&&) save!enabled =< (&&) =$$= document =$= modified close!enabled =<= document revert!enabled =<= modified
-- SUPPORTS EVENTS TOO new!onClicked += newDocument gui save!onClicked += saveDocument gui saveas!onClicked += saveAsDocument gui close!onClicked += closeDocument gui open!onClicked += openDocument gui
-- COOL AND SIMPLE UNDO revert!onClicked += (txt!text -<- lasttxt)
modified =< with2 (txt!text) (lasttxt) (/=)
let titleformat d m f = "TextEditor" ++ (if d then " - " ++ maybe "<untitled>" id f else "") ++ (if m then " *" else "")
-- REALLY COOL SETTING OF THE TITLE AUTOMATICALLY window!text =< titleformat =$$= document =$= modified =$= filename
-- CREATE A STATUS BAR WITH THE WORD COUNT IN ONE LINE! sb!text =< (\x -> "Word count: " ++ show (length $ words x)) =$$= txt!text
I'll write up a tutorial or something at some point.
It's written using Gtk2Hs, and works fine on both Linux and Windows. GuiHaskell is written using this: http://www-users.cs.york.ac.uk/~ndm/projects/guihaskell.php
Thanks
Neil