Boomerang: A bidirectional programming language for ad-hoc data

A note to anyone who creates a new programming language: Please put up a quick bite of sample code that shows how your language looks and what it does on the site, and don't require me to download a PDF and search through it.

I just skimmed the manual a bit, so I'm still quite uninformed. Does it require bidi translations? If so, that's quite a limitation as most of the data manipulations I've done have been at least a bit lossy.<p>Some formalisms would certainly be nice though..it's easy to think that you've transformed data well only to find holes in your methods later.

It's another Benjamin Pierce project, so you know it has solid theoretical foundations, and it's written in OCaml :-)

Well, Their site requires Javascript for no good reason, so that's a point against them.